欧拉公式
and from there, by Euler's formula, as