複素関数論

ド・モアブルの公式の応用

次の関係式を導け。
k=0ncos(θ+kφ)=sinn+12φsinφ2cos(θ+n2φ)k=0nsin(θ+kφ)=sinn+12φsinφ2sin(θ+n2φ)

先ず、a=cosθ+isinθ,z=cosφ+isinφ (1) とするとき、等比級数の和から
a(1+z+z2+zn)=a1zn+11z
が成り立つことに注意する。

ここで、左辺の () の中の各項について、k=0,1,2,,n とするとき
zk=(cosφ+isinφ)k=cos(kφ)+isin(kφ)
が成り立つ。
従って、左辺は
(cosθ+isinθ)k=0n(cos(kφ)+isin(kφ))=(cosθk=0ncos(kφ)sinθk=0nsin(kφ))   +i(sinθk=0ncos(kφ)+cosθk=0nsin(kφ))=k=0ncos(θ+kφ)+ik=0nsin(θ+kφ)
となる。

一方で、右辺を計算すると
eiθ1ei(n+1)φ1eiφ=eiθein+12φ(ein+12φein+12φ)eiφ2(eiφ2eiφ2)=ei(θ+n2φ)sin(n+12φ)sinφ2=(cos(θ+n2φ)+isin(θ+n2φ))sin(n+12φ)sinφ2
となり、左辺と右辺の実部と虚部を各々比べることにより、題意が示される。