Prove Inequality By Induction

Nazariy

Junior Member
Joined
Jan 21, 2014
Messages
124
Hi,

I need some help on moving this along...

This needs to be proven 3n>n3\displaystyle 3^n > n^3 for n4\displaystyle n \geq 4 using induction

1) Base case: 34>43\displaystyle 3^4 > 4^3
2) Assume true for n=k; 3k>k3\displaystyle 3^k > k^3

And I have no clue what to do next...

3k+1>(k+1)3\displaystyle 3^{k+1} > (k+1)^3 , I suppose this is the result that I am meant to arrive at, by manipulating 3k>k3\displaystyle 3^k > k^3 ?

i just noticed that there is a hint.. 3k3(k+1)3=(k1)3+k(k26)\displaystyle 3k^3 - (k+1)^3 = (k-1)^3 + k(k^2 - 6)
 
Last edited:
Hint: (k1)3+k(k26) > 0\displaystyle (k-1)^3+k(k^2-6)\ >\ 0: true or false?
 
This needs to be proven 3n>n3\displaystyle 3^n > n^3 for n4\displaystyle n \geq 4 using induction

1) Base case: 34>43\displaystyle 3^4 > 4^3
2) Assume true for n=k; 3k>k3\displaystyle 3^k > k^3

And I have no clue what to do next...
In general, one works separately with each of the intended results (that is, with each side of the intended formula) to end up with that result. But the precise steps can be non-obvious. Sometimes you just kinda have to fiddle with things until you figure out your way forward. Sometimes you find that way forward by working your way backwards.

3k+1>(k+1)3\displaystyle 3^{k+1} > (k+1)^3 , I suppose this is the result that I am meant to arrive at, by manipulating 3k>k3\displaystyle 3^k > k^3 ?
Sort of. You probably need to use the "n = k" step, but not as your starting point; you'll probably be plugging it in, somehow, somewhere later in your working.

i just noticed that there is a hint.. 3k3(k+1)3=(k1)3+k(k26)\displaystyle 3k^3 - (k+1)^3 = (k-1)^3 + k(k^2 - 6)
So what have you done with this? What different approaches have you tried?

You need to figure out some way to show that this is true:

. . . . .3k+1>(k+1)3\displaystyle 3^{k+1}\, >\, (k\, +\, 1)^3

What happens when we expand the left-hand side?

. . . . .3k+1=(3k)(31)=3(3k)\displaystyle 3^{k+1}\, =\, (3^k)(3^1)\, =\, 3(3^k)

Hmm... I'm not sure what we can do with this. But we have managed to convert the left-hand side to something that matches the first term in the left-hand side of the "hint". Maybe the hint is wanting us to try to prove the equivalent statement:

. . . . .3nn3>0\displaystyle 3^n\, -\, n^3\, >\, 0

So let's try reformatting:

. . . . .3k+1(k+1)3=3(3k)(k+1)3=(k1)3+k(k26)\displaystyle 3^{k+1}\, -\, (k\, +\,1)^3\, =\, 3(3^k)\, -\, (k\, +\, 1)^3\, =\, (k\, -\, 1)^3\, +\, k(k^2\, -\, 6)

Now all we have to do is show that the right-hand side is greater than zero.

Hint: Use the fact that k > 3. ;)
 
. . . . .3k+1=(3k)(31)=3(3k)\displaystyle 3^{k+1}\, =\, (3^k)(3^1)\, =\, 3(3^k)

Hmm... I'm not sure what we can do with this. But we have managed to convert the left-hand side to something that matches the first term in the left-hand side of the "hint". Maybe the hint is wanting us to try to prove the equivalent statement:

But 3(3k)3(k3)\displaystyle 3(3^k) \neq 3(k^3) :)
 
But 3(3k)3(k3)\displaystyle 3(3^k) \neq 3(k^3) :)
Did somebody say otherwise?

Try using the almost-completed proof provided earlier, using the hint at the end of the displayed steps. ;)
 
Did somebody say otherwise?

Since there are only two of us and I did not say otherwise, it follows that it might have been you, but since you did not say so explicitly as well, the answer is: no one said otherwise (until that very moment when I said it) :)

But..

So let's try reformatting:

. . . . .3k+1(k+1)3=3(3k)(k+1)3=(k1)3+k(k26)\displaystyle 3^{k+1}\, -\, (k\, +\,1)^3\, =\, 3(3^k)\, -\, (k\, +\, 1)^3\, =\, (k\, -\, 1)^3\, +\, k(k^2\, -\, 6)

Now all we have to do is show that the right-hand side is greater than zero.

Hint: Use the fact that k > 3. :wink:


Isn't this implying it implicitly? This part ...=3(3k)(k+1)3=(k1)3+k(k26)\displaystyle ... =\, 3(3^k)\, -\, (k\, +\, 1)^3\, =\, (k\, -\, 1)^3\, +\, k(k^2\, -\, 6)

The hint is the following: 3k3(k+1)3=(k1)3+k(k26)\displaystyle 3k^3 - (k+1)^3 = (k-1)^3 + k(k^2 - 6)

And since 3k3(k+1)33(3k)(k+1)3\displaystyle 3k^3 -(k+1)^3 \neq \, 3(3^k)\, -\, (k\, +\, 1)^3, it must follow that 3(3k)(k+1)3(k1)3+k(k26)\displaystyle \, 3(3^k)\, -\, (k\, +\, 1)^3\, \neq (k\, -\, 1)^3\, +\, k(k^2\, -\, 6)

no? :)
 
Hi,

I need some help on moving this along...

This needs to be proven 3n>n3\displaystyle 3^n > n^3 for n4\displaystyle n \geq 4 using induction

1) Base case: 34>43\displaystyle 3^4 > 4^3
2) Assume true for n=k; 3k>k3\displaystyle 3^k > k^3

And I have no clue what to do next...

3k+1>(k+1)3\displaystyle 3^{k+1} > (k+1)^3 , I suppose this is the result that I am meant to arrive at, by manipulating 3k>k3\displaystyle 3^k > k^3 ?

i just noticed that there is a hint.. 3k3(k+1)3=(k1)3+k(k26)\displaystyle 3k^3 - (k+1)^3 = (k-1)^3 + k(k^2 - 6)

For n>3, try a
(n+1)3 = (n3) + (3n2) + (3n+1) < (n3) + (n3) + (n3) = 3 n3
 
For n>3, try a
(n+1)3 = (n3) + (3n2) + (3n+1) < (n3) + (n3) + (n3) = 3 n3

ahhhhhhhhh :)

Now we have

3n3>(n+1)3  (i)\displaystyle 3n^3 > (n+1)^3 \ \ \textit{(i)} and we need to show 3(3n)>(n+1)3\displaystyle 3(3^n)>(n+1)^3

(i) rewritten: (n1)3+n(n26)>0  (ii)\displaystyle (n-1)^3 + n(n^2-6) > 0 \ \ \textit{(ii)}

3n3>3n+1\displaystyle 3n^3 > 3^{n+1} for n4\displaystyle n \geq 4 , therefore if we prove that (i) is greater than zero we have proved the inequality by induction.

Now I don't see how rewriting (i) as (ii) helps, because in both cases if u plug in values of n starting from 1, you will see that inequalities will be satisfied as soon as you hit 3, so they are true for n3\displaystyle n \geq 3.. which is not what we want. I suppose this occurs precisely because 3n3>3n+1\displaystyle 3n^3 > 3^{n+1}, i.e. you need a smaller n to satisfy the inequality in the first case (3n3>(n+1)3\displaystyle 3n^3 > (n+1)^3 ) than in the latter (3n+1>(n+1)3\displaystyle 3^{n+1}> (n+1)^3).

And once again I'm stuck :???:
 
Last edited:
ahhhhhhhhh :)

Now we have

3n3>(n+1)3  (i)\displaystyle 3n^3 > (n+1)^3 \ \ \textit{(i)} and we need to show 3(3n)>(n+1)3\displaystyle 3(3^n)>(n+1)^3

(i) rewritten: (n1)3+n(n26)>0  (ii)\displaystyle (n-1)^3 + n(n^2-6) > 0 \ \ \textit{(ii)}

3n3>3n+1\displaystyle 3n^3 > 3^{n+1} for n4\displaystyle n \geq 4 , therefore if we prove that (i) is greater than zero we have proved the inequality by induction.

Now I don't see how rewriting (i) as (ii) helps, because in both cases if u plug in values of n starting from 1, you will see that inequalities will be satisfied as soon as you hit 3, so they are true for n3\displaystyle n \geq 3.. which is not what we want. I suppose this occurs precisely because 3n3>3n+1\displaystyle 3n^3 > 3^{n+1}, i.e. you need a smaller n to satisfy the inequality in the first case (3n3>(n+1)3\displaystyle 3n^3 > (n+1)^3 ) than in the latter (3n+1>(n+1)3\displaystyle 3^{n+1}> (n+1)^3).


And once again I'm stuck :???:
We have 3n3>(n+1)3\displaystyle 3n^3 > (n+1)^3. By the induction assumption 3n>n3\displaystyle 3^n \gt n^3 so that 3n+1=3(3n)>3(n3)>(n+1)3\displaystyle 3^{n+1} = 3 (3^n) > 3 (n^3) > (n+1)^3
 
3n+1=3(3n)>3(n3)>(n+1)3\displaystyle 3^{n+1} = 3 (3^n) > 3 (n^3) > (n+1)^3

is it not 3(n3)>3(3n)>(n+1)3\displaystyle 3(n^3)> 3 (3^n) > (n+1)^3 ?

please answer whether this is correct?

well it looks like we have proved the inequality by induction?
 
is it not 3(n3)>3(3n)>(n+1)3\displaystyle 3(n^3)> 3 (3^n) > (n+1)^3 ?

please answer whether this is correct?

well it looks like we have proved the inequality by induction?

Is 3 (43) = 192 greater than 3(34)= 243? Look at the original question.
 
It's there in bits and pieces. I think it needs to be put together.

Hmmm.. It does not add up

1) Base case: n=4,34>43,81>64\displaystyle n = 4, 3^4 > 4^3, 81>64
2) Assume true for n=k, so: 3k>k3\displaystyle 3^k > k^3 for k4\displaystyle k \geq 4
3) Prove that 3k+1>(k+1)3\displaystyle 3 ^ {k+1} > (k+1)^3

Consider (k+1)3\displaystyle (k+1)^3, (k+1)3=k3+3k2+(3k+1)<k3+k3+k3\displaystyle (k+1)^3=k^3+3k^2+(3k+1) < k^3 + k^3 + k^3 , i.e. (k+1)3<3k3\displaystyle (k+1)^3 < 3k^3
Now this inequality is true for k3\displaystyle k \geq 3

Since 3(3k)3(k3)\displaystyle 3(3^k) \geq 3(k^3) for all k1\displaystyle k \geq 1 we have 3(3k)>3(k3)>(k+1)3\displaystyle 3(3^k) > 3(k^3) > (k+1)^3

hmmm... and we have not used the fact that k is greater or equal to 4 anywhere :confused:
 
Hmmm.. It does not add up

1) Base case: n=4,34>43,81>64\displaystyle n = 4, 3^4 > 4^3, 81>64
2) Assume true for n=k, so: 3k>k3\displaystyle 3^k > k^3 for k4\displaystyle k \geq 4
3) Prove that 3k+1>(k+1)3\displaystyle 3 ^ {k+1} > (k+1)^3

Consider (k+1)3\displaystyle (k+1)^3, (k+1)3=k3+3k2+(3k+1)<k3+k3+k3\displaystyle (k+1)^3=k^3+3k^2+(3k+1) < k^3 + k^3 + k^3 , i.e. (k+1)3<3k3\displaystyle (k+1)^3 < 3k^3
Now this inequality is true for k3\displaystyle k \geq 3

Since 3(3k)3(k3)\displaystyle 3(3^k) \geq 3(k^3) for all k1\displaystyle k \geq 1 we have 3(3k)>3(k3)>(k+1)3\displaystyle 3(3^k) > 3(k^3) > (k+1)^3

hmmm... and we have not used the fact that k is greater or equal to 4 anywhere :confused:

Is (3k+1) < k3 for all k? Nope, just for k>1. Is 3k2 < k3 for all k? Nope, just for k ???
 
Is (3k+1) < k3 for all k? Nope, just for k>1. Is 3k2 < k3 for all k? Nope, just for k ???

more than 4, yes. Thank you. I've got a different solution. I will post shortly. For anyone's future reference.
 
\(\displaystyle
\begin{align*}
(k + 1)^3
&= k^3 + 3k^2 + 3k + 1 \\
&< k^3 + 3k^2 + 3k + (k) &\text{since } k \geq 4 > 1 \\
&= k^3 + 3k^2 + 4k \\
&\leq k^3 + 3k^2 + (k)k &\text{since } k \geq 4 \\
&= k^3 + 4k^2 \\
&\leq k^3 + (k)k^2 &\text{since } k \geq 4 \\
&= 2k^3 \\
&< 3k^3 \\
&< 3(3^k) \\
&= 3^{k + 1}
\end{align*}
\)
 
Prove 3n > n3 for all n \displaystyle \ge 4 by induction:
It is true that 34 = 81 > 64 = 43.
Induction assumption; assume it is true for n=k. Then

\begin{align*}
(k + 1)^3
&= k^3 + 3k^2 + 3k + 1 \\
&< k^3 + 3k^2 + 3k + (k) &\text{since } k \geq 4 > 1 \\
&= k^3 + 3k^2 + 4k \\
&\leq k^3 + 3k^2 + (k)k &\text{since } k \geq 4 \\
&= k^3 + 4k^2 \\
&\leq k^3 + (k)k^2 &\text{since } k \geq 4 \\
&= 2k^3 \\
&< 3k^3 \\
&< 3(3^k)\\
&= 3^{k + 1}
\end{align*}

and it is true for n=k+1. So, by induction, it is true for all n \displaystyle \ge 4

To be a little more formal, see above. You should probably also add "by the induction assumption" to the <3(3k) line also
 
Top