## An Arctangent Identity

For $$x$$ between $$0$$ and $$1$$:

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