Machin's Formula for Pi/Proof 1

Proof
Let $\tan \alpha = \dfrac 1 5$.

Then: