ThmDex – An index of mathematical definitions, results, and conjectures.
P2799
Results
(i) R4095: Real arithmetic expression for real arithmetic mean
(ii) R4092: Real arithmetic expression for real harmonic mean

provide the expressions \begin{equation} A = \frac{1}{N} \sum_{n = 1}^N x_n , \qquad H = \frac{N}{\sum_{n = 1}^N \frac{1}{1 / x_n}} \end{equation} Thus \begin{equation} \begin{split} H = \frac{N}{\sum_{n = 1}^N \frac{1}{1 / x_n}} = \frac{N}{\sum_{n = 1}^N x_n} = \frac{1}{\frac{1}{N} \sum_{n = 1}^N x_n} = \frac{1}{A} \end{split} \end{equation} Multiplying both sides by $A$ finishes the proof. $\square$