Proof of Inequality X_n > sqrt(n) by Induction

  • Thread starter Thread starter acynicsmind
  • Start date Start date
  • Tags Tags
    Induction Proof
acynicsmind
Messages
2
Reaction score
0

Homework Statement



Show the sequence {X_n} defined by X_1 = 1, X_n+1 = X_n + 1/X_n for n > 1 obeys the inequality X_n > sqrt(n) for all n >= 2.

Homework Equations



The Attempt at a Solution



For n = 2, 2 > sqrt(2) and for n = 3, 2.5 > sqrt(2.5). So it holds so far. What to do here after initial step for the inductive step is confusing me. I've never seen an induction proof with an inequality before today and the ones I've looked at online are not helpful at all.

Any help is appreciated. Thank you.
 
Physics news on Phys.org
Well what I do in induction questions with inequalities, I just try to make up the formula for xN+1 after assuming true for n=N.

So I'd invert both sides and then go from there.
 
You haven't said exactly what you have done for the induction hypothesis and induction step, so here's what's left to do.
Assume that xk > \sqrt{k} is true.
Show that xk + 1 > \sqrt{k + 1}. Be sure to use the given information that xk + 1 = xk + 1/xk.
 
Mark44 said:
You haven't said exactly what you have done for the induction hypothesis and induction step, so here's what's left to do.
Assume that xk > \sqrt{k} is true.
Show that xk + 1 > \sqrt{k + 1}. Be sure to use the given information that xk + 1 = xk + 1/xk.

See, it's the recursive formula that is kind of tripping me up because I am not sure where to use it. Do I simply sub it in for Xk when trying to show xk + 1 > \sqrt{k + 1} and then work from there?
 
You know that xk + 1 = xk + 1/xk. Your induction hypothesis gives you something you can replace xk with.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top