cp's OEIS Frontend

A014549 Decimal expansion of 1 / M(1,sqrt(2)) (Gauss's constant).

%I A014549 #124 Feb 16 2025 08:32:33
%S A014549 8,3,4,6,2,6,8,4,1,6,7,4,0,7,3,1,8,6,2,8,1,4,2,9,7,3,2,7,9,9,0,4,6,8,
%T A014549 0,8,9,9,3,9,9,3,0,1,3,4,9,0,3,4,7,0,0,2,4,4,9,8,2,7,3,7,0,1,0,3,6,8,
%U A014549 1,9,9,2,7,0,9,5,2,6,4,1,1,8,6,9,6,9,1,1,6,0,3,5,1,2,7,5,3,2,4,1,2,9,0,6,7,8,5
%N A014549 Decimal expansion of 1 / M(1,sqrt(2)) (Gauss's constant).
%C A014549 On May 30, 1799, Gauss discovered that this number is also equal to (2/Pi)*Integral_{t=0..1} 1/sqrt(1-t^4).
%C A014549 M(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 A014549 J. M. Borwein and P. B. Borwein, Pi and the AGM, Wiley, 1987, page 5.
%D A014549 Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Sections 1.5.4 and 6.1, pp. 34, 420.
%D A014549 J. R. Goldman, The Queen of Mathematics, 1998, p. 92.
%H A014549 Harry J. Smith, <a href="/A014549/b014549.txt">Table of n, a(n) for n = 0..20000</a>
%H A014549 Markus Faulhuber, <a href="https://doi.org/10.1007/s11139-019-00224-2">An application of hypergeometric functions to heat kernels on rectangular and hexagonal tori and a "Weltkonstante"-or-how Ramanujan split temperatures</a>, The Ramanujan Journal volume 54, pages 1-27 (2021). See pp. 4 and 24.
%H A014549 Markus Faulhuber, Anupam Gumber, and Irina Shafkulovska, <a href="https://arxiv.org/abs/2209.04202">The AGM of Gauss, Ramanujan's corresponding theory, and spectral bounds of self-adjoint operators</a>, arXiv:2209.04202 [math.CA], 2022, p. 2.
%H A014549 Alessandro Languasco and Pieter Moree, <a href="https://arxiv.org/abs/2406.16547">Euler constants from primes in arithmetic progression</a>, arXiv:2406.16547 [math.NT], 2024. See p. 10.
%H A014549 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/GausssConstant.html">Gauss's Constant</a>.
%H A014549 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/Arithmetic-GeometricMean.html">Arithmetic-Geometric Mean</a>.
%H A014549 <a href="/index/Tra#transcendental">Index entries for transcendental numbers</a>.
%F A014549 Equals (lim_{k->oo} p(k))/(1+i) and (lim_{k->oo} q(k))/(1+i), where i is the imaginary unit, p(0) = 1, q(0) = i, p(k+1) = 2*p(k)*q(k)/(p(k)+q(k)) and q(k+1) = sqrt(p(k)*q(k)) for k >= 0. - _A.H.M. Smeets_, Jul 26 2018
%F A014549 Equals the infinite quotient product (3/4)*(6/5)*(7/8)*(10/9)*(11/12)*(14/13)*(15/16)*... . - _James Maclachlan_, Jul 28 2019
%F A014549 Equals (9/15)*hypergeom([1/2, 3/4], [9/4], 1). - _Peter Bala_, Mar 03 2022
%F A014549 Equals A062539 / Pi. - _Amiram Eldar_, May 04 2022
%F A014549 From _Stefano Spezia_, Sep 29 2022: (Start)
%F A014549 Equals theta4(exp(-Pi))^2.
%F A014549 Equals sqrt(2)*A093341/Pi. (End)
%F A014549 Equals Sum_{k>=0} (-1)^k * binomial(2*k,k)^2/16^k. - _Amiram Eldar_, Jul 04 2023
%F A014549 From _Gerry Martens_, Jul 31 2023: (Start)
%F A014549 Equals 2*Gamma(5/4)/(sqrt(Pi)*Gamma(3/4)).
%F A014549 Equals hypergeom([1/4, -2/4], [1], 1). (End)
%F A014549 Equals A248557^2. - _Hugo Pfoertner_, Jun 28 2024
%e A014549 0.8346268416740731862814297327990468...
%p A014549 evalf(1/GaussAGM(1, sqrt(2)), 144);  # _Alois P. Heinz_, Jul 05 2023
%t A014549 RealDigits[Gamma[1/4]^2/(2*Pi^(3/2)*Sqrt[2]), 10, 105][[1]] (* or: *)
%t A014549 RealDigits[1/ArithmeticGeometricMean[1, Sqrt[2]], 10, 105][[1]] (* _Jean-François Alcover_, Dec 13 2011, updated Nov 11 2016, after _Eric W. Weisstein_ *)
%t A014549 First[RealDigits[N[EllipticTheta[4, Exp[-Pi]]^2, 90]]] (* _Stefano Spezia_, Sep 29 2022 *)
%o A014549 (PARI) default(realprecision, 20080); x=10*agm(1, sqrt(2))^-1; for (n=0, 20000, d=floor(x); x=(x-d)*10; write("b014549.txt", n, " ", d)); \\ _Harry J. Smith_, Apr 20 2009
%o A014549 (PARI) 1/agm(sqrt(2),1) \\ _Charles R Greathouse IV_, Feb 04 2015
%o A014549 (PARI) sqrt(Pi/2)/gamma(3/4)^2 \\ _Charles R Greathouse IV_, Feb 04 2015
%o A014549 (Python)
%o A014549 from mpmath import mp, agm, sqrt
%o A014549 mp.dps=105
%o A014549 print([int(z) for z in list(str(1/agm(sqrt(2)))[2:-1])]) # _Indranil Ghosh_, Jul 11 2017
%o A014549 (Magma) SetDefaultRealField(RealField(100)); R:= RealField(); Sqrt(Pi(R)/2)/Gamma(3/4)^2; // _G. C. Greubel_, Aug 17 2018
%Y A014549 Cf. A053002, A053003, A053004, A062539, A093341, A244644, A248557.
%K A014549 nonn,cons,nice
%O A014549 0,1
%A A014549 _Eric W. Weisstein_, _N. J. A. Sloane_
%E A014549 Extended to 105 terms by _Jean-François Alcover_, Dec 13 2011
%E A014549 a(104) corrected by _Andrew Howroyd_, Feb 23 2018