• Best of luck to the class of 2025 for their HSC exams. You got this!
    Let us know your thoughts on the HSC exams here

induction help (1 Viewer)

kr73114

Member
Joined
Aug 6, 2009
Messages
373
Gender
Male
HSC
2011
1) 9^(n+2) - 4^n is divisible by 5
2) 3^3n + 2^(n+2) is divisible by 5
prove true by induction for all integers n
 

Drongoski

Well-Known Member
Joined
Feb 22, 2009
Messages
4,232
Gender
Male
HSC
N/A
1) 9^(n+2) - 4^n is divisible by 5
2) 3^3n + 2^(n+2) is divisible by 5
prove true by induction for all integers n
Q1)

True for n = 1 since 9^(1+2) - 4^1 = 725 = divisible by 5

ASsume true for n = k >= 1

i.e 9^(k+2) - 4^k = 5m for some INTEGER m

.: 9^([k+1]+2) - 4^[k+1] = 9 x (9^(k+2) - 4^k + 4^k) - 4 x 4^k

= 9 x 5m - 4^k x (9-4)

= 9 x 5m - 5 x 4^k = 5 x ( 9m - 4^k) = 5 x INTEGER (i.e. divisible by 5)

.: if true for n = k, true for n = k+1

.: by mathematical induction, true for all integer n >= 1

You should be able to do Q2 now.
 
Last edited:

blackops23

Member
Joined
Dec 15, 2010
Messages
428
Gender
Male
HSC
2011
1) i'm gonna skip step 1, so...
Assume TRUE for n = k

Therefore 9^(k+2) - 4^k = 5M, M being any integer

Prove for n=k+1
Therefore:
9^(k+3) - 4^(k+1)
= 9*9(k+2) - 4*4^k
=9(5M + 4^k) - 4*4^k --> From the assumption, 5M + 4^k = 9^(k+2)
=45M + 9*4^k - 4*4^k
=45M + 5*4^k
=5(9M + 4^k)

THEREFORE TRUE FOR N=K+1, TRUE FOR EVERYTHING

remember for divisibilities, when you do the n=k+1 proof, you are trying to get it in a form where the divisible integer is factored outside of the expression (in this case the 5, whilst the inside expression is a WHOLE NUMBER, in this case (9M + 4^k) which is a whole number as M integer

2) Assume true for n=k
3^3k + 2^(k+2) = 5M

Prove for n=k+1

therefore:
3^(3k+3) + 2^(k+3)
=3^3 * 3^3k + 2*2^(k+2)
=27*3^3k + 2*(5M - 3^3k) --> From the assumption, 2^(k+2) = 5M - 3^3k
=27*3^3k + 10M - 2*3^3k
=25*3^3k + 10M
=5(5*3^3k + 2M), divisible by 5 as stuff inside brackets is a integer

Once again you can see that to prove that it is divisible by 5 for n=k+1, get the final expression into the 5*(wat eva the hell you want as long as its an integer).
 
Last edited:

Users Who Are Viewing This Thread (Users: 0, Guests: 1)

Top