From Wikipedia, the free encyclopedia
It is User:wonghang.
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.