Posted by
**alex** on
.

Now we prove Machin's formula using the tangent addition formula:

tan(A+B)= tanA+tanB/1-tanAtanB.

If A= arctan(120/119) and B= -arctan(1/239), how do you show that

arctan(120/119)-arctan(1/239)=arctan1?