Maths Olympiad Prep

Library / /5 of 13

Geometry Difficulty 6.3 National olympiad Find the answer

A convex hexagon ABCDEFA B C D E F is inscribed in a circle. Prove the inequality ACBDCEDFAEBF27ABBCCDDEEFFAA C \cdot B D \cdot C E \cdot D F \cdot A E \cdot B F \geq 27 A B \cdot B C \cdot C D \cdot D E \cdot E F \cdot F A.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Let d1=ABBCCDDEEFFA,d2=ACBDCEDFAEBF,d3=ADBECFd_{1}=A B \cdot B C \cdot C D \cdot D E \cdot E F \cdot F A, d_{2}=A C \cdot B D \cdot C E \cdot D F \cdot A E \cdot B F, d_{3}=A D \cdot B E \cdot C F. Applying Ptolemy's theorem to quadrilaterals ABCD,BCDE,CDEF,DEFA,EFAB,FABCA B C D, B C D E, C D E F, D E F A, E F A B, F A B C, we obtain six equations ACBDABCD=BCAD,,FBACFABC=ABFCA C \cdot B D-A B \cdot C D=B C \cdot A D, \ldots, F B \cdot A C-F A \cdot B C=A B \cdot F C. Putting these equations in the well-known inequality (a1b1)(a2b2)(a6b6)6a1a2a66b1b2b66(aibi>0,i=1,,6)\sqrt[6]{\left(a_{1}-b_{1}\right)\left(a_{2}-b_{2}\right) \cdot \ldots \cdot\left(a_{6}-b_{6}\right)} \leq \sqrt[6]{a_{1} a_{2} \ldots a_{6}}-\sqrt[6]{b_{1} b_{2} \ldots b_{6}} \quad\left(a_{i} \geq b_{i}>0, i=1, \ldots, 6\right) we get d33d16d23d13(1)\sqrt[3]{d_{3}} \sqrt[6]{d_{1}} \leq \sqrt[3]{d_{2}}-\sqrt[3]{d_{1}} \tag{1} Applying Ptolemy's theorem to quadrilaterals ACDF,ABDEA C D F, A B D E и BCEFB C E F, we obtain three equations ADCF=ACDF+AFCD,ADBE=BDAE+ABDE,BECF=BFCE+BCEFA D \cdot C F=A C \cdot D F+A F \cdot C D, A D \cdot B E=B D \cdot A E+A B \cdot D E, B E \cdot C F=B F \cdot C E+B C \cdot E F. Putting these equations in the well-known inequality (a1+b1)(a2+b2)(a3+b3)3a1a2a33+b1b2b33(ai>0,bi>0,i=1,2,3)\sqrt[3]{\left(a_{1}+b_{1}\right)\left(a_{2}+b_{2}\right)\left(a_{3}+b_{3}\right)} \geq \sqrt[3]{a_{1} a_{2} a_{3}}+\sqrt[3]{b_{1} b_{2} b_{3}}\left(a_{i}>0, b_{i}>0, i=1,2,3\right) we get d323d23+d13(2)\sqrt[3]{d_{3}^{2}} \geq \sqrt[3]{d_{2}}+\sqrt[3]{d_{1}} \tag{2} It follows from (1) and (2) that (d23d13)2d13(d23+d13)(\sqrt[3]{d_{2}}-\sqrt[3]{d_{1}})^{2} \geq \sqrt[3]{d_{1}}(\sqrt[3]{d_{2}}+\sqrt[3]{d_{1}}), that is, d233d13\sqrt[3]{d_{2}} \geq 3 \sqrt[3]{d_{1}} and d227d1d_{2} \geq 27 d_{1}, q.e.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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.