Maths Olympiad Prep

Track / Stage 7 / 274 of 300 #1674 of 1964

Problem 1674

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 (n≥3n \geq 3), a perpendicular line is drawn to meet An−2An−1A_{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 An−2An−1AnA_{n-2} A_{n-1} A_{n}, n≥3n \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.

Next problem →

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 △An−2An−1An \triangle A_{n-2}A_{n-1}A_n for all n≥3 n \geq 3 .

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

5. Angle Calculation:
Since Ak+2 A_{k+2} lies on the circle with diameter Ak−1Ak+1 A_{k-1}A_{k+1} , we have:
∠AkPAk+2=2π−∠Ak+1PAk+2−∠AkPAk+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+1Ak−1Ak−2=π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 △Ak−1AkAk+1 \triangle A_{k-1}A_kA_{k+1} . By induction, P P is the skew-center of all triangles △An−2An−1An \triangle A_{n-2}A_{n-1}A_n .

7. Uniqueness:
As the side lengths of △An−2An−1An \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⁡ω=cot⁡A3+cot⁡A1+cot⁡A2=0+cot⁡A1+1cot⁡A1≥2  ⟹  tan⁡ω≤12  ⟹  ω≤arctan⁡12 \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 2arctan⁡12 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 2arctan⁡12 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 reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.