Maths Olympiad Prep

Library / /479 of 520

Geometry Difficulty 7.4 National olympiad, round 2 Prove it

For any set of points A1,A2,,AnA_{1}, A_{2}, \ldots, A_{n} on the plane, one defines r(A1,A2,,An)r\left(A_{1}, A_{2}, \ldots, A_{n}\right) as the radius of the smallest circle that contains all of these points. Prove that if n3n \geq 3, there are indices i,j,ki, j, k such that

r(A1,A2,,An)=r(Ai,Aj,Ak) r\left(A_{1}, A_{2}, \ldots, A_{n}\right)=r\left(A_{i}, A_{j}, A_{k}\right)

Solution

We start with a lemma.
Lemma. If the triangle ABCA B C is acute, r(A,B,C)r(A, B, C) is its circumradius and if it is obtuse, r(A,B,C)r(A, B, C) is half the length of its longest side.

## Proof.

Let us do the acute case first. The circumcircle contains the vertices, so r(A,B,C)r(A, B, C) is not greater than the circumradius. Now, let us prove that no smaller circle contains all three vertices. If there is a smaller circle, let its center be PP. Further, let the circumcenter be OO.

Since ABCA B C is acute, OO is in the interior. Consider the line that passes through OO and is parallel to BCB C. Let us call it lAl_{A} and define lBl_{B} and lCl_{C} similarly. Now, consider the set of points that are on the opposite side of IAI_{A} with respect to AA. Call this set SAS_{A} and define SBS_{B} and SCS_{C} similarly. It is easily seen (by geometry) that SASBSC=S_{A} \cap S_{B} \cap S_{C} = \varnothing. As such, assume PSAP \notin S_{A} without loss of generality. That is to say, PP is on the same side of IAI_{A} as AA. Now, consider the perpendicular bisector of BCB C and assume that PP, w.lo.g, is on the same side of this line as CC. Under these circumstances, PBOB|P B| \geqslant |O B|. Thus, the smaller circle centered at PP must exclude BB.
In the obtuse case, let BAC90\measuredangle B A C \geq 90^{\circ}. Then BCB C is the longest side. The circle with diameter BCB C contains all three vertices. Therefore, r(A,B,C)r(A, B, C) is not greater than 12BC\frac{1}{2}|B C|. But any smaller circle will clearly exclude at least one of BB and CC.
Now, let us return to the original problem. Note that there must be points A,B,CA, B, C among A1,A2,,AnA_{1}, A_{2}, \ldots, A_{n} such that the circumcircle of ABCA B C contains all nn points. One can see this as follows: First start with a large circle that contains all nn points. Then shrink it while keeping the center fixed, until one of the nn points is on the circle and call this point AA. Then shrink it keeping the point AA in place and moving the center closer to AA, until another point BB is on the circle. Then keep the line ABA B fixed while moving the center toward it or away from it so that another CC among the nn points appears on the circle. It is easy to see that this procedure is doable.
Consider all such triples A,B,CA, B, C such that the circumcircle of ABCA B C contains all of A1,A2,,AnA_{1}, A_{2}, \ldots, A_{n}. Now choose the one among them with the smallest circumradius and let it be Ai,Aj,AkA_{i}, A_{j}, A_{k}. If AiAjAkA_{i} A_{j} A_{k} is an acute triangle, any smaller circle will exclude one of Ai,Aj,AkA_{i}, A_{j}, A_{k} by the lemma above. Therefore,

r(A1,A2,,An)= circumradius of AiAjAk=r(Ai,Aj,Ak) r\left(A_{1}, A_{2}, \ldots, A_{n}\right) = \text{ circumradius of } A_{i} A_{j} A_{k} = r\left(A_{i}, A_{j}, A_{k}\right)

If AiAjAkA_{i} A_{j} A_{k} is an obtuse triangle, let AlA_{l} be its obtuse angle. We wish to prove that the circle with diameter AjAkA_{j} A_{k} contains all nn points. This will mean that

r(A1,A2,,An)=12AjAk=r(Ai,Aj,Ak) r\left(A_{1}, A_{2}, \ldots, A_{n}\right) = \frac{1}{2} \left|A_{j} A_{k}\right| = r\left(A_{i}, A_{j}, A_{k}\right)

and we will be done. If there are no points on the opposite side of AjAkA_{j} A_{k} w.r.t. AiA_{i}, then this assertion is clear. If there are some points on that side, choose the one XX such that AjXAk\measuredangle A_{j} X A_{k} is smallest possible. Then the circumcircle of AjXAkA_{j} X A_{k} contains all nn points. However, by the choice of AiA_{i}, the circumradius of AjXAkA_{j} X A_{k} cannot be less than that of AiAjAkA_{i} A_{j} A_{k}. Thus, AjXAkAjAiAk90\measuredangle A_{j} X A_{k} \geq \measuredangle A_{j} A_{i} A_{k} \geq 90^{\circ}. As such, the circle with diameter AjAkA_{j} A_{k} contains all nn points.
!

Figure 1: The circumcircles of AiAjAkA_{i} A_{j} A_{k} and AjXAkA_{j} X A_{k} as well as the circle with diameter AjAkA_{j} A_{k} are shown.

Remark. The problem selection committee recommended formulation of the task to improve.

## C 5

We have nn students sitting at a round table. Initially each student is given one candy. At each step each student having candies either picks one of its candies and gives it to one of its neighbouring students, or distributes all of its candies to its neighbouring students in any way he wishes. A distribution of candies is called legal if it can be reached from the initial distribution via a sequence of steps.
Determine the number of legal distributions. (All the candies are identical.)

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.