オイラーの公式
These follow directly from Euler's formula.