GaussAGM - Maple Help

GaussAGM

Gauss' arithmetic geometric mean

 Calling Sequence GaussAGM(a, b)

Parameters

 a - expression denoting a complex number b - expression denoting a complex number

Description

 • GaussAGM(a, b) is the limit of the iteration

${a}_{0}≔a$

${b}_{0}≔b$

${a}_{n+1}≔\frac{{a}_{n}}{2}+\frac{{b}_{n}}{2}$

${b}_{n+1}≔\left({a}_{n}+{b}_{n}\right)\sqrt{\frac{{a}_{n}{b}_{n}}{{\left({a}_{n}+{b}_{n}\right)}^{2}}}$

 for n=0,1,2,3,... (See arithmetic-geometric mean iteration.)
 • The GaussAGM of two positive real numbers a and b lies between their arithmetic mean

$\frac{a}{2}+\frac{b}{2}$

 • and their geometric mean

$\sqrt{ab}$

 • Each step of the iteration used to compute the GaussAGM computes an arithmetic mean and a geometric mean which explains the name GaussAGM. Lagrange discovered the arithmetic geometric mean before 1785.  Gauss rediscovered it in the 1790s and Gauss and Legendre developed the most complete theory of its use. GaussAGM can also be defined in terms of elliptic integrals
 ${\mathrm{GaussAGM}}{}\left({a}{,}{b}\right){=}\frac{{\mathrm{\pi }}{}\left({a}{+}{b}\right)}{{4}{}{\mathrm{EllipticK}}{}\left(\sqrt{\frac{{\left({a}{-}{b}\right)}^{{2}}}{{\left({a}{+}{b}\right)}^{{2}}}}\right)}$ (1)
 > $\mathrm{GaussAGM}\left(2.0,3.0\right)$
 ${2.474680436}$ (2)