Intereting Posts

How to determine a Hilbert class field?
Prove of Nesbitt's inequality in 6 variables
The Roots of Unity and the diagonals of the n-gon inscribed in the unit circle
Integral from ball to sphere
$a,b,c$ are positive reals and distinct with $a^2+b^2 -ab=c^2$. Prove $(a-c)(b-c)<0$
$2 \otimes_{R} 2 + x \otimes_{R} x$ is not a simple tensor in $I \otimes_R I$
Why is the shortest distance between two circles along the segment connecting their centers?
Finding $\cos(A+B)$ from $\sin(A+B)$
Difference between Fourier series and Fourier transformation
Find the Prime Factorization of $\varphi(11!)$
Show that the set of zeros of $f$ is discrete
show that the ordered square is locally connected~
Increasing functions are Baire one
Closed form of $\int_0^{\pi/2} \frac{\arctan^2 (\sin^2 \theta)}{\sin^2 \theta}\,d\theta$
Induction and convergence of an inequality: $\frac{1\cdot3\cdot5\cdots(2n-1)}{2\cdot4\cdot6\cdots(2n)}\leq \frac{1}{\sqrt{2n+1}}$

We define $a_1=1$ and $a_{n+1}=\dfrac{1}{2}\left(a_n+\dfrac{2}{a_n}\right)$.

I want to prove that $a_n$ converges. But first I’d like to show that $a_n<\sqrt{2}$ for every $n\in\mathbb{N}$.

I try to use induction. For a fixed $n$, I suppose that $a_n<\sqrt{2}$.

- How to prove l'Hospital's rule for $\infty/\infty$
- Hydrostatic pressure on an equilateral triangle
- Confusing use of the chain rule
- Closed form of $\sum_{n=1}^{\infty} \frac{J_0(2n)}{n^2}$
- What is the integral of function $f(x) = (\sin x)/x$
- Solving functional equation $f(x)f(y) = f(x+y)$

Any hint to prove that $a_{n+1}=\dfrac{1}{2}\left(a_n+\dfrac{2}{a_n}\right)<\sqrt{2}$?

Thanks.

- limits and Continuity
- Evaluate $\int_{0}^{\infty} \frac{{(1+x)}^{-n}}{\log^2 x+\pi^2} \ dx, \space n\ge1$
- Application of derivative - helicopter problem
- How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
- Evaluate $\lim\limits_{n\to\infty}(1+x)(1+x^2)\cdots(1+x^{2n}),|x|<1$
- Convergence, Integrals, and Limits question
- How to calculate integral of $\int_0^\sqrt4\!\sqrt\frac{x}{4-x^{3/2}}\,\mathrm{d}x$
- Ratio test and the Root test
- Is a differentiable function always continuous?
- Can we expect to find some constant $C$; so that, $\sum_{n\in \mathbb Z} \frac{1}{1+(n-y)^{2}} <C$ for all $y\in \mathbb R;$?

We have:

$$ 2 a_n a_{n+1} = a_n^2 + 2, $$

from which it follows that:

$$ a_{n+1}^2-2 = (a_{n+1}-a_n)^2 = \left(\frac{1}{a_n}-\frac{a_n}{2}\right)^2 = \left(\frac{a_n^2-2}{2a_n}\right)^2 > 0, $$

so $a_n > \sqrt{2}$ for every $n > 1$. If we set $b_n = a_{n+1}^2-2$, we have $b_1=\frac{1}{4},b_n>0$ and:

$$ b_n = \frac{b_{n-1}^2}{4a_n^2} = \frac{b_{n-1}^2}{4(b_{n-1}+2)} \leq \frac{b_{n-1}^2}{8}, $$

from which it follows that the sequence $\{b_n\}_{n\geq 1}$ decreases very fast towards zero. For instance, $b_1=\frac{1}{4}$ and the last inequality imply, by induction:

$$ b_n \leq \frac{1}{2^{5\cdot 2^{n-1}-3}}.$$

In a general case :

$$a + b – 2\sqrt{ab} = (\sqrt{a} – \sqrt{b})^2 \geq 0,$$

so just put $a = a_n, b=\frac{2}{a_n}$ in your case.

- Why $2n \int ^\infty _n \frac{c}{x^2 \log(x)} \sim n \frac{C}{n \log(n)}$?
- Normal subgroup where G has order prime
- $M_1$ and $M_2$ are subgroups and $M_1/N=M_2/N$. Is $M_1\cong M_2$?
- Approaching a contour integral with singularities on each axis
- Show that the set of all symmetric, real matrices is a subspace, determine the dimension
- Every non-finitely generated module has a minimal generating set.
- Can any $n \in \mathbb{N}$ be reached from 1 by doubling and summing digits?
- How can I show this set of sequences is compact?
- Why principal ideals in Z are not maximal?
- find area of the region $x=a\cos^3\theta$ $y=a\sin^3\theta$
- Show that the union of two sets of measure zero, has a measure zero
- Finding an asymptotic for the sum $\sum_{p\leq x}p^m$
- Is it possible to iterate a function transfinite times?
- Problem on circles, tangents and triangles
- Can a finite axiomatization of PA be expressed in a finitely axiomatizable first order set theory?