After having struggled yesterday with this as much as I could, I am posting this problem here:
If $ax+b\sec(\tan^{-1}x)=c$ and $ay+b\sec(\tan^{-1}y)=c$, then prove that $$\frac{x+y}{1-xy}=\frac{2ac}{a^2-c^2}$$
My attempt: Comparing both the equations, it is clear that $x=y$ (it is a dummy variable, sort of). So we basically need to find $\frac{2x}{1-x^2}$. Letting $x=\tan\theta$, the given equation becomes:
$$a \tan\theta +b \sec\theta=c$$
From here, I don't know what to do. I tried to put it in the form of $a \sin\theta -c\cos\theta=-b$, then divide and multiply by $\sqrt{(a^2+c^2)}$ to put it in the auxiliary form ($a=r\cos\theta,c=r\sin\theta$), but alas that did not help.
By just working backwards, we see that the transformations $a=r\cos\alpha$ and $c=r\sin\alpha$ give the answer. These are also the transformations I need in order to get the auxiliary form I mentioned above, but connecting them beats me.