OFFSET
0,1
COMMENTS
This is analogous to A003957, the fixed point of the cosine function in radians and A330119, the fixed point of the cosine function in degrees. Each of the three are the unique real solutions to cos(x)-x=0, in their respective angular units. The quadrant unit offers a nice symmetry, cos(0)=1 and cos(1)=0. Unlike the previous two, the quadrant fixed point is not an attractor of its cosine function. It cannot be found by iterative cosine application. Although not proven, iterative quadrant cosine can be seen empirically to diverge for all initial values.
A graphical solution can be demonstrated by plotting y = cos(x*Pi/2) - x, which shows a single zero near x=0.6.
The bisection method converges for the entire range of the cosine function (-1 to 1). Newton's method also converges with reasonable initial estimate.
EXAMPLE
0.594611644056835582988461884634773924789949372717025145030185743014299027963938...
MATHEMATICA
RealDigits[x /. FindRoot[Cos[Pi*x/2] == x, {x, 1}, WorkingPrecision -> 105], 10, 100][[1]] (* Amiram Eldar, Mar 05 2021 *)
PROG
(PARI) \p 100
solve(x=-1, 1, cos(Pi*x/2)-x)
(Maxima) fpprec :100;
bf_find_root(cos(x*%pi/2)-x, x, 0, 1) ;
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
Michael Sheridan, Mar 04 2021
STATUS
approved