Problems

Age
Difficulty
Found: 870

a) Using geometric considerations, prove that the base and the side of an isosceles triangle with an angle of \(36^{\circ}\) at the vertex are incommensurable.

b) Invent a geometric proof of the irrationality of \(\sqrt{2}\).

The Babylonian algorithm for deducing \(\sqrt{2}\). The sequence of numbers \(\{x_n\}\) is given by the following conditions: \(x_1 = 1\), \(x_{n + 1} = \frac 12 (x_n + 2/x_n)\) (\(n \geq 1\)).

Prove that \(\lim\limits_{n\to\infty} x_n = \sqrt{2}\).

What will the sequence from the previous problem 61297 be converging towards if we choose \(x_1\) as equal to \(-1\) as the initial condition?

The iterative formula of Heron. Prove that the sequence of numbers \(\{x_n\}\) given by the conditions \(x_1 = 1\), \(x_{n + 1} = \frac 12 (x_n + k/x_n)\), converges. Find the limit of this sequence.

Method of iterations. In order to approximately solve an equation, it is allowed to write \(f (x) = x\), by using the iteration method. First, some number \(x_0\) is chosen, and then the sequence \(\{x_n\}\) is constructed according to the rule \(x_{n + 1} = f (x_n)\) (\(n \geq 0\)). Prove that if this sequence has the limit \(x * = \lim \limits_ {n \to \infty} x_n\), and the function \(f (x)\) is continuous, then this limit is the root of the original equation: \(f (x ^*) = x^*\).

The algorithm of the approximate calculation of \(\sqrt[3]{a}\). The sequence \(\{a_n\}\) is defined by the following conditions: \(a_0 = a > 0\), \(a_{n + 1} = 1/3 (2a_n + a/a^2_n)\) (\(n \geq 0\)).

Prove that \(\lim\limits_{n\to\infty} a_n = \sqrt[3]{a}\).

The sequence of numbers \(\{a_n\}\) is given by \(a_1 = 1\), \(a_{n + 1} = 3a_n/4 + 1/a_n\) (\(n \geq 1\)). Prove that:

a) the sequence \(\{a_n\}\) converges;

b) \(|a_{1000} - 2| < (3/4)^{1000}\).

The sequence of numbers \(\{x_n\}\) is given by the following conditions: \(x_1 \geq - a\), \(x_{n + 1} = \sqrt{a + x_n}\). Prove that the sequence \(x_n\) is monotonic and bounded. Find its limit.