Is there a scalene triangle ABC similar to triangle IHO, where I, H, O are the incenter, orthocenter, and circumcenter, respectively, of triangle ABC?
Solution
Since ABC is a scalene triangle, we may assume without loss of generality that ∠A>∠B>∠C. In fact, we can prove that ∠OIH>∠A.
Claim.A,H lie on the same side of OI.
Proof. Let M be the second intersection point of AI with the circumcircle ⊙(ABC), let J be the A-excenter of △ABC, and let S be the intersection point of OI and AH. The Incenter/Excenter Lemma (Fact 5) tells us that M is the midpoint of IJ. Considering the projections FI,FM,FJ of I,M,Ia onto AB, we have IAMI=FIAFMFI=21⋅FIAFJFI=21⋅(b+c−a)/2a=b+c−aa, where a=BC,b=CA,c=AB are the three side lengths of triangle ABC. Therefore AH=2cos∠BAC⋅OM=bcb2+c2−a2⋅(IAMI⋅AS)=bc(b+c−a)a(b2+c2−a2)⋅AS. Therefore, A,H lie on the same side of OI if and only if 1>bc(b+c−a)a(b2+c2−a2)⟺bc(b+c−a)>a(b2+c2−a)⟺(a−b)(a−c)(a+b+c)>0, and this is clearly true (since a>b>c). □
Returning to the original problem. Since O,M lie on the same side of AH, O,I also lie on the same side of AH, therefore ∠OIH=∠OSH+∠SHI>∠OSH=∠IOM.(♠) Combining the fact that I,O lie on the same side of BM together with ∠MBO=90∘−21∠A=21(∠B+∠C)<21(∠A+∠B)=∠BMI, we obtain that I,M lie on opposite sides of BO. Combining this further with the fact that B,I lie on the same side of MO and with (♠), we obtain ∠OIH>∠IOM>∠BOM=∠A. Therefore, there does not exist a scalene triangle ABC such that triangle ABC is similar to triangle IOH. □
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.