Let be a cyclic quadrilateral such that the circles with diameters and touch at . If are the midpoints of , prove that the perpendicular through to meets on the circumcircle of .
Problem 1389
Official solution
1. Identify the given elements and their properties:
- is a cyclic quadrilateral.
- Circles with diameters and touch at .
- and are the midpoints of and , respectively.
- We need to prove that the perpendicular through to meets on the circumcircle of .
2. Define the intersections and homothety:
- Let line and intersect the line through at and , respectively.
- Let be the intersection of the radical axes of the three circles.
- Since the circles are tangent at , they are homothetic with respect to .
3. Consider the intersections on the circumcircle:
- Let and intersect the circumcircle at points and , respectively.
- Since , we have a homothety centered at that maps to .
4. Establish the homothety relationships:
- Let .
- By the power of a point theorem, we have .
- We need to show that .
5. **Use the homothety centered at :**
- Since , there is a homothety centered at that maps to and to .
- Therefore, .
6. Relate the segments using parallel lines:
- Similarly, since , we have .
7. Combine the ratios to prove the desired equality:
- From the above ratios, we get .
- This implies , as desired.
8. Conclude the proof:
- Since , the perpendicular through to meets on the circumcircle of .