GaussAGM
Gauss' arithmetic geometric mean
Calling Sequence
Parameters
Description
Examples
GaussAGM(a, b)
a
-
expression denoting a complex number
b
GaussAGM(a, b) is the limit of the iteration
a0≔a
b0≔b
an+1≔an2+bn2
bn+1≔an+bn⁢an⁢bnan+bn2
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
a2+b2
and their geometric mean
a⁢b
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
FunctionAdvisor( definition, GaussAGM(a,b))[1];
GaussAGM⁡a,b=π⁢a+b4⁢EllipticK⁡a−b2a+b2
Note: The relation with elliptic integrals is discussed in the book Pi and the Arithmetic Geometric Mean by J. M. Borwein and P. B. Borwein (John Wiley & Sons).
GaussAGM⁡2.0,3.0
2.474680436
See Also
EllipticE
EllipticK
FunctionAdvisor
Download Help Document