#Induction Question

46 messages · Page 1 of 1 (latest)

sly flax
#

Hello, I need to verify my answer:

maiden raftBOT
#
  1. Wait patiently for a helper to come along.
  2. Once someone helps you, say thank you and close the thread with:
+close
  1. Feel free to nominate the person for helper of the week in #helper-nominations
  2. Do not ping the mods, unless someone is breaking the rules.
  3. If you're happy with the help you got here, and the server overall, you can contribute financially as well:
knotty oxide
#

so the fact you started with $x_{n+1}<4$ then showed you get $9<16$ isnt technically a proof.

lament fossilBOT
#

Omegabet_

knotty oxide
#

you can write the proof just as showing $1+2x_n<16$ by the IH, to which the $n+1$ case follows

lament fossilBOT
#

Omegabet_

sly flax
#

Oh i see

#

@knotty oxide so do I just rewrite the first step and I should be good to go right

#

like from IH i use get it to 9 and then just take sqrt of it

knotty oxide
#

yes

#

by the IH $x_n<4\implies 1+2x_n<9<16\implies x_{n+1}=\sqrt{1+2x_n}<\sqrt{16}=4$

lament fossilBOT
#

Omegabet_

knotty oxide
#

which technically you also need to prove $x_n\geq 0$, but that's obvious

lament fossilBOT
#

Omegabet_

sly flax
#

by the IH $x_n<4\implies 1+2xn<9\implies x{n+1}=\sqrt{1+2x_n}<\sqrt{9}=3$

lament fossilBOT
#

Laplace

sly flax
#

@knotty oxide can you check if this approach is correct?

knotty oxide
# sly flax

again, your base case started with what you want to prove

#

just compute 7! and 3^7 seperately, then state "since 7! > 3^7, the base case is true"

sly flax
knotty oxide
#

I also dont fully know what your argument for the n+1 is

#

cause you used $3^n>n!$ for some reason

lament fossilBOT
#

Omegabet_

knotty oxide
#

which is ofc false

sly flax
knotty oxide
#

going from (n+1)! > 3^n(n+1) to 3^n(n+1)>3^n*3

#

or you did something unclear

#

just prove $3^n(n+1)>3^{n+1}$, then the statement follows since you had $(n+1)!>3^n(n+1)$

lament fossilBOT
#

Omegabet_

sly flax
lament fossilBOT
#

Laplace

knotty oxide
#

that;s the proof, yes

sly flax
#

and remove 3^n

knotty oxide
#

explain why n+1>3

sly flax
#

n >= 7

knotty oxide
#

yes

#

hence 3^n(n+1) > 3^n*3=3^(n+1)

sly flax
knotty oxide
#

yeah, you used it then stated it

#

which is poor

sly flax
#

oh

#

Thanks a lot I am learning how to fix a lot of issues thanks to you pointing them out

#

+close