Math Help Forum

Math Help Forum Feed Site Feed

Go Back   Math Help Forum > University Math Help > Discrete Mathematics, Set Theory and Logic
Reply
 
Thread Tools Display Modes
  #1  
Old April 26th, 2009, 04:00 PM
Junior Member
 
Join Date: Apr 2009
Posts: 67
Country:
Thanks: 13
Thanked 3 Times in 3 Posts
spearfish is on a distinguished road
Default Divisibillity Proof - what do I do next

I am trying to prove that if n is natural number, then 5^n - 3^n is divisible by 3.

Ok, so this is the work I have so far:

a / b iff a =bk
n mod 3 = 0,1, 2
so we have the following cases:
n=3k
n=3k+1
n=3k+2

Case 1: n = 3k
5^n - 3^n = 5^(3k) - 3^(3k)

??
??

From here, I don't know what to do next. What does this tell me and how do I prove divisibility by 3?
Reply With Quote
Advertisement
 
  #2  
Old April 26th, 2009, 04:31 PM
MHF Contributor

 
Join Date: Aug 2006
Posts: 7,677
Thanks: 89
Thanked 2,850 Times in 2,613 Posts
Plato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond repute
Default

Quote:
Originally Posted by spearfish View Post
I am trying to prove that if n is natural number, then 5^n - 3^n is divisible by 3.
It ain't true if n=1.
Reply With Quote
  #3  
Old April 26th, 2009, 05:17 PM
Junior Member
 
Join Date: Apr 2009
Posts: 67
Country:
Thanks: 13
Thanked 3 Times in 3 Posts
spearfish is on a distinguished road
Default

You're right. I overlooked this.
Ok, so what if we had 5^n - 2^n. How would I prove divisibility by 3.
Reply With Quote
  #4  
Old October 9th, 2009, 01:27 AM
CaptainBlack's Avatar
Grand Panjandrum
 
Join Date: Nov 2005
Location: South of England
Posts: 12,280
Country:
Thanks: 779
Thanked 4,004 Times in 3,229 Posts
CaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond repute
Default

Quote:
Originally Posted by spearfish View Post
You're right. I overlooked this.
Ok, so what if we had 5^n - 2^n. How would I prove divisibility by 3.
Start by observing that:

5^{2n} \equiv 1 \text{ mod } 3

2^{2n} \equiv 1 \text{ mod } 3

so:

5^{2n}-2^{2n}\equiv 0 \text{ mod } 3

Also

5^{2n+1} \equiv 2 \text{ mod } 3

2^{2n+1} \equiv 2 \text{ mod } 3

so:

5^{2n+1}-2^{2n+1}\equiv 0 \text{ mod } 3

So we see that for any integer k:

5^{k}-2^{2k}\equiv 0 \text{ mod } 3

CB
__________________
Truth does not change because it is, or is not, believed by a majority of the people.

Giordano Bruno
Reply With Quote
Reply

Tags
discrete math, logic, set theory

Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off
Forum Jump


All times are GMT -7. The time now is 10:15 AM.


Powered by vBulletin® Version 3.7.3
Copyright ©2000 - 2010, Jelsoft Enterprises Ltd.
SEO by vBSEO 3.2.0 ©2008, Crawlability, Inc.
©2005 - 2009 Math Help Forum


Math Help Forum is a community of maths forums with an emphasis on maths help in all levels of mathematics.
Register to post your math questions or just hang out and try some of our math games or visit the arcade.