MathDB
HMMT Team 2019/6: A real geometry problem

Source:

February 17, 2019
HMMTgeometry

Problem Statement

Scalene triangle ABCABC satisfies A=60\angle A = 60^{\circ}. Let the circumcenter of ABCABC be OO, the orthocenter be HH, and the incenter be II. Let DD, TT be the points where line BCBC intersects the internal and external angle bisectors of A\angle A, respectively. Choose point XX on the circumcircle of IHO\triangle IHO such that HXAIHX \parallel AI. Prove that ODTXOD \perp TX.