Problem #PRU-61324

Problems Calculus Number sequences Limit of a sequence, convergence Algebra Mean values Sequences Recurrent relations Recurrent relations (other)

Problem

We call the geometric-harmonic mean of numbers \(a\) and \(b\) the general limit of the sequences \(\{a_n\}\) and \(\{b_n\}\) constructed according to the rule \(a_0 = a\), \(b_0 = b\), \(a_{n + 1} = \frac{2a_nb_n}{a_n + b_n}\), \(b_{n + 1} = \sqrt{a_nb_n}\) (\(n \geq 0\)).

We denote it by \(\nu (a, b)\). Prove that \(\nu (a, b)\) is related to \(\mu (a, b)\) (see problem number 61322) by \(\nu (a, b) \times \mu (1/a, 1/b) = 1\).

Problem number 61322 says that both of these sequences have the same limit.

This limit is called the arithmetic-geometric mean of the numbers \(a, b\) and is denoted by \(\mu (a, b)\).