Maths Olympiad Prep

Library / USA IMO /8 of 29

USA IMO

Geometry Difficulty 8.0 National Olympiad, round 2 Prove it United States

Let ABCDABCD be a quadrilateral circumscribed about a circle, whose interior and exterior angles are at least 60∘60^{\circ}. Prove that
13∣AB3−AD3∣≤∣BC3−CD3∣≤3∣AB3−AD3∣. \frac{1}{3} |AB^3 - AD^3| \leq |BC^3 - CD^3| \leq 3|AB^3 - AD^3|.
When does equality hold?

Solution

By symmetry, we only need to prove the first inequality.
Because quadrilateral ABCDABCD has an incircle, we have AB+CD=BC+ADAB + CD = BC + AD, or AB−AD=BC−CDAB - AD = BC - CD. It suffices to prove that
13(AB2+AB⋅AD+AD2)≤BC2+BC⋅CD+CD2. \frac{1}{3}(AB^2 + AB \cdot AD + AD^2) \leq BC^2 + BC \cdot CD + CD^2.
By the given condition, 60∘≤∠A,∠C≤120∘60^{\circ} \leq \angle A, \angle C \leq 120^{\circ}, and so 12≥cos⁡A,cos⁡C≥−12\frac{1}{2} \geq \cos A, \cos C \geq -\frac{1}{2}. Applying the Law of Cosines to triangle ABDABD yields
BD2=AB2−2AB⋅ADcos⁡A+AD2≥AB2−AB⋅AD+AD2≥13(AB2+AB⋅AD+AD2). \begin{aligned} BD^2 &= AB^2 - 2AB \cdot AD \cos A + AD^2 \\ &\geq AB^2 - AB \cdot AD + AD^2 \\ &\geq \frac{1}{3}(AB^2 + AB \cdot AD + AD^2). \end{aligned}
The last inequality is equivalent to the inequality 3AB2−3AB⋅AD+3AD2≥AB2+AB⋅AD+AD23AB^2 - 3AB \cdot AD + 3AD^2 \geq AB^2 + AB \cdot AD + AD^2, or AB2−2AB⋅AD+AD2≥0AB^2 - 2AB \cdot AD + AD^2 \geq 0, which is evident. The last equality holds if and only if AB=ADAB = AD.

On the other hand, applying the Law of Cosines to triangle BCDBCD yields
BD2=BC2−2BC⋅CDcos⁡C+CD2≤BC2+BC⋅CD+CD2. BD^2 = BC^2 - 2BC \cdot CD \cos C + CD^2 \leq BC^2 + BC \cdot CD + CD^2.
Combining the last two inequalities gives the desired result.

For the given inequalities to have equality, we must have AB=ADAB = AD. This condition is also sufficient, because all the entries in the equalities are 0. Thus, equality holds if and only if ABCDABCD is a kite with AB=ADAB = AD and BC=CDBC = CD.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.