一道IMO试题的证明及相关结论

摘要

cqvip:第41届IMO第6题是: 设AH1、BH2、CH3是锐角ABC的三条高线.ABC的内切圆与边BC、CA、AB分别相切于点T1、T2、T3.设直线l1、l2、l3分别是直线H2H3、H3H1、H1H2关于直线T2T3、T3T1、T1T2的对称直线.证明:l1、l2、l3所确定的三角形,其顶点都在ABC的内切圆上.