>>106 tanの加法定理というと(tanα+tanβ)/(1-tanαtanβ)のことでしょうか。
逆三角関数に三角関数の加法定理を用いることができるのですか？