Maths Olympiad Prep

Library / /9 of 10

, 2019

Geometry Difficulty 6.1 National Olympiad Prove it United States

Problem:

Six unit disks C1,C2,C3,C4,C5,C6C_{1}, C_{2}, C_{3}, C_{4}, C_{5}, C_{6} are in the plane such that they don't intersect each other and CiC_{i} is tangent to Ci+1C_{i+1} for 1i61 \leq i \leq 6 (where C7=C1C_{7}=C_{1}). Let CC be the smallest circle that contains all six disks. Let rr be the smallest possible radius of CC, and RR the largest possible radius. Find RrR-r.

Solution

Solution:

The minimal configuration occurs when the six circles are placed with their centers at the vertices of a regular hexagon of side length 22. This gives a radius of 33.

The maximal configuration occurs when four of the circles are placed at the vertices of a square of side length 22. Letting these circles be C1,C3,C4,C6C_{1}, C_{3}, C_{4}, C_{6} in order, we place the last two so that C2C_{2} is tangent to C1C_{1} and C3C_{3} and C5C_{5} is tangent to C4C_{4} and C6C_{6}. (Imagine pulling apart the last two circles on the plane; this is the configuration you end up with.) The resulting radius is 2+32+\sqrt{3}, so the answer is 31\sqrt{3}-1.

Proof of minimality. We claim the minimal configuration stated above cannot be covered by a circle with radius r<2r<2. If r<2r<2 and all six vertices O1,O2,,O6O_{1}, O_{2}, \ldots, O_{6} are in the circle, then we have that O1OO2>60\angle O_{1} O O_{2}>60^{\circ} since O1O2O_{1} O_{2} is the largest side of the triangle O1OO2O_{1} O O_{2}, and similar for other angles O2OO3,O3OO4,\angle O_{2} O O_{3}, \angle O_{3} O O_{4}, \ldots, but we cannot have six angles greater than 6060^{\circ} into 360360^{\circ}, contradiction. Therefore r2r \geq 2.

Proof of maximality. Let ABCDEFA B C D E F be the hexagon, and choose the covering circle to be centered at OO, the midpoint of ADA D, and radius 3+1\sqrt{3}+1. We claim the other vertices are inside this covering circle. First, we will show the claim for BB. Let MM be the midpoint of ACA C. Since ABCA B C is isosceles and AM1A M \geq 1, we must have BM41=3B M \leq \sqrt{4-1}=\sqrt{3}. Furthermore, MOM O is a midline of ACDA C D, so MO=CD2=1M O=\frac{C D}{2}=1. Thus by the triangle inequality, OBMB+OM=3+1O B \leq M B+O M=\sqrt{3}+1, proving the claim. A similar argument proves the claim for C,E,FC, E, F. Finally, an analogous argument to above shows if we define PP as the midpoint of BEB E, then AP3+1A P \leq \sqrt{3}+1 and DP3+1D P \leq \sqrt{3}+1, so by triangle inequality AD2(3+1)A D \leq 2(\sqrt{3}+1). Hence OA=OD3+1O A=O D \leq \sqrt{3}+1, proving the claim for AA and DD. Thus the covering circle contains all six vertices of ABCDEFA B C D E F.

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.