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 1 of 5: Show nesting and convergence
PnPn+1Pn+2⊂Pn−1PnPn+1P_nP_{n+1}P_{n+2}\subset P_{n-1}P_nP_{n+1}
Detailed analysis

The perpendicular-foot construction puts each triangle PnPn+1Pn+2P_nP_{n+1}P_{n+2} inside the preceding triangle Pn−1PnPn+1P_{n-1}P_nP_{n+1}. All these triangles are similar, while their sizes decrease to zero. The nested closed triangles therefore have one common point PP, and Pn→PP_n\to P.