>>180
> 加法定理やろうとしたら、二重級数になるし。
普通は二重級数を使わずに指数法則e^(x+y)=e^x * e^yを使う。
三角関数の加法定理なんて覚えられないから、いっつも
指数法則から導出してた（といっても０．０１秒程度の脳内操作だが）。