I'm reading a book on complex analysis. In one step while evaluating a path integral, the author makes the following substitution:
$$\arctan \left(\dfrac{1}{1-α} \right) + \arctan(1-α) = \dfrac{\pi}{2}$$
I'm not sure if it's relevant here, but $α$ is a complex number such that the absolute value of the real and imaginary parts are both less than $1$.
How did the author make this substitution? Is he using some sort of trigonometric identity I'm not aware of? If so, which one is it? And is there a list of such identities? I'd like to make sure I'm not confused next time I see something like this.