MathLabs

Problem 4

Let triangle ABCABC with incenter II satisfy AB<AC<BCAB<AC<BC. Let XX be a point on line BCBC, different from CC, such that the line through XX parallel to ACAC is tangent to the incircle. Similarly, let YY be a point on line BCBC, different from BB, such that the line through YY parallel to ABAB is tangent to the incircle. Line AIAI intersects the circumcircle of triangle ABCABC again at PP. Let KK and LL be the midpoints of ACAC and ABAB, respectively. Prove that ∠KIL+∠YPX=180∘\angle KIL+\angle YPX=180^\circ.
Step 3 of 4: T lies on line AP, giving two cyclic quadrilaterals
In plain words

Since T is the reflection of A over I, it automatically lies on the same line AI that produces P on the circumcircle, so any angle at P towards A is secretly also an angle at P towards T; combined with the parallel line TY, this chases into a clean cyclic quadrilateral.

A,I,T,P collinear;∠TYC=∠ABC=∠APC=∠TPCA,I,T,P\ \text{collinear};\qquad \angle TYC=\angle ABC=\angle APC=\angle TPC
Detailed analysis

Since T=2I−AT=2I-A lies on line AIAI, and PP is by definition the second intersection of line AIAI with the circumcircle, the four points A,I,T,PA,I,T,P are collinear, so line PTPT is the same as line PAPA. Since B,Y,CB,Y,C are collinear and TY∥ABTY\parallel AB (Step 2), ∠TYC=∠TYB=∠ABC\angle TYC=\angle TYB=\angle ABC (directed angles, using that line BCBC is a single line through YY). Since ABPCABPC is cyclic and B,PB,P lie on the same arc relative to chord ACAC, ∠ABC=∠APC\angle ABC=\angle APC; and because TT lies on line PAPA, ∠APC=∠TPC\angle APC=\angle TPC. Hence ∠TYC=∠TPC\angle TYC=\angle TPC, so T,Y,P,CT,Y,P,C are concyclic. The symmetric argument using TX∥ACTX\parallel AC gives ∠TXB=∠ACB=∠APB=∠TPB\angle TXB=\angle ACB=\angle APB=\angle TPB, so T,X,P,BT,X,P,B are concyclic as well.