>>423
そもそも三角関数の微積分で加法定理を使うはずだけど、その辺はどうするの？

たとえば、一般的な教科書では
(d/dx)sin x = lim[h→0](sin(x+h)-sin x)/h の計算は
sin(x+h)を加法定理で展開してcos xを導出する