加法定理、2倍角、半角の公式をまとめました。