olymmath

USAMO 2007 Problem 6

  • Day 2

Let ABCABC be an acute triangle with ω,S\omega,S , and RR being its incircle, circumcircle, and circumradius, respectively. Circle ωA\omega_{A} is tangent internally to SS at AA and tangent externally to ω\omega . Circle SAS_{A} is tangent internally to SS at AA and tangent internally to ω\omega . Let PAP_{A} and QAQ_{A} denote the centers of ωA\omega_{A} and SAS_{A} , respectively. Define points PB,QB,PC,QCP_{B}, Q_{B}, P_{C}, Q_{C} analogously. Prove that 8PAQA⋅PBQB⋅PCQC≤R3,8P_{A}Q_{A}\cdot P_{B}Q_{B}\cdot P_{C}Q_{C}\leq R^{3} , with equality if and only if triangle ABCABC is equilateral.

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Locator usamo/2007/p6 · Tag TGRQHHRN7B · Edit this page on GitHub · Keys: j next, k previous