<s>[INST] Show that $\arctan x+\arctan y = \pi+\arctan\frac{x+y}{1-xy}$, if $xy\gt 1$ Show that $\arctan x+\arctan y = \pi+\arctan\frac{x+y}{1-xy}$, if $xy\gt 1$

I am stuck at understanding why the constraint $xy\gt 1$. Here is my work so far
let $\arctan x =a\implies x=\tan a$
let $\arctan y =b\implies y=\tan b$
therefore $\frac{x+y}{1-xy}=\frac{\tan a+\tan b}{1-\tan a\tan b}=\tan(a+b)$
$\implies a+b=\arctan \frac{\tan a+\tan b}{1-\tan a\tan b} $
$\implies \arctan x+\arctan y = \arctan\frac{x+y}{1-xy}$
I know $\pi$ is the period of $\tan x$ so $xy\gt 1$ constraint must have something to do with this. But I am not able to figure out how exactly these period and $xy\gt 1$ are related. Any help is appreciated. Thanks!
 [/INST] Since $\arctan x >- \frac{\pi}{2}$ and the function is increasing, $xy<1$ would yield $$\arctan x + \arctan y < \arctan x + \arctan \frac{1}{x}=\frac{\pi}{2}< \pi + \arctan \frac{x+y}{1-xy}$$ if none of $x$ and $y$ is negative, or WLOG only $y$. If they are both negative we would have a negative LHS, while the RHS remains larger than $\frac{\pi}{2}$.
</s>