$$\tan^{-1}(x) - \tan^{-1}(y) = \tan^{-1}\left(\frac{x-y}{1+xy}\right)$$

ランダム行列のチュートリアルに出てきて「おー」と思ったけれど、冷静に見たら$\tan$の加法定理だった。

出典

下記参考文献の11ページ、3.1章

参考文献

• RANDOM MATRIX THEORY S. Kargin and E. Yudovina