• Congratulations to the Class of 2024 on your results!
    Let us know how you went here
    Got a question about your uni preferences? Ask us here

Mathematical Induction problem. (1 Viewer)

ascentyx

Member
Joined
Feb 5, 2009
Messages
234
Gender
Male
HSC
2008
Prove 2^n > n^3 for n>9.

I can do this geometrically but i want to know how to do it the 'proper' way. Yes i have finished my hsc, but i haven't done this for ages so i have forget everything haha.
 

Timothy.Siu

Prophet 9
Joined
Aug 6, 2008
Messages
3,449
Location
Sydney
Gender
Male
HSC
2009
Prove 2^n > n^3 for n>9.

I can do this geometrically but i want to know how to do it the 'proper' way. Yes i have finished my hsc, but i haven't done this for ages so i have forget everything haha.
Prove 2^n > n^3 for n>9.
i.e. Prove 2^n-n^3>0
test for n=10,

LHS= 1024-1000=24 >0, therefore n=10 is true

asssume true for some particular n=k,
i.e, 2^k-k^3>0

test for n=k+1
i.e. prove 2^(k+1)-(k+1)^3 >0
LHS=2.2^k-(k+1)^3
=2(2^k-k^3)+2k^3-(k+1)^3 (i just added -2k^3+2k^3 = 0)
>2k^3-(k^3+3k^2+3k+1) (subbed in the n=k)
=k^3-3k^2-3k-1=(k-1)^3+6k which is clearly >0 for k>9
 

ascentyx

Member
Joined
Feb 5, 2009
Messages
234
Gender
Male
HSC
2008
Prove 2^n > n^3 for n>9.
i.e. Prove 2^n-n^3>0
test for n=10,

LHS= 1024-1000=24 >0, therefore n=10 is true

asssume true for some particular n=k,
i.e, 2^k-k^3>0

test for n=k+1
i.e. prove 2^(k+1)-(k+1)^3 >0
LHS=2.2^k-(k+1)^3
=2(2^k-k^3)+2k^3-(k+1)^3 (i just added -2k^3+2k^3 = 0)
>2k^3-(k^3+3k^2+3k+1) (subbed in the n=k)
=k^3-3k^2-3k-1=(k-1)^3+6k which is clearly >0 for k>9
I tried to do exactly what you did but failed. Correct me if i'm wrong but with the last line, doesn't (k-1)^3 = k^3 - 3k^2 + 3k -1 so then wouldn't

k^3-3k^2-3k-1=(k-1)^3-6k and then the problem arises again :(
 

tommykins

i am number -e^i*pi
Joined
Feb 18, 2007
Messages
5,730
Gender
Male
HSC
2008
(k-1)^3 > 0 as k>9 so the smallest value is 8^3 for that expression.
 

tommykins

i am number -e^i*pi
Joined
Feb 18, 2007
Messages
5,730
Gender
Male
HSC
2008
oh i thought it was a +6k.

and no, if its -6k you have to prove (k-1)^3 > 6k
 

Timothy.Siu

Prophet 9
Joined
Aug 6, 2008
Messages
3,449
Location
Sydney
Gender
Male
HSC
2009
oh i thought it was a +6k.

and no, if its -6k you have to prove (k-1)^3 > 6k
yeah...i guess so, so either u can draw it, or say, (k-1)^3 increases faster than 6k at starts bigger(k=10) , which cud be done by finding the derivate
 

ascentyx

Member
Joined
Feb 5, 2009
Messages
234
Gender
Male
HSC
2008
yeah...i guess so, so either u can draw it, or say, (k-1)^3 increases faster than 6k at starts bigger(k=10) , which cud be done by finding the derivate
Yeah i did it by drawing it. I was wondering if there was a better way.
 

tommykins

i am number -e^i*pi
Joined
Feb 18, 2007
Messages
5,730
Gender
Male
HSC
2008
you can try proving (k-1)^3 - 6k > 0 for k > 9 and also prove that the differential is > 0 for all k>9
 

Iruka

Member
Joined
Jan 25, 2006
Messages
544
Gender
Undisclosed
HSC
N/A
It's an inequality so you can do a bit of sloppy maths:

We want to show that if 2^k>k^3, then 2^(k+1)> (k+1)^3

So suppose that 2^k > k^3, and that k>9.

Then 2^(k+1) = 2.2^k > 2k^3 = k^3+k^3
If we can show that k^3> 3k^2+3k+1, then we can say that

2k^3 > k^3+3k^2+3k+1 = (k+1)^3, and the required inequality holds.

Since k>9, k^3>9k^2

And since k>1, 9k^2= 3k^2+3k^2+3k^2>3k^2+3k+1

Thus k^3> 3k^2+3k+1, as required.
 

jet

Banned
Joined
Jan 4, 2007
Messages
3,148
Gender
Male
HSC
2009
You can either, a) plug the value in and establish that a cubic will be larger if it starts off larger [larger than a linear]
or b) differentiate f(k) = (k - 1)^3 - 6k, i.e f'(k) = 3(k - 1)^2 > 0 for all k, therefore, (k - 1)^3 - 6k increases for all k. Therefore, since k>9, f(9) = 16 (i hope, im doing this in my head), then f(x)>0 for all k.
 

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

Top