Maths Olympiad Prep

Track / Stage 7 / 98 of 300 #1498 of 1964

Problem 1498

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.2 Prove it

Two circles with different radius O1O_1 and O2O_2 are both tangent to a larger circle OO, tangent points are S,TS,T. Note that intersections of O1O_1 and O2O_2 are M,NM,N, prove that the sufficient and necessary condition of OMMNOM\perp MN is S,N,TS,N,T are colinear.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Understanding the Problem:
We are given two circles O1 O_1 and O2 O_2 with different radii, both tangent to a larger circle O O at points S S and T T respectively. The intersections of O1 O_1 and O2 O_2 are M M and N N . We need to prove that the necessary and sufficient condition for OMMN OM \perp MN is that S,N,T S, N, T are collinear.

2. Restating the Condition:
The condition OMMN OM \perp MN implies that the quadrilateral OMTN OMTN is cyclic. This is because if OM OM is perpendicular to MN MN , then OMN=90 \angle OMN = 90^\circ , which is a property of a cyclic quadrilateral where one of the angles is 90 90^\circ .

3. Cyclic Quadrilateral Property:
For OMTN OMTN to be cyclic, the opposite angles must sum to 180 180^\circ . Therefore, we need:
OMT+ONT=180 \angle OMT + \angle ONT = 180^\circ

4. Collinearity Condition:
If S,N,T S, N, T are collinear, then SNT=180 \angle SNT = 180^\circ . This implies that OMT+ONT=180 \angle OMT + \angle ONT = 180^\circ because OMT \angle OMT and ONT \angle ONT are subtended by the same arc ST ST in the larger circle O O .

5. Equivalence of Conditions:
- Sufficient Condition:
If S,N,T S, N, T are collinear, then SNT=180 \angle SNT = 180^\circ . This implies that OMT+ONT=180 \angle OMT + \angle ONT = 180^\circ , making OMTN OMTN a cyclic quadrilateral. Hence, OMMN OM \perp MN .
- Necessary Condition:
If OMMN OM \perp MN , then OMN=90 \angle OMN = 90^\circ . This implies that OMTN OMTN is a cyclic quadrilateral, and thus OMT+ONT=180 \angle OMT + \angle ONT = 180^\circ . This can only happen if S,N,T S, N, T are collinear, as SNT=180 \angle SNT = 180^\circ .

6. Conclusion:
We have shown that OMMN OM \perp MN if and only if S,N,T S, N, T are collinear.

\blacksquare

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