Result on D3306: Basic real harmonic mean
Basic real harmonic and arithmetic means are multiplicative inverses when arguments are

Let $x_1, \dots, x_N \in (0, \infty)$ each be a D993: Basic real number such that
 (i) $A(x_1, \ldots, x_N)$ is a D2454: Basic real arithmetic mean of $x_1, \dots, x_N$ (ii) $H \left( \frac{1}{x_1}, \ldots, \frac{1}{x_N} \right)$ is a D3306: Basic real harmonic mean of $\frac{1}{x_1}, \ldots, \frac{1}{x_N}$
Then $$H \left( \frac{1}{x_1}, \ldots, \frac{1}{x_N} \right) A(x_1, \ldots, x_N) = 1$$
Proofs

Let $x_1, \dots, x_N \in (0, \infty)$ each be a D993: Basic real number such that
 (i) $A(x_1, \ldots, x_N)$ is a D2454: Basic real arithmetic mean of $x_1, \dots, x_N$ (ii) $H \left( \frac{1}{x_1}, \ldots, \frac{1}{x_N} \right)$ is a D3306: Basic real harmonic mean of $\frac{1}{x_1}, \ldots, \frac{1}{x_N}$
Results
provide the expressions $$A(x_1, \ldots, x_N) = \frac{1}{N} \sum_{n = 1}^N x_n , \qquad H (x_1, \ldots, x_N) = \frac{N}{\sum_{n = 1}^N \frac{1}{x_n}}$$ Thus $$\begin{split} H \left( \frac{1}{x_1}, \ldots, \frac{1}{x_N} \right) = \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(x_1, \ldots, x_N)} \end{split}$$ Multiplying both sides by $A(x_1, \ldots, x_N)$ finishes the proof. $\square$