GeometryDifficulty 6.3National olympiadFind the answer
A convex hexagon ABCDEF is inscribed in a circle. Prove the inequality AC⋅BD⋅CE⋅DF⋅AE⋅BF≥27AB⋅BC⋅CD⋅DE⋅EF⋅FA.
A number or a short expression. Spacing and $ signs are ignored.
Solution
Let d1=AB⋅BC⋅CD⋅DE⋅EF⋅FA,d2=AC⋅BD⋅CE⋅DF⋅AE⋅BF,d3=AD⋅BE⋅CF. Applying Ptolemy's theorem to quadrilaterals ABCD,BCDE,CDEF,DEFA,EFAB,FABC, we obtain six equations AC⋅BD−AB⋅CD=BC⋅AD,…,FB⋅AC−FA⋅BC=AB⋅FC. Putting these equations in the well-known inequality 6(a1−b1)(a2−b2)⋅…⋅(a6−b6)≤6a1a2…a6−6b1b2…b6(ai≥bi>0,i=1,…,6) we get 3d36d1≤3d2−3d1(1) Applying Ptolemy's theorem to quadrilaterals ACDF,ABDE и BCEF, we obtain three equations AD⋅CF=AC⋅DF+AF⋅CD,AD⋅BE=BD⋅AE+AB⋅DE,BE⋅CF=BF⋅CE+BC⋅EF. Putting these equations in the well-known inequality 3(a1+b1)(a2+b2)(a3+b3)≥3a1a2a3+3b1b2b3(ai>0,bi>0,i=1,2,3) we get 3d32≥3d2+3d1(2) It follows from (1) and (2) that (3d2−3d1)2≥3d1(3d2+3d1), that is, 3d2≥33d1 and d2≥27d1, 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.