Three circles of radius are packed without overlapping in a square of side . What is the smallest value of ?
Solution
We start with three circles of radius that are tangent to each other externally and consider all rectangles that contain these circles such that each side is tangent to at least one of the circles. A square that contains the three circles and has sides parallel to one such rectangle has side length not smaller than each of the sides of this rectangle. Therefore, we seek the rectangle whose largest side is the smallest possible among all such rectangles.
Because the rectangle has four sides and there are only three circles, there is one circle to which two sides of the rectangle are tangent. These two sides must be adjacent (not opposite) because the other two circles are not contained between any two parallel tangents to one of the three circles.
Let be the centre of the circle that touches two sides of the rectangle, at points and . The other two circles have centres and and they are in contact with a rectangle side at points and , respectively. The common tangent of the circles centred at and touches circle centre at . Similarly, is the point of contact on this circle of the common tangent of the circles centred at and . Note that both, and , need to be on the smaller arc for the rectangle to include all three circles. We set
Because and we have . After reflecting, if necessary, in the line through which is tangent to the other two circles, we can assume without loss of generality that and hence .
The point is chosen on the line so that is a right angle. Similarly, lies on giving right angle . Since are radii of the circles, the side lengths of the rectangle are and .
Because a tangent is perpendicular to the radius through the point of contact, and is parallel to the tangent through , and is parallel to the tangent through , the angle equalities indicated in the diagram follow. In particular, and . Since we then obtain and . The side lengths of the rectangle are therefore
Since and we have with equality iff . Moreover, the Cosine function is decreasing for angles between and , hence the smallest possible value for is achieved when , the largest possible value in our situation. In this case, the rectangle is a square with side length . To express this value more concretely, we recall the trigonometric identity
which we apply to and . Since , and we finally obtain
If it is known that the smallest side length is realised by the square which has all four sides tangent to the circles, its side length can be calculated as follows.
We set up a coordinate system as shown below, with centre of the left circle at and centre of the upper circle at . The fitting square has one vertex at and -axis reflection symmetry.
The side of the square which touches the upper circle is perpendicular to a radius of slope of this circle. Its point of contact, , therefore has coordinates and the equation of this tangent is

The -intercept of this line is at . The length of the diagonal of the square is therefore equal to , hence the side length of the square is