June 25th, 2017, 03:43 PM  #1 
Member Joined: Apr 2017 From: Canada Posts: 32 Thanks: 2  Prove the following:
Prove or provide a counterexample to the following conjecture: Assuming "p" is an odd integer, "2^p  1" will never be divisible by 3 (The MATH function wasn't working for me) Last edited by Antoniomathgini; June 25th, 2017 at 03:48 PM. 
June 25th, 2017, 07:37 PM  #2 
Senior Member Joined: Feb 2016 From: Australia Posts: 1,597 Thanks: 546 Math Focus: Yet to find out.  
June 25th, 2017, 08:09 PM  #3  
Senior Member Joined: Aug 2012 Posts: 1,921 Thanks: 534  Quote:
Similarly any even power of $2$ is $1$ mod $3$ and one less than that is divisible by $3$. For example $2^4 = 16$ which is $1$ more than a multiple of $3$. Last edited by Maschke; June 25th, 2017 at 08:19 PM.  
June 25th, 2017, 10:53 PM  #4 
Global Moderator Joined: Dec 2006 Posts: 19,059 Thanks: 1619 
As 3 = 4  1 divides 4$^{(p  1)/2}$  1 by the factor theorem, 2$^p$  1 = 2(4$^{(p1)/2}$  1) + 1 gives a remainder of 1 when divided by 3. 
June 26th, 2017, 06:19 PM  #5 
Global Moderator Joined: Oct 2008 From: London, Ontario, Canada  The Forest City Posts: 7,814 Thanks: 1046 Math Focus: Elementary mathematics and beyond 
Either $2^n1$ or $2^n+1$ is a multiple of $3$. [Clearly, $2^n$ is not a multiple of $3$. This implies that $2^n$ is either one less or one more than a multiple of $3$.] $$(2^n1)(2^n+1)=2^{2n}1$$ $$3x=2^{2n}1$$ $$6x=2\cdot2^{2n}2$$ $$6x+1=2^{2n+1}1$$ $$QED$$ Last edited by greg1313; July 3rd, 2017 at 12:14 PM. 

Tags 
prove 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
please prove :a<b ,and b+1=c  Albert.Teng  Algebra  8  July 6th, 2013 08:13 AM 
Prove that:  mosaic  Linear Algebra  4  April 18th, 2011 08:38 AM 
Goldbach's conjecture (to prove or not to prove)  octaveous  Number Theory  13  September 23rd, 2010 04:36 AM 
prove prove prove. currently dont know where to post  qweiop90  Algebra  1  July 31st, 2008 06:27 AM 
prove prove prove. currently dont know where to post  qweiop90  New Users  1  December 31st, 1969 04:00 PM 