MathLabs

Problem 4

Let P1P_1 and P3P_3 be fixed points. Let P2P_2 lie on the line through P3P_3 perpendicular to P1P3P_1P_3. Define Pn+1P_{n+1} as the foot of the perpendicular from PnP_n to Pn−1Pn−2P_{n-1}P_{n-2}. Show that the sequence converges to a point PP, and determine the locus of PP as P2P_2 varies.
Step 3 of 5: Locate PP on a circle
P3P4P5∼P1P2P3,P1P⊥P3PP_3P_4P_5\sim P_1P_2P_3,\qquad P_1P\perp P_3P
Detailed analysis

The triangle P3P4P5P_3P_4P_5 is obtained from P1P2P3P_1P_2P_3 by a quarter-turn about PP. It sends the line P1P5P_1P_5 to the perpendicular through P3P_3, so P1P⊥P3PP_1P\perp P_3P. Thus PP lies on the circle with diameter P1P3P_1P_3.