GeezerVisonThe World Wide Web, restored to 800 pixels of glory. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Home|About|Gaming cabinet|Archives|How it works|Starter sites | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GeezerVison is showing mathworld.wolfram.com — Inverse Tangent -- from Wolfram MathWorld Inverse Tangent
The inverse tangent is the multivalued function
The inverse tangent function
Worse yet, the notation The principal value of the inverse tangent is implemented as ArcTan[z] in the Wolfram Language. In the GNU C library, it is implemented as atan(double x).
The inverse tangent is a multivalued function and hence requires a branch cut in the complex
plane, which the Wolfram Language's
convention places at
In the Wolfram Language (and in this work), this branch cut definition determines the range of
The inverse tangent function
The derivative of
and the indefinite integral is
For a real number
For a complex number
where
The two-argument inverse tangent takes into account the quadrant in which
For
(OEIS A033999 and A005408). The series also converges at the real endpoints
for a real number
where
and Abrarov and Quine (2018) give the series
for a real number
The inverse tangent formulas are connected with many interesting approximations to pi. For
The inverse tangent satisfies
for
for all complex number arguments
for all real number arguments
In terms of the hypergeometric function,
for complex number arguments
for a real number Castellanos (1986, 1988) also gives some curious formulas in terms of the Fibonacci numbers,
where
The first series is valid for a real number
For a real number
For a short proof, the difference The inverse tangent satisfies the addition formula
for
valid for a real number
for
where
and The inverse tangent has continued fraction representations
(Lambert 1770; Lagrange 1776; Wall 1948, p. 343; Olds 1963, p. 138) and
due to Euler and sometimes known as Euler's continued fraction (Borwein et al. 2004, p. 30).
To find
Then compute
and the inverse tangent is given by
(Acton 1990).
An inverse tangent
where
so the ratio
is a rational number. Equation (50) can also be written
Writing (48) in the form
allows a direct conversion to a corresponding inverse cotangent formula
where
Todd (1949) gives a table of decompositions of
Arndt and Gosper give the inverse tangent identity (Gosper 1997), valid for real numbers
There is an amazing set of BBP-type formulas for
One of these formulas is requested as a problem by Bailey et al. (2007, p. 225). Casper (2026) reported that the principal real inverse tangent of every nonzero rational number has irrationality measure 2, extending an OpenAI interpolation and determinant argument with Gaussian integers. The work credits AI assistance with proof development and Lean formalization. As of Oct. 25, 2026, independent specialist review had not been reported. See alsoCauchy Distribution, Euler's Machin-Like Formula, Gauss's Machin-Like Formula, Inverse Cotangent, Inverse Trigonometric Functions, Machin-Like Formulas, Machin's Formula, TangentRelated Wolfram siteshttps://functions.wolfram.com/ElementaryFunctions/ArcTan/Explore with Wolfram|AlphaMore things to try: ReferencesAbramowitz, M. and Stegun, I. A. (Eds.). "Inverse Circular Functions." §4.4 in Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, pp. 79-83, 1972.Abrarov, S. M. and Quine, B. M. "A Formula for Pi Involving Nested Radicals." Ramanujan J. 46, 657-665, 2018. https://doi.org/10.1007/s11139-018-9996-8.Abrarov, S. M.; Jagpal, R. K.; Siddiqui, R.; and Quine, B. M. "Algorithmic Determination of a Large Integer in the Two-Term Machin-Like Formula forReferenced on Wolfram|AlphaInverse TangentCite this as:Weisstein, Eric W. "Inverse Tangent." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/InverseTangent.html Subject classifications | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |