login
Decimal expansion of (Pi - 1)/2.
12

%I #65 Sep 08 2022 08:45:14

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

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

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

%N Decimal expansion of (Pi - 1)/2.

%C From _Bernard Schott_, Apr 19 2021: (Start)

%C The series Sum_{k>=1} sin(k)/k and also Sum_{k>=1} cos(k)/k (A121225) are called Fresnel series.

%C The series Sum_{k>=1} |sin(k)/k| is divergent. (End)

%D Xavier Merlin, Methodix Analyse, Ellipses, 1997, p. 117.

%H Ira Rosenholtz, <a href="http://www.jstor.org/stable/2690793">Tangent sequences, world records, Pi, and the meaning of life: Some Applications of Number Theory to Calculus</a>, Math. Mag., Vol. 72, No. 5 (1999), pp. 367-376.

%H Jan W. H. Swanepoel, <a href="http://dx.doi.org/10.1016/j.jnt.2014.10.002">On a generalization of a theorem by Euler</a>, Journal of Number Theory, Vol. 149 (April 2015), pp. 46-56.

%H Université de Rennes, <a href="http://braise.univ-rennes1.fr/donnees/ParamHTML/S%E9ries%20num%E9riques/con/S%E9ries%20semi-convergentes/cst.pdf">Séries semi-convergentes</a>, Base raisonnée d'exercices de Mathématiques, p. 2 (Braise).

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

%F Equals Sum_{k >= 1} sin(k)/k. (This follows from the identity x = Pi - 2 Sum_{k >= 1} sin(k*x)/k, as observed by Euler in 1744.)

%F Equals A019669 minus 1/2. - _R. J. Mathar_, Dec 15 2008

%F Equals Sum_{k >= 1} (sin(k)/k)^2. (Interestingly, Sum_{k >= 1} sin(k)/k = Sum_{k >= 1} (sin(k)/k)^2, a series whose terms sum to the sum of the square of each term.) - _Dimitri Papadopoulos_, Mar 11 2015

%F Equals arctan(sin(1)/(1-cos(1))). - _Amiram Eldar_, Jun 06 2021

%e 1.0707963267948966...

%t RealDigits[(Pi - 1)/2, 10, 105][[1]] (* _Robert G. Wilson v_, Aug 26 2004 *)

%o (PARI) (Pi-1)/2 \\ _Charles R Greathouse IV_, Jan 30 2015

%o (Magma) pi:=Pi(RealField(110)); Reverse(Intseq(Floor(10^105*(pi-1)/2))); // _Vincenzo Librandi_, Mar 12 2015

%Y Cf. A019669, A096418, A121225, A342680.

%K nonn,cons

%O 1,3

%A _N. J. A. Sloane_, Aug 16 2004

%E More terms from _Robert G. Wilson v_, Aug 17 2004

%E Better definition from _Eric W. Weisstein_, Aug 18 2004