高校数学ではオイラーの公式 は学習しませんが、それを使って三角関数の加法定理などを導く方法はよく知られていると思います。　この記事でもベタに加法定理や倍角の公式を導いてみます。 加法定理まずは一番よく知られていて、また他の公式の基本になる三角関数の加法定理を導いてみましょう。　オイラーの公式より が成り立ちます。　一方、左辺を指数法則（複素数の指数に対して指数法則が成り立つ証明は「指数関数の冪級数から指数法則を導く」を参照）によって変形し、さらに各因子にオイラーの公式を使ったりして変形していくと以下のようになります： (1), (2) 式の実部、虚部を比べると、三角関数の加法定理を得ます： 余弦の加法定理に含まれている負符号はオイラーの公式に含まれている虚数単位 の2乗からくるのが分かります。　指数法則が使えるのもミソですね。 倍角の公式次は倍角の公式。　加法定理からすぐに導けますが、これ

引用元：http://hayabusa3.2ch.sc/test/read.cgi/morningcoffee/1587185985/

大西拓磨です。21歳、ニートです。 このたび、縁あって、ここで何か書いていい権利をいただき（、そこから半年が経ち）ました。 とりあえず、僕のここまでの人生をザバーと紹介して最初の記事と代えようと思います。 1999-2011 横浜で、両親の反対を押し切って生まれました。父と母が毎日のように喧嘩している間、僕はどちらの膝にも座れるのが楽しかった思い出です。 内気ながら足が速かったので小学校では男1女6で遊んでたし、うち2人に告白されました（ここで自殺しておけば...）。 これはその頃に描いた船の絵と その間取りです。 2012-2014 3分の1が東大に行く中高一貫男子校に入れさせられましたが、勉強嫌いだったのでずっと遊んでました。 雪だるまに土下座させたりとか、 ポテトで悟空作ったりして。 あとずっとパズドラやってた。無課金で属性一面+297を達成したのは僕が史上初でした（伝わらない）。