加法定理→倍角→半角

積和・和積の公式の導出ver.もあります。