OFFSET
1,2
COMMENTS
Decimal expansion of psi, the unique solution on (0,Pi) of sin(psi) - psi*cos(psi) = Pi/2, an auxiliary constant used in the Hall-Tenenbaum inequality applied to real multiplicative functions. - Jean-François Alcover, Sep 05 2014
LINKS
Steven R. Finch, Errata and Addenda to Mathematical Constants, p. 28.
M. Fraser, A tale of two goats, Math. Mag., 55 (1982), 221-227.
Gerd Lamprecht, Iterationsrechner mit Algorithmus
Gerd Lamprecht, 10000 digits
Gerd Lamprecht, Zahlenfolgen (sequence)
FORMULA
x := x - (sin(x) - cos(x)*x - Pi/2)/(sin(x)*x).
Equals 2*arccos(A133731/2).
EXAMPLE
A133731 = cos(1.9056957293.../2)*2.
MATHEMATICA
psi = x /. FindRoot[Sin[x] - x*Cos[x] == Pi/2, {x, 2}, WorkingPrecision -> 102]; RealDigits[psi] // First (* Jean-François Alcover, Sep 05 2014 *)
PROG
(Other) Gerd Lamprecht Iterationsrechner: #(sin(x)-cos(x)*x-PI/2)/(sin(x)*x)@Na=2; @Nb=a; a=a-Fx(a); @N@Aa-b)%3C%204e-16@N0@N1@Nc=cos(a/2)*2;
(PARI) solve(x=1, 2, sin(x)-x*cos(x)-Pi/2) \\ Charles R Greathouse IV, Mar 03 2021
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
Gerd Lamprecht (gerdlamprecht(AT)googlemail.com), Feb 12 2010
STATUS
approved