Maths Olympiad Prep

Track / Stage 7 / 242 of 300 #1642 of 1964

Problem 1642

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.5 Find the answer

Triangle A1A2A3A_1 A_2 A_3 has a right angle at A3A_3. A sequence of points is now defined by the following iterative process, where nn is a positive integer. From AnA_n (n3n \geq 3), a perpendicular line is drawn to meet An2An1A_{n-2}A_{n-1} at An+1A_{n+1}.
(a) Prove that if this process is continued indefinitely, then one and only one point PP is interior to every triangle An2An1AnA_{n-2} A_{n-1} A_{n}, n3n \geq 3.
(b) Let A1A_1 and A3A_3 be fixed points. By considering all possible locations of A2A_2 on the plane, find the locus of PP.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Official solution

### Part (a)

1. Define the Skew-Center:
For a right triangle ABC \triangle ABC with a right angle at C C , the skew-center is defined as the second intersection of the circles with diameters AC AC and BD BD , where D D is the foot of the altitude from C C .

2. Lemma:
The skew-center of a right triangle lies inside the triangle. This can be shown by angle chasing, but we will assume it as given.

3. Base Case:
Let P P be the skew-center of A1A2A3 \triangle A_1A_2A_3 . We need to show that P P is the skew-center of An2An1An \triangle A_{n-2}A_{n-1}A_n for all n3 n \geq 3 .

4. Inductive Step:
Assume P P is the skew-center of Ak2Ak1Ak \triangle A_{k-2}A_{k-1}A_k . By definition, P P lies on the circles with diameters Ak2Ak A_{k-2}A_k and Ak1Ak+1 A_{k-1}A_{k+1} .

5. Angle Calculation:
Since Ak+2 A_{k+2} lies on the circle with diameter Ak1Ak+1 A_{k-1}A_{k+1} , we have:
AkPAk+2=2πAk+1PAk+2AkPAk+1 \angle A_kPA_{k+2} = 2\pi - \angle A_{k+1}PA_{k+2} - \angle A_kPA_{k+1}
Using the fact that Ak+1PAk+2 \angle A_{k+1}PA_{k+2} and AkPAk+1 \angle A_kPA_{k+1} are supplementary, we get:
AkPAk+2=(πAk+1PAk+2)+(πAkPAk+1)=Ak+1Ak+Ak+1Ak1Ak2=π2 \angle A_kPA_{k+2} = (\pi - \angle A_{k+1}PA_{k+2}) + (\pi - \angle A_kPA_{k+1}) = \angle A_{k+1}A_k + \angle A_{k+1}A_{k-1}A_{k-2} = \frac{\pi}{2}
Thus, P P lies on the circle with diameter AkAk+2 A_kA_{k+2} .

6. Conclusion:
Since P P lies on both circles, it is the skew-center of Ak1AkAk+1 \triangle A_{k-1}A_kA_{k+1} . By induction, P P is the skew-center of all triangles An2An1An \triangle A_{n-2}A_{n-1}A_n .

7. Uniqueness:
As the side lengths of An2An1An \triangle A_{n-2}A_{n-1}A_n tend to zero as n n \to \infty , any other point Q Q would eventually be outside the triangle, proving P P is unique.

\blacksquare

### Part (b)

1. **Locus of P P :**
By definition, the locus of P P is a subset of the circle with diameter A1A3 A_1A_3 , excluding A1 A_1 and A3 A_3 .

2. Brocard Angle:
By similarity of triangles A1A2A3 \triangle A_1A_2A_3 and A3A4A5 \triangle A_3A_4A_5 , and the fact that P P is the skew-center, we have:
PA1A3=PA3A5=PA3A2 \angle PA_1A_3 = \angle PA_3A_5 = \angle PA_3A_2
Similarly, from A3A4A5 \triangle A_3A_4A_5 and A5A6A7 \triangle A_5A_6A_7 , we get:
PA3A5=PA5A7 \angle PA_3A_5 = \angle PA_5A_7
Since PA5A2A4 PA_5A_2A_4 is cyclic, we have:
PA5A7=PA2A1 \angle PA_5A_7 = \angle PA_2A_1
Thus, PA1A3=PA3A2=PA2A1=ω \angle PA_1A_3 = \angle PA_3A_2 = \angle PA_2A_1 = \omega , the Brocard angle of A1A2A3 \triangle A_1A_2A_3 .

3. Brocard Angle Calculation:
cotω=cotA3+cotA1+cotA2=0+cotA1+1cotA12    tanω12    ωarctan12 \cot \omega = \cot A_3 + \cot A_1 + \cot A_2 = 0 + \cot A_1 + \frac{1}{\cot A_1} \geq 2 \implies \tan \omega \leq \frac{1}{2} \implies \omega \leq \arctan \frac{1}{2}
Equality can be achieved, and A2 A_2 can lie on either side of A1A3 A_1A_3 .

4. Final Locus:
The desired locus is an arc of the circle with diameter A1A3 A_1A_3 subtending an angle of 2arctan12 2\arctan \frac{1}{2} at A1 A_1 , excluding A3 A_3 .

Locus of P is an arc of the circle with diameter A1A3 subtending an angle of 2arctan12 at A1, excluding A3. \boxed{\text{Locus of } P \text{ is an arc of the circle with diameter } A_1A_3 \text{ subtending an angle of } 2\arctan \frac{1}{2} \text{ at } A_1, \text{ excluding } A_3.}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.