[Proof] Let the complex numbers α=x(cosA+isinA),β=y(cosB+isinB), γ=z(cosC+isinC). Suppose α,β,γ are the roots of the cubic equation
u3−au2+bu−c=0
By Vieta's formulas, we have:
abc=α+β+γ=xcosA+ycosB+zcosC+iF1= real, =αβ+βγ+γα=21[(α+β+γ)2−(α2+β2+γ2)]=21[a2−(x2cos2A+y2cos2B+z2cos2C+iF2)]=21[a2−x2cos2A−y2cos2B−z2cos2C]= real =αβγ=xyz[cos(A+B+C)+isin(A+B+C)]=±xyz= real,
It is evident that equation (1) is a cubic equation with real coefficients and roots α,β,γ.
Now, let Sr=αr+βr+γr ( r is a positive integer), then to prove that for all positive integers r, Fr=0, it suffices to prove that for all positive integers r, Sr is real. The following proof uses mathematical induction to show that Sr is real.
Given F1=F2=0, so S1=α+β+γ,S2=α2+β2+γ2 are both real, and S0=α0+β0+γ0=3 is also real. If Sr−2,Sr−1,Sr are all real, then for Sr+1, since α,β,γ satisfy equation (1), we have the equation
Sr+1−aSr+bSr−1−cSr−2=0
which implies Sr+1=aSr−bSr−1+cSr−2.
Since a,b,c are all real, and Sr,Sr−1,Sr−2 are all real, it follows from the above equation that Sr+1 is also real.
Therefore, for all positive integers r, Fr=0.