MathDB
orthocentre gives an altitude

Source: 239 2017 S1

May 22, 2020
geometry

Problem Statement

On the side ACAC of triangle ABCABC point DD is chosen. Let I1,I2,II_1, I_2, I be the incenters of triangles ABD,BCD,ABCABD, BCD, ABC respectively. It turned out that II is the orthocentre of triangle I1I2BI_1I_2B. Prove that BDBD is an altitude of triangle ABCABC.