%I #68 Sep 08 2022 08:44:44
%S 3,9,2,6,9,9,0,8,1,6,9,8,7,2,4,1,5,4,8,0,7,8,3,0,4,2,2,9,0,9,9,3,7,8,
%T 6,0,5,2,4,6,4,6,1,7,4,9,2,1,8,8,8,2,2,7,6,2,1,8,6,8,0,7,4,0,3,8,4,7,
%U 7,0,5,0,7,8,5,7,7,6,1,2,4,8,2,8,5,0,4,3,5,3,1,6,7,7,6,4,6,3,3
%N Decimal expansion of Pi/8.
%C Equals Integral_{x>=0} sin(4x)/(4x) dx. - _Jean-François Alcover_, Feb 28 2013
%C Consider 4 circles inscribed in a square. Inscribe a square in each circle. And finally, inscribe 4 circles inside each four small squares. Totally we get 16 small circles. Pi/8 is the ratio of the area of the 16 small circles to the area of initial square. See the link. - _Kirill Ustyantsev_, Apr 30 2020
%H Ivan Panchenko, <a href="/A019675/b019675.txt">Table of n, a(n) for n = 0..1000</a>
%H Kirill Ustyantsev, <a href="/A019675/a019675.pdf">Geometric sense of Pi/8</a>
%H <a href="/index/Tra#transcendental">Index entries for transcendental numbers</a>
%F From _Peter Bala_, Nov 15 2016: (Start)
%F Pi/8 = Sum_{k >= 1} (-1)^k/((2*k - 3)*(2*k - 1)*(2*k + 1)).
%F More generally, for n >= 0 we have 1/(2*n)! * Pi/4 = Sum_{k >= 1} (-1)^(k+n-1) * 1/Product_{j = -n..n} (2*k + 2*j - 1): when n = 0 we get the Madhava-Gregory-Leibniz series for Pi/4.
%F For N divisible by 4, we have the asymptotic expansion Pi/8 - Sum_{k = 1..N/2} (-1)^k/((2*k - 3)*(2*k - 1)*(2*k + 1)) ~ -1/2*(1/N^3 - 2/N^5 + 31/N^7 - 692/N^9 + ..., where the sequence of unsigned coefficients [1, 2, 31, 692, ...] equals A024235. (End)
%F Equals Integral_{x = 0..1} x*sqrt(1 - x^4) dx. - _Peter Bala_, Oct 27 2019
%F Equals Integral_{x = 0..inf} sin(x)^6/x^4 dx = Sum_{n >= 1} sin(n)^6/n^4, by the Abel-Plana formula. - _Peter Bala_, Nov 04 2019
%F From _Amiram Eldar_, Jul 12 2020: (Start)
%F Equals arctan(sqrt(2) - 1).
%F Equals Sum_{k>=0} (-1)^k/(4*k+2).
%F Equals Sum_{k>=0} 1/((4*k+1)*(4*k+3)) = Sum_{k>=0} 1/A001539(k).
%F Equals Integral_{x=0..oo} dx/(x^2 + 16).
%F Equals Integral_{x=0..oo} dx/(x^4 + 4) = Integral_{x=0..oo} x/(x^4 + 4) dx.
%F Equals Integral_{x=0..oo} x/(x^4 + 1)^2 dx = Integral_{x=0..1} x/(x^4 + 1) dx.
%F Equals Integral_{x=0..1} x * arcsin(x) dx. (End)
%e Pi/8 = 0.392699081698724154807830422909937860524646174921888227621868... - _Vladimir Joseph Stephan Orlovsky_, Dec 02 2009
%t RealDigits[N[Pi/8,6! ]] (* _Vladimir Joseph Stephan Orlovsky_, Dec 02 2009 *)
%o (PARI)
%o default(realprecision, 1002);
%o eval(vecextract(Vec(Str(sumalt(n=0, (-1)^(n)/(4*n+2)))), "3..-2")) \\ _Gheorghe Coserea_, Oct 06 2015
%o (Magma) pi:=Pi(RealField(110)); Reverse(Intseq(Floor(10^100*(pi)/8))); // _Vincenzo Librandi_, Oct 07 2015
%Y Cf. A195909, A195913, A195697. - _Mohammad K. Azarian_, Oct 11 2011
%Y Cf. A000796, A003881, A019670, A024235, A244978, A334422 (Pi/128).
%Y Cf. A001539, A061550.
%K nonn,cons
%O 0,1
%A _N. J. A. Sloane_