Proving that 3^(6n)-2^(6n) is divisible by 8 using induction

  • Thread starter Thread starter rg2004
  • Start date Start date
  • Tags Tags
    Induction
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
8 replies · 4K views
rg2004
Messages
22
Reaction score
0

Homework Statement



I am to prove that [tex]3^{6n}-2^{6n}[/tex] is divisible by 35 for all n[tex]n\in\aleph[/tex] using induction.

Homework Equations



[tex]3^{6n}-2^{6n}=35x[/tex] where [tex]x\in\aleph[/tex] for all [tex]n\in\aleph[/tex] and

The Attempt at a Solution


Base:
[tex]3^{6(1)}-2^{6(1)}=35*x[/tex]
[tex]665=35x[/tex]
x=19
thus since 19 is an element of natural numbers the base case is true

Then I make this assumption
Assume:
[tex]3^{6k}-2^{6k}=35x[/tex]

Inductive step:
[tex]3^{6(k+1)}-2^{6(k+1)}=35x[/tex]
[tex]3^{6}3^{6k}-2^{6}2^{6k}=35x[/tex]

and i don't know where to go from here, I've tried lots of things, but i can't reduce it down to the assumption
 
Physics news on Phys.org
Do you know this fact: a (mod n) × b (mod n) = ab (mod n)?
 
No i didn't know about that, and we haven't looked at modulus yet, so I'm not sure how to use it in this proof
 
Ok. Then, suppose 36k = 35a+y. Then, 26k = 35b+y. (Why?) Substitute.
 
im assuming it looks like this:

[tex]3^{6}3^{6k}-2^{6}2^{6k}=35x[/tex]

[tex](3^{6} mod 35) (3^{6k} mod 35) - (2^{6} mod 35) (2^{6k} mod 35)=0[/tex]

[tex]((29\cdot3^{6k}) mod 35) - ((29\cdot2^{6k}) mod 35)=0[/tex]

[tex]29(3^{6k} mod 35 - 2^{6k} mod 35)=0[/tex]

[tex](3^{6k} mod 35 - 2^{6k} mod 35)=0[/tex]
 
That's right. You have to be careful when dividing both sides by the same thing in modular arithmetic, but it works out correctly this time. If you want to pursue this problem without explicitly using modular arithmetic, see my second post.
 
Regarding post #4:

i see that
36k = 35a+y
26k = 35b+y
since any number can be expressed as a linear combination like you showed, but what allows us to assume that the remainder , y, are equivalent? Is it because we assume
36k - 26k =35x that we must conclude from this that the remainders are the same in order for them to subtract to zero?
 
Exactly so. Otherwise, there would be a contradiction.