Maths Olympiad Prep

Library / /172 of 397

, 2023

Geometry Difficulty 5.7 AIME, harder Prove it Taiwan

Is there a scalene triangle ABCABC similar to triangle IHOIHO, where II, HH, OO are the incenter, orthocenter, and circumcenter, respectively, of triangle ABCABC?

Solution

Since ABCABC is a scalene triangle, we may assume without loss of generality that A>B>C\angle A > \angle B > \angle C. In fact, we can prove that OIH>A\angle OIH > \angle A.

Claim. A,HA, H lie on the same side of OIOI.

Proof. Let MM be the second intersection point of AIAI with the circumcircle (ABC)\odot(ABC), let JJ be the AA-excenter of ABC\triangle ABC, and let SS be the intersection point of OIOI and AHAH. The Incenter/Excenter Lemma (Fact 5) tells us that MM is the midpoint of IJIJ. Considering the projections FI,FM,FJF_I, F_M, F_J of I,M,IaI, M, I_a onto ABAB, we have
MIIA=FMFIFIA=12FJFIFIA=12a(b+ca)/2=ab+ca, \frac{MI}{IA} = \frac{F_M F_I}{F_I A} = \frac{1}{2} \cdot \frac{F_J F_I}{F_I A} = \frac{1}{2} \cdot \frac{a}{(b+c-a)/2} = \frac{a}{b+c-a},
where a=BC,b=CA,c=ABa = BC, b = CA, c = AB are the three side lengths of triangle ABCABC. Therefore
AH=2cosBACOM=b2+c2a2bc(MIIAAS)=a(b2+c2a2)bc(b+ca)AS. \overrightarrow{AH} = 2 \cos \angle BAC \cdot \overrightarrow{OM} = \frac{b^2 + c^2 - a^2}{bc} \cdot \left( \frac{MI}{IA} \cdot \overrightarrow{AS} \right) = \frac{a(b^2 + c^2 - a^2)}{bc(b+c-a)} \cdot \overrightarrow{AS}.
Therefore, A,HA, H lie on the same side of OIOI if and only if
1>a(b2+c2a2)bc(b+ca)    bc(b+ca)>a(b2+c2a)    (ab)(ac)(a+b+c)>0, \begin{aligned} 1 > \frac{a(b^2 + c^2 - a^2)}{bc(b+c-a)} & \iff bc(b+c-a) > a(b^2 + c^2 - a) \\ & \iff (a-b)(a-c)(a+b+c) > 0, \end{aligned}
and this is clearly true (since a>b>ca > b > c). \square

Returning to the original problem. Since O,MO, M lie on the same side of AHAH, O,IO, I also lie on the same side of AHAH, therefore
OIH=OSH+SHI>OSH=IOM.() \angle OIH = \angle OSH + \angle SHI > \angle OSH = \angle IOM. \qquad (\spadesuit)
Combining the fact that I,OI, O lie on the same side of BMBM together with
MBO=9012A=12(B+C)<12(A+B)=BMI, \angle MBO = 90^\circ - \frac{1}{2}\angle A = \frac{1}{2}(\angle B + \angle C) < \frac{1}{2}(\angle A + \angle B) = \angle BMI,
we obtain that I,MI, M lie on opposite sides of BOBO. Combining this further with the fact that B,IB, I lie on the same side of MOMO and with ()(\spadesuit), we obtain
OIH>IOM>BOM=A. \angle OIH > \angle IOM > \angle BOM = \angle A.
Therefore, there does not exist a scalene triangle ABCABC such that triangle ABCABC is similar to triangle IOHIOH. \square

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 translated into English from zh; metadata (topic, difficulty) added by this project.