Arithmetic mean is to addition as Harmonic mean is to ...?

Question

Take $n$ real numbers $x_1,\ldots,x_n.$

The Arithmetic mean $A_n=\frac{1}{n}(x_1+\ldots+x_n)$ is the answer to the question: "Which number, when added up $n$ times, is equal to the sum of the $x_1,\ldots,x_n?$"

If the numbers are non-negative, then the Geometric mean $G_n=(x_1\ldots x_n)^{1/n}$ is the answer to the question: "Which number, when multiplied $n$ times by itself, is equal to the product of the $x_1,\ldots,x_n?$"

So the Arithmetic and Geometric and Geometric mean are associated with addition and multiplication, respectively.

My question:

Is there an operation, call it shmultiplication, such that the Harmonic mean $H_n=\frac{n}{\frac{1}{x_1}+\ldots+\frac{1}{x_n}}$ is the answer to the question: "Which number, when shmultiplied $n$ times with itself, is equal to the shmultiplication of the $x_1,\ldots,x_n?$" (And if yes, does shmultiplication have a proper name?)

Answer 1

I think the shmultiplication you’re looking for is

$$a\circ b = \frac{ab}{a+b} = (a^{-1} + b^{-1})^{-1}.$$

Associativity can easily be seen (at least when division by $0$ is avoided) by noting this is the conjugation of addition by taking inverses, so then the shmultiplication of $n$ values can be defined iteratively and is equivalent to the reciprocal of the sum of reciprocals.

Similarly, multiplication could be viewed as the conjugation of addition by taking logarithms/exponentials.

I’d want to call this a “harmonic sum”, but I can’t find any supporting evidence for this name.

Answer 2

I think the "schmultiplication" you are looking for is the binary operation $a \star b = \frac{1}{a} + \frac{1}{b}$, and I don't think it has a name. For example, take the case $n=2$. Then let $m = \frac{2}{\frac{1}{a} + \frac{1}{b}}$ (the harmonic mean of $a$ and $b$). Then if you "schmultiply" $m$ with itself twice you get $m \star m = \frac{2}{m} = \frac{1}{a} + \frac{1}{b}$ and this is exactly the "schmultiplication" of $a$ and $b$.