Maths Olympiad Prep

Library / /431 of 520

Algebra Difficulty 7.3 National olympiad, round 2 Prove it

4.93 Let Fr=xrsin(rA)+yrsin(rB)+zrsin(rC) F_{r}=x^{r} \sin (r A)+y^{r} \sin (r B)+z^{r} \sin (r C) , where x,y,z x, y, z , and A,B,C A, B, C are real numbers, and A+B+C A+B+C is an integer multiple of π \pi . Prove that if F1=F2=0 F_{1}=F_{2}=0 , then for all positive integers r r , Fr=0 F_{r}=0 .

Solution

[Proof] Let the complex numbers α=x(cosA+isinA),β=y(cosB+isinB)\alpha=x(\cos A+i \sin A), \beta=y(\cos B+i \sin B), γ=z(cosC+isinC)\gamma=z(\cos C+i \sin C). Suppose α,β,γ\alpha, \beta, \gamma are the roots of the cubic equation
u3au2+buc=0u^{3}-a u^{2}+b u-c=0

By Vieta's formulas, we have:
a=α+β+γ=xcosA+ycosB+zcosC+iF1= real, b=αβ+βγ+γα=12[(α+β+γ)2(α2+β2+γ2)]=12[a2(x2cos2A+y2cos2B+z2cos2C+iF2)]=12[a2x2cos2Ay2cos2Bz2cos2C]= real c=αβγ=xyz[cos(A+B+C)+isin(A+B+C)]=±xyz= real, \begin{aligned} a & =\alpha+\beta+\gamma=x \cos A+y \cos B+z \cos C+i F_{1}=\text { real, } \\ b & =\alpha \beta+\beta \gamma+\gamma \alpha \\ & =\frac{1}{2}\left[(\alpha+\beta+\gamma)^{2}-\left(\alpha^{2}+\beta^{2}+\gamma^{2}\right)\right] \\ & =\frac{1}{2}\left[a^{2}-\left(x^{2} \cos 2 A+y^{2} \cos 2 B+z^{2} \cos 2 C+i F_{2}\right)\right] \\ & =\frac{1}{2}\left[a^{2}-x^{2} \cos 2 A-y^{2} \cos 2 B-z^{2} \cos 2 C\right]=\text { real } \\ c & =\alpha \beta \gamma=x y z[\cos (A+B+C)+i \sin (A+B+C)] \\ & = \pm x y z=\text { real, } \end{aligned}

It is evident that equation (1) is a cubic equation with real coefficients and roots α,β,γ\alpha, \beta, \gamma.
Now, let Sr=αr+βr+γrS_{r}=\alpha^{r}+\beta^{r}+\gamma^{r} ( rr is a positive integer), then to prove that for all positive integers rr, Fr=0F_{r}=0, it suffices to prove that for all positive integers rr, SrS_{r} is real. The following proof uses mathematical induction to show that SrS_{r} is real.

Given F1=F2=0F_{1}=F_{2}=0, so S1=α+β+γ,S2=α2+β2+γ2S_{1}=\alpha+\beta+\gamma, S_{2}=\alpha^{2}+\beta^{2}+\gamma^{2} are both real, and S0=α0+β0+γ0=3S_{0}=\alpha^{0}+\beta^{0}+\gamma^{0}=3 is also real. If Sr2,Sr1,SrS_{r-2}, S_{r-1}, S_{r} are all real, then for Sr+1S_{r+1}, since α,β,γ\alpha, \beta, \gamma satisfy equation (1), we have the equation
Sr+1aSr+bSr1cSr2=0S_{r+1}-a S_{r}+b S_{r-1}-c S_{r-2}=0

which implies Sr+1=aSrbSr1+cSr2S_{r+1}=a S_{r}-b S_{r-1}+c S_{r-2}.
Since a,b,ca, b, c are all real, and Sr,Sr1,Sr2S_{r}, S_{r-1}, S_{r-2} are all real, it follows from the above equation that Sr+1S_{r+1} is also real.

Therefore, for all positive integers rr, Fr=0F_{r}=0.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.