Maths Olympiad Prep

Library / /446 of 520

Algebra Difficulty 7.4 National olympiad, round 2 Prove it

Example 18 Let a,b,c,da, b, c, d be positive real numbers, satisfying ab+cd=1ab + cd = 1. Points Pi(xi,yi)(i=1,2,3,4)P_{i}(x_{i}, y_{i}) (i=1, 2, 3, 4) are four points on the unit circle centered at the origin. Prove:
(ay1+by2+cy3+dy4)2+(ax4+bx3+cx2+dx1)22(a2+b2ab+c2+d2cd)\begin{aligned} & \left(a y_{1} + b y_{2} + c y_{3} + d y_{4}\right)^{2} + \left(a x_{4} + b x_{3} + c x_{2} + d x_{1}\right)^{2} \\ \leqslant & 2\left(\frac{a^{2} + b^{2}}{ab} + \frac{c^{2} + d^{2}}{cd}\right) \end{aligned}

Solution

Prove that let α=ay1+by2+cy3+dy4,β=ax4+bx3+cx2+dx1\alpha=a y_{1}+b y_{2}+c y_{3}+d y_{4}, \beta=a x_{4}+b x_{3}+c x_{2}+d x_{1}, by the Cauchy-Schwarz inequality, we get
α2=(ay1+by2+cy3+dy4)2[(ady1)2+(bcy2)2+(bcy3)2+(ady4)2][(ad)2+(bc)2+(cb)2+(da)2]=(ady12+bcy22+bcy32+ady42)(ad+bc+cb+da)\begin{aligned} \alpha^{2}= & \left(a y_{1}+b y_{2}+c y_{3}+d y_{4}\right)^{2} \\ \leqslant & {\left[\left(\sqrt{a d} y_{1}\right)^{2}+\left(\sqrt{b c} y_{2}\right)^{2}+\left(\sqrt{b c} y_{3}\right)^{2}+\left(\sqrt{a d} y_{4}\right)^{2}\right] } \\ & {\left[\left(\sqrt{\frac{a}{d}}\right)^{2}+\left(\sqrt{\frac{b}{c}}\right)^{2}+\left(\sqrt{\frac{c}{b}}\right)^{2}+\left(\sqrt{\frac{d}{a}}\right)^{2}\right] } \\ = & \left(a d y_{1}^{2}+b c y_{2}^{2}+b c y_{3}^{2}+a d y_{4}^{2}\right) \cdot\left(\frac{a}{d}+\frac{b}{c}+\frac{c}{b}+\frac{d}{a}\right) \end{aligned}

Similarly, we get
β2(adx42+bcx32+bcx22+adx12)(ad+bc+cb+da).\beta^{2} \leqslant\left(a d x_{4}^{2}+b c x_{3}^{2}+b c x_{2}^{2}+a d x_{1}^{2}\right) \cdot\left(\frac{a}{d}+\frac{b}{c}+\frac{c}{b}+\frac{d}{a}\right) .

Adding them together and using xi2+yi2=1(i=1,2,3,4),ab+cd=1x_{i}^{2}+y_{i}^{2}=1(i=1,2,3,4), a b+c d=1, we get
α2+β2(2ad+2bc)(ad+bc+cb+da)=2(ad+bc)(ab+cdbd+ab+cdac)=2(ad+bc)(1bd+1ac)=2(a2+b2ab+c2+d2cd)\begin{aligned} \alpha^{2}+\beta^{2} & \leqslant(2 a d+2 b c)\left(\frac{a}{d}+\frac{b}{c}+\frac{c}{b}+\frac{d}{a}\right) \\ & =2(a d+b c)\left(\frac{a b+c d}{b d}+\frac{a b+c d}{a c}\right) \\ & =2(a d+b c)\left(\frac{1}{b d}+\frac{1}{a c}\right) \\ & =2\left(\frac{a^{2}+b^{2}}{a b}+\frac{c^{2}+d^{2}}{c d}\right) \end{aligned}

Thus, the proposition is proved.

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.