arctanの加法定理って検索するといくつか出てきたのですが
arctan(a)+arctan(b)=・・・ってのばかりで
arctan(a)-arctan(b)=・・・ってのがないんですが後者はどの様な式になるのでしょうか、教えてください