MathDB
pentagon with A=B=C=D=120

Source:

May 15, 2010
trigonometrygeometry unsolvedgeometry

Problem Statement

Let ABCDEABCDE be a pentagon with A^=B^=C^=D^=120\hat{A}=\hat{B}=\hat{C}=\hat{D}=120^{\circ}. Prove that 4ACBD3AEED4\cdot AC \cdot BD\geq 3\cdot AE \cdot ED.