# Geometric mean of reals between 0 and 1

What is the geometric mean of all reals between $0$ and $1$?

I was thinking over this, but could not come up with anything useful. Please help me out.

• @MichaelHardy So is the problem not valid for $0$ to $1$? – pkwssis Oct 30 '14 at 3:56
• What do you mean when you say geometric mean of an uncountable set of numbers? – Macavity Oct 30 '14 at 4:02
• $$\sqrt[n]{\frac1n\frac2n\frac3n\cdots\frac{n}{n}}=\frac{\sqrt[n]{n!}}{n}\to \frac1e.$$ – Jonas Meyer Oct 30 '14 at 4:16
• @wei2912: I don't really think it's as simple or elegant as $\exp\left(\frac{1}{b-a}\int_a^b\log(x)\,dx\right)$, and generalizing it is messier. – Jonas Meyer Oct 30 '14 at 14:54
• @JonasMeyer I am sorry, but isn't that the geometric means of all rationals between 0 and 1? – Ant Oct 31 '14 at 14:08

It's not entirely clear what is meant by the geometric mean of an uncountable collection of numbers. But here is a possible interpretation.

The geometric mean of two numbers $x,y$ is given by $$g=\sqrt{xy}$$ which can be rewritten $$\ln g=\frac{\ln x+\ln y}{2}\ .$$ That is, the log of the geometric mean is the arithmetic mean of the logs. The arithmetic mean of the logs of all numbers from $a$ to $b$ is $$\frac1{b-a}\int_a^b \ln x\,dx=\frac{(b\ln b-a\ln a)-(b-a)}{b-a}$$ and the geometric mean is therefore $$\exp\Bigl(\frac{(b\ln b-a\ln a)-(b-a)}{b-a}\Bigr) =\frac1e\Bigl(\frac{b^b}{a^a}\Bigr)^{\frac1{b-a}}\ .$$ Note that if $a=0$ then $a^a$ is not defined; but you can use the limit as $a\to0^+$, which is $1$.

Specifically, for the interval $[0,1]$ this gives $e^{-1}$, and for the interval $[1,2]$ it gives $4e^{-1}$.

• Actually $0^0$ is defined, but in the context of anything looking like a limit it is an indeterminate form – Hagen von Eitzen Oct 30 '14 at 13:03
• @HagenvonEitzen The way I've seen it, is that in the natural numbers $\mathbb N$, there's nothing stopping us from defining $0^0=1$ (and it actually is the most logical choice for combinatorial and set-theoretical reasons), but in the real numbers $\mathbb R$ it makes more sense to call it indeterminate. – Akiva Weinberger Oct 30 '14 at 22:08

It would be

$$\exp\left(\int_{0}^{1}\ln x \, dx\right)=e^{-1}$$

• $\exp(-\infty)=0$ !! – scineram Oct 30 '14 at 7:17
• @scineram: $\int_{0}^{1} \ln x dx = (x \ln x - x) |_{0}^{1}= -1 - \lim_{x \rightarrow 0} x \ln x = -1$ – RRL Oct 30 '14 at 7:30

This is a more general result. First consider the Generalised mean: $$\operatorname{GM}(n, m)=\sqrt[n]{\frac1m\sum_{k=1}^mx^n_k}$$ We can extend this definition to a function rather than a sequence. Let $I=[m_0,m_1]$ be a bound such that it is the domain $f(x)$. Now we can write the Generalised mean of the values of $f(x)$ as $$\operatorname{GM}(n, f)=\sqrt[n]{\frac1{m_1-m_0}\int_{m_0}^{m_1}f^n(x)\ \mathrm dx}$$ A property of the discrete Generalised mean was that $n=1$ was the arithmetic mean, $n=2$ was the quadratic mean, $n=0$ was the geometric mean, $n=-1$ was the harmonic mean, as $n\to \infty$ it approached the maximum of the values and as $n\to-\infty$ it approched the minimum of the values.

If we take $f(x)=x$, $[m_0, m_1]=[0, 1]$ and limit $n\to 0$ (just like the geometric mean for the discrete case) we get $$\lim_{n\to 0}\sqrt[n]{\int_0^1 x^n \mathrm dx}=\lim_{n\to0}\frac1{\sqrt[n]{n+1}}=\lim_{n\to\infty}\left(1+\frac1n\right)^{-n}=e^{-1}$$ as expected. This approach also allows you to find the other means. If you limit $n\to \infty$ or $\to -\infty$ you will get the upper and lower bounds of the domain.