Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /173 of 270

Iranian Mathematical Olympiad

Geometry Difficulty 6.8 National Olympiad Prove it Iran

Two circles in the space are called linking if they intersect at two points or they are interlocked. Find a necessary and sufficient condition for four distinct points AA, BB, A′A', B′B' in the space such that every two different circles passing through AA, BB and the other passing through A′A', B′B' respectively are linking.

Figure 1

Solution

The points should be on a circle (or line) and AA, BB should separate A′A', B′B' on it. To prove necessity, first suppose that the points are not coplanar. Then there exist two parallel planes passing through AA, BB and A′A', B′B' respectively. Any two circles in these planes are not linking. So the points should be coplanar.

Now suppose B′B' is not on the circumcircle of ABA′ABA' (which can be a line). So we can slightly change the circle to find a circle passing through AA, BB such that A′A', B′B' are both outside or both inside it. Now, this circle is not linking with the circle with diameter A′B′A'B' orthogonal to the plane containing the points.

So the points should be on a circle (or line). Now, suppose AA, BB do not separate A′A', B′B' on the circle. If we change the circle slightly, still passing through AA, BB, then A′A', B′B' will be both inside or both outside the new circle and we arrive to a contradiction like the previous case. So, the necessity of the condition is proved.

To prove sufficiency, Let CC, C′C' be two different circles passing through AA, BB and A′A', B′B' respectively. Let PP, P′P' be the planes containing CC, C′C' respectively. If the points are collinear, then C′∩PC' \cap P is consisted of a point inside CC and a point outside CC. So CC, C′C' are interlocked. So, suppose the points are on a circle. Let MM be the intersection of the segments ABAB and A′B′A'B'. We have MA⋅MB=MA′⋅MB′MA \cdot MB = MA' \cdot MB'. Let

l=P∩P′l = P \cap P' which passes through MM. MM is inside CC, so ll intersects CC at two points like X,YX,Y and MM is between X,YX,Y. Similarly, ll intersects C′C' at X′,Y′X',Y' namely, and MM is between X′,Y′X',Y'. Suppose X,X′X,X' are in one side of MM. We have
MX⋅MY=MA⋅MB=MA′⋅MB′=MX′⋅MY′ MX \cdot MY = MA \cdot MB = MA' \cdot MB' = MX' \cdot MY'
So if MX≤MX′MX \le MX', then MY≥MY′MY \ge MY' and vice versa. So the points of C′∩P={X′,Y′}C' \cap P = \{X',Y'\} are in different sides of CC or both are on CC. So C,C′C,C' are linking and sufficiency of the condition is proved. □\square

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.