Machin's formula is given by
|
(1)
|
For positive ,
, so this is also
an inverse tangent identity.
Following the exponential-product calculation of Trott (2006), take
,
, and
. The Euler formula
gives
|
(2)
| |||
|
(3)
|
This determines
only modulo
.
Since
,
one has
,
which fixes the branch by selecting
.
There are a whole class of Machin-like formulas with various numbers of terms (although only four such formulas with only two terms). The properties of these formulas are intimately connected with cotangent identities.