>>694 そうゆう加法定理関係の公式は習ったので一応分かります。