MathDB
The arctangent function - [Iran Second Round 1986]

Source:

December 24, 2010
functionalgebra proposedalgebra

Problem Statement

Prove that arctan12+arctan13=π4.\arctan \frac 12 +\arctan \frac 13 = \frac{\pi}{4}.