(1) (cosα+isinα)(cosβ+isinβ)=(cosαcosβ−sinαsinβ)+i(sinαcosβ+cosαsinβ)=cos(α+β)+isin(α+β).
(2) n=1 で成立する。n で成立すると仮定すると、(1)より (cosθ+isinθ)n+1={cos(nθ)+isin(nθ)}(cosθ+isinθ)=cos((n+1)θ)+isin((n+1)θ). よって数学的帰納法で成立。
(3) ∣z∣=1, Imz>0 より z=cosθ+isinθ(0<θ<π)。(2)より Im(z5+z)=sin5θ+sinθ=2sin3θcos2θ. したがって sin3θ=0 または cos2θ=0。範囲 0<θ<π では θ=3π, 32π, 4π, 43π. z=eiπ/4, eiπ/3, ei2π/3, ei3π/4
(1) 左辺を展開すると (cosαcosβ−sinαsinβ)+i(sinαcosβ+cosαsinβ) であり、加法定理から右辺に等しい。
(2) n=1では成立する。nで成立すると仮定し、両辺に cosθ+isinθ を掛けて(1)を用いれば n+1でも成立するので、正整数 nすべてで成り立つ。
(3) z=cosθ+isinθとおく。Imz>0と∣z∣=1から 0<θ<π。ド・モアブルの定理で z5+zの虚部は sin5θ+sinθ=2sin3θcos2θ 。これが 0となるのは sin3θ=0または cos2θ=0である。区間内ではそれぞれ θ=3π, 32π,θ=4π, 43π となる。よって求める4解はそれらに対応する単位複素数。