MathLabs

Problem 3

Let P1,P2,P3,P4P_1,P_2,P_3,P_4 be four points on a circle. For each ii, let IiI_i be the incenter of the triangle formed by the other three points. Prove that I1,I2,I3,I4I_1,I_2,I_3,I_4 are the vertices of a rectangle.
Step 3 of 5: Use angle chasing to obtain the rectangle directions
Q1Q4∥Q2Q3,Q1Q2∥Q3Q4,Q1Q4⊥Q1Q2Q_1Q_4\parallel Q_2Q_3,\qquad Q_1Q_2\parallel Q_3Q_4,\qquad Q_1Q_4\perp Q_1Q_2
Detailed analysis

The angle equalities in the auxiliary circles give Q1Q4∥Q2Q3Q_1Q_4\parallel Q_2Q_3 and Q1Q2∥Q3Q4Q_1Q_2\parallel Q_3Q_4. The centers of successive auxiliary circles are arc midpoints on CC, and the corresponding center chords are perpendicular; hence Q1Q4⊥Q1Q2Q_1Q_4\perp Q_1Q_2.