If α>β>γ>0, then cot−1{β+α−β1+β2}+cot−1{γ+β−γ1+γ2}+cot−1{α+γ−α1+α2} is equal to :
Solutions · 1
Official solution
Rewrite each term as cot−1(α−βαβ+1), etc. Using cot−1(x−yxy+1)=tan−1(1+xyx−y) for the first two brackets (positive denominators) and noting the third bracket's argument is negative (needing a +π correction):
\[\tan^{-1}\left(\frac{\alpha-\beta}{1+\alpha\beta}\right)+\tan^{-1}\left(\frac{\beta-\gamma}{1+\beta\gamma}\right)+\pi+\tan^{-1}\left(\frac{\gamma-\alpha}{1+\gamma\alpha}\right)\]
\[=(\tan^{-1}\alpha-\tan^{-1}\beta)+(\tan^{-1}\beta-\tan^{-1}\gamma)+\pi+(\tan^{-1}\gamma-\tan^{-1}\alpha)=\pi.\]