MathDB
AI perpendicular to PQ and AI=PQ

Source: INMO Problem 5

January 15, 2017
geometry

Problem Statement

Let ABCABC be a triangle with A=90\angle{A}=90^{\circ} and AB<ACAB<AC. Let ADAD be the altitude from AA on to BCBC, Let P,QP,Q and II denote respectively the incentres of triangle ABD,ACDABD,ACD and ABCABC. Prove that AIAI is perpendicular to PQPQ and AI=PQAI=PQ.