原点を中心にして BC を回転して DE に移して、 D, E に対応する複素数を各々 α, α となる様にできる。 このとき BC = DE = (α - α)/i = 2 Im(α) となる。