login
Decimal expansion of AGM(1,sqrt(2)).
15

%I #104 Jul 05 2023 06:13:08

%S 1,1,9,8,1,4,0,2,3,4,7,3,5,5,9,2,2,0,7,4,3,9,9,2,2,4,9,2,2,8,0,3,2,3,

%T 8,7,8,2,2,7,2,1,2,6,6,3,2,1,5,6,5,1,5,5,8,2,6,3,6,7,4,9,5,2,9,4,6,4,

%U 0,5,2,1,4,1,4,3,9,1,5,6,7,0,8,3,5,8,8,5,5,5,6,4,8,9,7,9,3,3,8,9,3,7,5,9,0

%N Decimal expansion of AGM(1,sqrt(2)).

%C AGM(a,b) is the limit of the arithmetic-geometric mean iteration applied repeatedly starting with a and b: a_0=a, b_0=b, a_{n+1}=(a_n+b_n)/2, b_{n+1}=sqrt(a_n*b_n).

%D George Boros and Victor H. Moll, Irresistible integrals, Cambridge University Press (2006), p. 195.

%D J. M. Borwein and P. B. Borwein, Pi and the AGM, Wiley, 1987, page 5.

%D J. R. Goldman, The Queen of Mathematics, 1998, p. 92.

%H Harry J. Smith, <a href="/A053004/b053004.txt">Table of n, a(n) for n = 1..20000</a>

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/GausssConstant.html">Gauss's Constant.</a>

%H <a href="/index/Tra#transcendental">Index entries for transcendental numbers</a>

%F Equals Pi/(2*A085565). - _Nathaniel Johnston_, May 26 2011

%F Equals Integral_{x=0..Pi/2} sqrt(sin(x)) or Integral_{x=0..1} sqrt(x/(1-x^2)). - _Jean-François Alcover_, Apr 29 2013 [cf. Boros & Moll p. 195]

%F Equals Product_{n>=1} (1+1/A033566(n)) and also 2*AGM(1, i)/(1+i)) where i is the imaginary unit. - _Dimitris Valianatos_, Oct 03 2016

%F Conjecturally equals 1/( Sum_{n = -infinity..infinity} exp(-Pi*(n+1/2)^2 ) )^2. Cf. A096427. - _Peter Bala_, Jun 10 2019

%F From _Amiram Eldar_, Aug 26 2020: (Start)

%F Equals 2 * A076390.

%F Equals Integral_{x=0..Pi} sin(x)^2/sqrt(1 + sin(x)^2) dx. (End)

%F Equals sqrt(2/Pi)*Gamma(3/4)^2 = Integral_{x = 0..1} 1/(1 - x^2)^(1/4) dx = Pi/Integral_{x = 0..1} 1/(1 - x^2)^(3/4) dx. - _Peter Bala_, Jan 05 2022

%F From _Peter Bala_, Mar 02 2022: (Start)

%F Equals 2*Integral_{x = 0..1} x^2/sqrt(1 - x^4) dx.

%F Equals 1 - Integral_{x = 0..1} (sqrt(1 - x^4) - 1)/x^2 dx.

%F Equals hypergeom([-1/2, -1/4], [3/4], 1) = 1 + Sum_{n >= 0} 1/(4*n + 3)*Catalan(n)*(1/2^(2*n+1)). Cf. A096427. (End)

%e 1.19814023473559220743992249228...

%p evalf(GaussAGM(1, sqrt(2)), 144); # _Alois P. Heinz_, Jul 05 2023

%t RealDigits[ N[ ArithmeticGeometricMean[1, Sqrt[2]], 105]][[1]] (* _Jean-François Alcover_, Jan 30 2012 *)

%t RealDigits[N[(1+Sqrt[2])Pi/(4EllipticK[17-12Sqrt[2]]), 105]][[1]] (* _Jean-François Alcover_, Jun 02 2019 *)

%o (PARI) default(realprecision, 20080); x=agm(1, sqrt(2)); for (n=1, 20000, d=floor(x); x=(x-d)*10; write("b053004.txt", n, " ", d)) \\ _Harry J. Smith_, Apr 20 2009

%o (PARI) 2*real(agm(1, I)/(1+I)) \\ _Michel Marcus_, Jul 26 2018

%o (Python)

%o from mpmath import mp, agm, sqrt

%o mp.dps=106

%o print([int(z) for z in list(str(agm(1, sqrt(2))).replace('.', '')[:-1])]) # _Indranil Ghosh_, Jul 11 2017

%Y Cf. A014549, A053002, A053003, A076390, A085565, A096427.

%K nonn,cons,nice,easy

%O 1,3

%A _N. J. A. Sloane_, Feb 21 2000

%E More terms from _James A. Sellers_, Feb 22 2000