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 4 of 5: Bound the position on the circle
P3P5=12P1P3sin⁡2∠P1P_3P_5=\frac12P_1P_3\sin2\angle P_1
Detailed analysis

Writing the relevant angles of P1P2P3P_1P_2P_3 as ∠P1\angle P_1 and ∠P2\angle P_2, the construction gives P3P5=P3P1sin⁡∠P1cos⁡∠P2=(1/2)P3P1sin⁡2∠P1P_3P_5=P_3P_1\sin\angle P_1\cos\angle P_2=(1/2)P_3P_1\sin2\angle P_1. Hence ∣P3P5∣≤P1P3/2|P_3P_5|\le P_1P_3/2; both signs occur as P2P_2 moves on either side of P3P_3.