%I #15 Feb 16 2025 05:39:50
%S 1,4,9,4,4,4,3,8,1,9,6,1,2,0,8,7,3,8,9,6,7,4,0,8,2,2,7,8,1,7,5,5,3,0,
%T 0,6,0,6,7,6,2,9,8,4,3,4,2,7,0,0,6,2,0,7,2,7,7,4,8,7,7,7,9,2,3,0,6,9,
%U 4,7,9,4,8,5,1,5,0,3,6,3,0,9,5,2,2,3,0,1
%N Decimal expansion of least x>0 having cos(Pi*x/3)=(cos(x))^2.
%C This number is irrational. I cannot prove it to be algebraic or transcendental. - _Charles R Greathouse IV_, Feb 16 2025
%e 1.4944438196120873896740822781755300606762984342700620727748777923069479...
%o (PARI) solve(x=1,2,cos(Pi/3*x)-cos(x)^2) \\ _Charles R Greathouse IV_, Oct 18 2011
%Y Cf. A197133.
%K nonn,cons,changed
%O 1,2
%A _Clark Kimberling_, Oct 16 2011
%E Corrected by _Charles R Greathouse IV_, Oct 18 2011