Maths Olympiad Prep

Library / /298 of 299

Geometry Difficulty 7.9 National Olympiad, round 2 Prove it Iran

There are 6 points on the plane such that no three of them are collinear. We know that among every 4 points of them, there exists a point that its power with respect to the circle passing through the other three points is a constant value kk (power of a point in the interior of a circle has a negative value). Prove that k=0k = 0 and all 6 points lie on a circle.

Solution

In any quadruple of the points, consider the point which has the power kk with respect to the circle passing through the other three, name these points good points. We claim that there are two quadruples with the same good point, and two other common points.
There are (64)=15\binom{6}{4} = 15 quadruples, each has at least one good point, since there are six points in total, there exists a point PP which is a good point in at least 156=3\lceil \frac{15}{6} \rceil = 3 quadruples.
The other five points need to fill the remaining place in each of these quadruples, there are a total of 3×3=93 \times 3 = 9 places, so there is a point QQ that is in at least 95=2\lceil \frac{9}{5} \rceil = 2 of the quadruples.

Consider these two quadruples containing PP and QQ. There are a total of 4 places in these quadruples need to be filled with the other 4 points. The claim is directly proved if some point RR is a member of both of these quadruples. In other case, the remaining 4 points must appear exactly once in these 4 remaining places. So we have two quadruples
Q1=(P,Q,R,S), Q2=(P,Q,T,U). Q_1 = (P, Q, R, S), \ Q_2 = (P, Q, T, U).
Where P,Q,R,S,T,UP, Q, R, S, T, U are all six points of the problem.
We said PP is a good point in at least 3 quadruples. Consider the third quadruple Q3Q_3 containing PP as a good point. 3 remaining places must be filled with the other five points Q,R,S,TQ, R, S, T or UU. If both R,SR, S or T,UT, U are members of Q3Q_3, then (respectively) Q1Q_1 or Q2Q_2 have three common points with Q3Q_3. Otherwise, only one member of {R,S}\{R, S\}, one member of {T,U}\{T, U\} along with QQ are members of Q3Q_3, in this case, both Q1,Q2Q_1, Q_2 have three common points with Q3Q_3. Therefore the claim is proved in any case.
So we have found two quadruples with exactly three common points and also the same good point PP. Without loss of generality, assume that these two quadruples are (P,Q,R,S)(P, Q, R, S), (P,Q,R,T)(P, Q, R, T). Let ω1\omega_1 and ω2\omega_2 be the circumcircles of triangles QRSQRS and QRTQRT, respectively. We have
Pω1(P)=Pω2(P)=k, \mathcal{P}_{\omega_1}(P) = \mathcal{P}_{\omega_2}(P) = k,
(Where Pλ(X)\mathcal{P}_{\lambda}(X) is the power of point XX with respect to circle λ\lambda.) If ω1ω2\omega_1 \neq \omega_2, the above equation implies PP is a point on the radical axis of these two circles, that means PP lies on QRQR which is impossible since there are no three points on a same line. So the only possible case is when ω1=ω2\omega_1 = \omega_2, means points Q,R,SQ, R, S and TT lie on a circle. Therefore by considering the quadruple (Q,R,S,T)(Q, R, S, T), we obtain k=0k = 0.
The rest of the problem is clear, k=0k = 0 means between any quadruple, one point lies on the circle passing through the other three point, in other words, any four points are concyclic. Now fix three points P,Q,RP, Q, R, we get that any other point is concyclic with these three points, hence all six points lie on the circumcircle of triangle PQRPQR. ■

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

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