OFFSET
0,2
LINKS
D. H. Lehmer, On Arccotangent Relations for π, The American Mathematical Monthly, Vol. 45, No. 10 (Dec., 1938), pp. 657-664.
Eric Weisstein's World of Mathematics, Machin-Like Formulas.
FORMULA
5*arctan(1/7) + 2*arctan(3/79) = Pi/4. - Frank Ellermann, Mar 01 2020
Equals arcsin(1/(5*sqrt(2))) = arccos(7/(5*sqrt(2))). - Amiram Eldar, Jul 11 2023
EXAMPLE
0.1418970546041639228128516171...
MATHEMATICA
RealDigits[ArcTan[1/7], 10, 120][[1]] (* Harvey P. Dale, Oct 03 2012 *)
PROG
(PARI) atan(1/7) \\ Michel Marcus, Mar 01 2020
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
Bryan Jacobs (bryanjj(AT)gmail.com), Apr 12 2005
STATUS
approved