AlgebraDifficulty 7.4National olympiad, round 2Prove it
Example 18 Let a,b,c,d be positive real numbers, satisfying ab+cd=1. Points Pi(xi,yi)(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(aba2+b2+cdc2+d2)
Solution
Prove that let α=ay1+by2+cy3+dy4,β=ax4+bx3+cx2+dx1, by the Cauchy-Schwarz inequality, we get α2=⩽=(ay1+by2+cy3+dy4)2[(ady1)2+(bcy2)2+(bcy3)2+(ady4)2](da)2+(cb)2+(bc)2+(ad)2(ady12+bcy22+bcy32+ady42)⋅(da+cb+bc+ad)
Similarly, we get β2⩽(adx42+bcx32+bcx22+adx12)⋅(da+cb+bc+ad).
Adding them together and using xi2+yi2=1(i=1,2,3,4),ab+cd=1, we get α2+β2⩽(2ad+2bc)(da+cb+bc+ad)=2(ad+bc)(bdab+cd+acab+cd)=2(ad+bc)(bd1+ac1)=2(aba2+b2+cdc2+d2)
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.