Let ABCDE be a pentagon with A=B=C=D=120∘. Prove that 4AC⋅BD≥3AE⋅ED.
Solution
It is clear that AB∥ED and AE∥CD. Let F be the intersection point of lines AB and CD. The inequality is equivalent to AFAC⋅FDBD≥43.(1) Using the Law of Sines in triangles ACF and BDF, we get that (1) is equivalent to 23⋅sinACF3⋅sinDBF3≥43, so sinACF⋅sinDBF≤1, which is clearly true. We have equality if and only if ACF=DBF=90∘, hence BC=AB=CD=BF=CF. This means AEDF is a rhombus, and B and C are the midpoints of AF and DF respectively.
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: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.