OFFSET
1,2
LINKS
FORMULA
Equals arcsin(sqrt(12/13)) = arccos(sqrt(1/13)). - Amiram Eldar, Jul 04 2023
EXAMPLE
1.289761425292083021511306741277...
MATHEMATICA
r = Sqrt[12]; N[ArcTan[r], 100]
RealDigits[%] (* A195724 *)
RealDigits[ArcTan[2*Sqrt[3]], 10, 100][[1]] (* G. C. Greubel, Aug 20 2018 *)
PROG
(PARI) atan(2*sqrt(3)) \\ G. C. Greubel, Aug 20 2018
(Magma) SetDefaultRealField(RealField(100)); Arctan(2*Sqrt(3)); // G. C. Greubel, Aug 20 2018
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Clark Kimberling, Sep 23 2011
STATUS
approved