Euler's formula
もしくは、オイラーの公式から三角関数の半角の公式を導出する。