Maths Olympiad Prep

Library / /323 of 520

Algebra Difficulty 6.7 National olympiad Prove it

Let ABCDA B C D be a convex quadrilateral with area SS. We denote a=AB,b=BC,c=CDa=A B, b=B C, c=C D and d=DAd=D A. For any permutation x,y,z,tx, y, z, t of a,b,c,da, b, c, d, show that

S12(xy+zt) S \leqslant \frac{1}{2}(x y+z t)

Solution

If xx and yy are adjacent, without loss of generality, we need to show that S12(ab+cd)S \leqslant \frac{1}{2}(a b+c d). This follows from SABC=12ABBCsinABC^12abS_{A B C}=\frac{1}{2} A B \cdot B C \cdot \sin \widehat{A B C} \leqslant \frac{1}{2} a b, and similarly SCDA12cdS_{C D A} \leqslant \frac{1}{2} c d. If xx and yy are opposite sides, we need to show that S12(ac+bd)S \leqslant \frac{1}{2}(a c+b d). Let AA^{\prime} be the symmetric point of AA with respect to the perpendicular bisector of [BD][B D]. Then BADB A^{\prime} D is isometric to DABD A B. We apply the above to ABCDA^{\prime} B C D, which gives S=SBAD+SBCD=SBAD+SBCD=SABCD12(ABBC+S=S_{B A D}+S_{B C D}=S_{B A^{\prime} D}+S_{B C D}=S_{A^{\prime} B C D} \leqslant \frac{1}{2}\left(A^{\prime} B \cdot B C+\right. CDDA)=12(ac+bd)\left.C D \cdot D A^{\prime}\right)=\frac{1}{2}(a c+b d).

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.