オイラーの公式
which is analogous to Euler's formula, extended to quaternions.