Let I and O be the incentre and circumcentre of △ABC, respectively. Assume △ABC is not equilateral (so I=O). Prove that ∠AIO≤90∘ if and only if 2BC≤AB+CA.
Solution
Let AI meet (ABC) again at D. Recall that DB=DI=DC. Applying Ptolemy's theorem to ABCD, we obtain AD×BC=AB×CD+AC×BD=DI(AB+AC). Note that ∠AIO≤90∘ if and only if AI≥ID. This is equivalent to 2≤DIAD=BCAB+AC. This holds if and only if 2BC≤AB+AC as desired.
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.