三角関数の加法定理の導入