MathDB
altitudes and incenters lead to perpendicularity

Source: Cono Sur Shortlist 2009 G4

July 26, 2019
geometryperpendicularaltitudesincenter

Problem Statement

Let AA1AA _1 and CC1CC_1 be altitudes of an acute triangle ABCABC. Let II and JJ be the incenters of the triangles AA1CAA_1C and AC1CAC_1C respectively. The C1JC_1J and A1IA_1 I lines cut into TT. Prove that lines ATAT and TCTC are perpendicular.