Maths Olympiad Prep

Library / /2 of 94

Geometry Difficulty 4.5 AIME Prove it Hong Kong

Let II and OO be the incentre and circumcentre of ABC\triangle ABC, respectively. Assume ABC\triangle ABC is not equilateral (so IOI \neq O). Prove that AIO90\angle AIO \leq 90^\circ if and only if 2BCAB+CA2BC \leq AB + CA.

Solution

Let AIAI meet (ABC)(ABC) again at DD. Recall that DB=DI=DCDB = DI = DC. Applying Ptolemy's theorem to ABCDABCD, we obtain
AD×BC=AB×CD+AC×BD=DI(AB+AC). AD \times BC = AB \times CD + AC \times BD = DI(AB + AC).
Note that AIO90\angle AIO \le 90^\circ if and only if AIIDAI \ge ID. This is equivalent to
2ADDI=AB+ACBC. 2 \le \frac{AD}{DI} = \frac{AB + AC}{BC}.
This holds if and only if 2BCAB+AC2BC \le 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.