Pi formula proofs
edit
Proof of Leibniz's formula
edit
Proof of Leibniz formula
Proof of Wallis's product
edit
Proof of Wallis product
Proof of ζ(2)
edit
Basel problem
Proof of Machin's formula
edit
Machin's formula
-
Recall the formulas:
-
-
-
Let
-
We can obtain tan(2α) = 5/12 and tan(4α) = 120/119 by using the above formula.
Therefore,
-
Consider,
-
-
Q.E.D.