Problem 3
Let be a triangle. The bisector of angle meets segment at and the circumcircle at . Let , and define similarly. Prove that , with equality if and only if the triangle is equilateral.
Step 5 of 5: Check equality
Detailed analysis
Equality requires all three AM-GM factors and all three sine bounds to be equalities. The equations force , and an equilateral triangle indeed gives equality.