An Arctangent Identity

3 November, 2015
trigonography-anarctangentidentity

For \(x\) between \(0\) and \(1\):

$$\text{atan}\frac{x}{1} \;+\; \text{atan}\frac{1-x}{1+x} \quad=\quad \alpha + \beta \quad=\quad 45^\circ$$