Triangle has a right angle at . A sequence of points is now defined by the following iterative process, where is a positive integer. From (), a perpendicular line is drawn to meet at .
(a) Prove that if this process is continued indefinitely, then one and only one point is interior to every triangle , .
(b) Let and be fixed points. By considering all possible locations of on the plane, find the locus of .
Problem 1642
Official solution
### Part (a)
1. Define the Skew-Center:
For a right triangle with a right angle at , the skew-center is defined as the second intersection of the circles with diameters and , where is the foot of the altitude from .
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 be the skew-center of . We need to show that is the skew-center of for all .
4. Inductive Step:
Assume is the skew-center of . By definition, lies on the circles with diameters and .
5. Angle Calculation:
Since lies on the circle with diameter , we have:
Using the fact that and are supplementary, we get:
Thus, lies on the circle with diameter .
6. Conclusion:
Since lies on both circles, it is the skew-center of . By induction, is the skew-center of all triangles .
7. Uniqueness:
As the side lengths of tend to zero as , any other point would eventually be outside the triangle, proving is unique.
### Part (b)
1. **Locus of :**
By definition, the locus of is a subset of the circle with diameter , excluding and .
2. Brocard Angle:
By similarity of triangles and , and the fact that is the skew-center, we have:
Similarly, from and , we get:
Since is cyclic, we have:
Thus, , the Brocard angle of .
3. Brocard Angle Calculation:
Equality can be achieved, and can lie on either side of .
4. Final Locus:
The desired locus is an arc of the circle with diameter subtending an angle of at , excluding .