Olympiad Maths Prep

Track / Stage 6 / 389 of 400 #1389 of 2000

Problem 1389

National olympiad, first round
Geometry Difficulty 6.9 Prove it

Let ABCDABCD be a cyclic quadrilateral such that the circles with diameters ABAB and CDCD touch at SS. If M,NM, N are the midpoints of AB,CDAB, CD, prove that the perpendicular through MM to MNMN meets CSCS on the circumcircle of ABCDABCD.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Identify the given elements and their properties:
- ABCDABCD is a cyclic quadrilateral.
- Circles with diameters ABAB and CDCD touch at SS.
- MM and NN are the midpoints of ABAB and CDCD, respectively.
- We need to prove that the perpendicular through MM to MNMN meets CSCS on the circumcircle of ABCDABCD.

2. Define the intersections and homothety:
- Let line CSCS and DSDS intersect the line through MM at XX and YY, respectively.
- Let II be the intersection of the radical axes of the three circles.
- Since the circles are tangent at SS, they are homothetic with respect to SS.

3. Consider the intersections on the circumcircle:
- Let CSCS and DSDS intersect the circumcircle (ASB)(ASB) at points JJ and KK, respectively.
- Since JKDCJK \parallel DC, we have a homothety centered at SS that maps JJ to KK.

4. Establish the homothety relationships:
- Let SKAB=PSK \cap AB = P.
- By the power of a point theorem, we have JPPS=APPBJP \cdot PS = AP \cdot PB.
- We need to show that JPPS=PXPCJP \cdot PS = PX \cdot PC.

5. **Use the homothety centered at PP:**
- Since XYASXY \parallel AS, there is a homothety centered at PP that maps XX to SS and MM to II.
- Therefore, MPPI=PXPS\frac{MP}{PI} = \frac{PX}{PS}.

6. Relate the segments using parallel lines:
- Similarly, since JMIDJM \parallel ID, we have MPPI=JPPC\frac{MP}{PI} = \frac{JP}{PC}.

7. Combine the ratios to prove the desired equality:
- From the above ratios, we get PXPS=JPPC\frac{PX}{PS} = \frac{JP}{PC}.
- This implies JPPS=PXPCJP \cdot PS = PX \cdot PC, as desired.

8. Conclude the proof:
- Since JPPS=PXPCJP \cdot PS = PX \cdot PC, the perpendicular through MM to MNMN meets CSCS on the circumcircle of ABCDABCD.

\blacksquare

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