I am trying to get myself better at writing proofs and for one of the easier (I assume) exercises that contain no back of the book solutions I'm asked to prove by induction on n that:(adsbygoogle = window.adsbygoogle || []).push({});

For every positive integer n, 3 divides [tex] 4^n + 5 [/tex]

Before I show my attempt I want to say that my reason for posting is because I seem to have walked a thousand miles just to cross the road with this one, and my way just looks ugly. (Not even sure if I've actually used induction) If anyone could give me a few pointers so that I can reach something far simpler I'd be very grateful.

My attempt:

Let [tex] 4^n + 5 = 3p[/tex] for some integer p.

Firstly I show that the expression holds for n = 1

[tex]4^0 +5 = 6 = 3(2) [/tex] This is okay and since n > 0 then p>2

Now to show that if it holds for [tex] 4^k + 5 [/tex] it holds for [tex] 4^{k+1} + 5 [/tex]

So lets assume it does hold for [tex] 4^k + 5 [/tex]..

then [tex] 4^k + 5 = 3q [/tex] for some integer q [tex] \Rightarrow 4^k = 3q - 5 [/tex]

If it works for k, then it works for k+1 such that [tex] 4^{k+1} = 4(3q -5) [/tex]

and as [tex] 4^{k+1} > 4^k > 4^0 \Rightarrow q > p > 2 [/tex]

[tex] 4^{k+1} - 1 = 12q -21 = 3(4q-7) [/tex]

[tex] 4^{k+1} -1 = (2^{2(k+1)} - 1 = (2^{k+1} +1)(2^{k+1} - 1) [/tex]

I now have to show that if either of those two brackets contains a number that is a multiple of 3 then both sides are divisible by 3...and I think this also has to be proven

My attempt at proving that either [tex] (2^{k+1} +1) or (2^{k+1} - 1) = 3p [/tex] for some integer p:

Firstly as [tex] 2^x [/tex] does not contain 3 as a factor then it is not a multiple of 3 (<---My attempt at proving that is a bit rubbish ) and so assuming this for now I'll make the statement:

For any integer n [tex] \neq 3q [/tex] 3q = n+1 or n-1

Assume this is false, ie: that if [tex] n \neq 3q[/tex], [tex]3q \neq n+1[/tex] or [tex]3q \neq n-1 [/tex] and let n - 1 = m such that:

[tex] 3q \neq m[/tex], [tex]3q \neq m+1[/tex] or [tex]3q \neq m+2 [/tex] then:

[tex] 3q = m+3[/tex] or [tex] m+4[/tex] or [tex] m+5........m+x [/tex] but if 3q = m+3 then 3(r - 1) = m but if (r-1) = q, m [tex] \neq [/tex] 3q! and if 3q = m+4 then 3(s + 1) = m and so on...it follows that no integer can ever be a multiple of 3...Therefore the original assumption was false and that :

For any integer n [tex] \neq 3q [/tex] 3q = n+1 or n-1

by returning to the first problem I have to prove that

[tex] (2^{k+1} +1)(2^{k+1} - 1) = 12q -21 = 3(4q-7) [/tex]

if I let [tex] (2^{k+1} +1)(2^{k+1} - 1) = (n+1)(n-1) [/tex] then since one of these is a multiple of three...the expression [tex] 4^{k+1} + 5 [/tex] is divisible by 3 and is equal to [tex] 3(4q-7) [/tex] and since q>2 we have a positive integer...which is about as far as I can take this...

What hole exist in the above and am I right in thinking that there was a much easier way of reaching a solution?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Proof By Induction (simple one for all but me)

**Physics Forums | Science Articles, Homework Help, Discussion**