altitudes and incenters lead to perpendicularity
Source: Cono Sur Shortlist 2009 G4
July 26, 2019
geometryperpendicularaltitudesincenter
Problem Statement
Let and be altitudes of an acute triangle . Let and be the incenters of the triangles and respectively. The and lines cut into . Prove that lines and are perpendicular.