Skip to main content
1 of 2
Zurab Silagadze
  • 16.5k
  • 1
  • 47
  • 94

The fact that the integral is proportional to the difference of the arithmetic and geometric means can be established in the following way, without calculating any integral. Let consider $\alpha=\frac{a+b}{2}$ and $\beta=\sqrt{ab}$ as independent variables. Then for the integral $$I(\alpha,\beta)=\int\limits_a^b \frac{\sqrt{(r-a)(b-r)}}{r}\,dr= \int\limits_a^b \frac{\sqrt{2r\alpha-r^2-\beta^2}}{r}\,dr,$$ we have $$\frac{\partial I}{\partial \alpha}=\int\limits_a^b \frac{dr}{\sqrt{2r\alpha-r^2-\beta^2}}=\int\limits_a^b \frac{dr}{\sqrt{(r-a)(b-r)}}$$ and $$\frac{\partial I}{\partial \beta}=-\int\limits_a^b \frac{\beta}{r\sqrt{2r\alpha-r^2-\beta^2}}\,dr=-\int\limits_a^b \frac{\sqrt{ab}}{r\sqrt{(r-a)(b-r)}}\,dr.$$ After substituting $$r=\frac{ab}{s}$$ in the last integral, we get $$\frac{\partial I}{\partial \beta}=-\int\limits_a^b \frac{\sqrt{ab}}{\sqrt{(ab-as)(bs-ab)}}\,ds=-\int\limits_a^b \frac{ds}{\sqrt{(b-s)(s-a)}}=-\frac{\partial I}{\partial \alpha} \tag{1}$$ Equation (1), combined with the fact, that for $\alpha=\beta=a$ (that is for $a=b$) the integral $I(a,a)=0$, implies that $$I(\alpha,\beta)=J(\alpha-\beta),$$ where $$J=\int\limits_a^b \frac{dr}{\sqrt{(r-a)(b-r)}}.$$

To complete the calculation, we need just to calculate $J$. This is done by the Euler substitution $$\sqrt{(r-a)(b-r)}=t(r-a)$$ which gives $$\int\limits_a^b \frac{dr}{\sqrt{(r-a)(b-r)}}=2\int\limits_0^\infty\frac{dt}{1+t^2}=\pi.$$

Zurab Silagadze
  • 16.5k
  • 1
  • 47
  • 94