In a scalene triangle ABC let O be the circumcenter, I be the incenter and H be the orthocenter. The second intersection point of the circle which passes through O and is tangent to IH at I and the circle which passes through H and is tangent to IO at I is M. Show that M lies on the circumcircle of the triangle ABC.
Solution
First observe that ∠MHI=∠MIO and ∠MIH=∠MOI, hence the similarity MIH∼MOI; thus MI/MO=IH/IO. Now let N be the midpoint of the segment [OH] (so N is the center of the 9-point circle), and let S be the reflection of I over N. Thus SOIH is a parallelogram; therefore ∠IMO=∠HIO=∠IHS and IM/MO=IH/IO=IH/HS, which implies the similarity IMO∼IHS. Consequently MO=ISHS⋅IO=2⋅INIO2=2(R/2−r)R(R−2r)=R. Note: The equality IN=R/2−r is Feuerbach's theorem.
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 and solution reproduced as published; topic and difficulty added by this site.