>三角関数の微分
一応証明書いてあるよ。

>オイラーの式
って分数式の巡回和の方か？ (こっちならある)
e^(iθ) じゃないよね。 (こっちはない)