STATUS
editing
approved
editing
approved
evalf(solve(cos(x)=x, x)/2, 140); # Alois P. Heinz, Feb 20 2024
approved
editing
reviewed
approved
proposed
reviewed
editing
proposed
Equals d/2 = A003957/2, where d is the Dottie number. - Gleb Koloskov, Jun 16 2021
(PARI) solve(x=0, 1, cos(x)-x)/2 \\ Gleb Koloskov, Jun 16 2021
approved
editing
proposed
approved
editing
proposed
Decimal expansion of xo, where P=(xo,yo) is the point nearest O=(0,0) in which a line y=mx meets the curve y=cos(x+piPi/4) orthogonally.
approved
editing
_Clark Kimberling (ck6(AT)evansville.edu), _, Oct 09 2011