Is it small enough?

Geometry Level 3

Given two non-overlapping circles of radii 4 4 and 5 5 , what is the smallest equilateral triangle which can contain them?

If the side of such a triangle is a b + c d a\sqrt{b}+c\sqrt{d} , where a a , b b , c c , and d d are integers with b b and d d being square-free, submit a + b + c + d a+b+c+d .


The answer is 21.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

4 solutions

The equilateral triangle that contains the two circles also contains the smallest (in area) convex shape that encloses them. In order to minimise this shape, the circles have to be tangent to each other.

Next, we prove that the smallest equilateral triangle that contains the two circles is the one that has a side tangent to both circles and each circle is tangent to two sides of the triangle (as can be seen in the animation below).

Proof
First we put one circle (e.g. the small one, but the argument is irrelevant to this choice) tangent to sides A B AB and A C AC . Then its center D D lies on the angle bisector and altitude A F AF of A B C \triangle ABC .

Obviously, the second circle must be tangent to side B C BC . Then, the smallest equilateral triangle occurs when A F AF is minimised.

Let G D E = θ \angle GDE=\theta , G E A F GE\bot AF , D K A B DK\bot AB and G H B C GH\bot BC , where G G is the center of the second circle (figure 1).
Then,

A F = A D + D E + E F = D K csc 30 + D G cos θ + G H = 4 2 + 9 cos θ + 5 = 13 + 9 cos θ \begin{aligned} AF & =AD+DE+EF \\ & =DK\cdot \csc 30{}^\circ +DG\cdot \cos \theta +GH \\ & =4\cdot 2+9\cdot \cos \theta +5 \\ & =13+9\cdot \cos \theta \\ \end{aligned} Hence, A F AF gets minimised when the acute angle θ \theta takes its maximum value, which evidently happens when the second circle is tangent either to side A B AB , or side A C AC . Q.E.D.


Let G L A B GL\bot AB and D I G L DI\bot GL (figure 2)
By Pythagoras’ theorem on D G I \triangle DGI , D I = D G 2 G I 2 = D G 2 ( G L I L ) 2 = ( 4 + 5 ) 2 ( 5 4 ) 2 = 4 5 DI=\sqrt{D{{G}^{2}}-G{{I}^{2}}}=\sqrt{D{{G}^{2}}-{{\left( GL-IL \right)}^{2}}}=\sqrt{{{\left( 4+5 \right)}^{2}}-{{\left( 5-4 \right)}^{2}}}=4\sqrt{5} Consequently,

A B = A K + K L + L B = D K cot 30 + D I + G L cot 30 = 4 3 + 4 5 + 5 3 = 9 3 + 4 5 \begin{aligned} AB & =AK+KL+LB \\ & =DK \cdot \cot 30{}^\circ +DI+GL \cdot \cot 30{}^\circ \\ & =4\sqrt{3}+4\sqrt{5}+5\sqrt{3} \\ & =9\sqrt{3}+4\sqrt{5} \\ \end{aligned} For the answer, a = 9 a=9 , b = 3 b=3 , c = 4 c=4 , d = 5 d=5 , (or a = 4 a=4 , b = 5 b=5 , c = 9 c=9 , d = 3 d=3 ). In any case, a + b + c + d = 21 a+b+c+d=\boxed{21} .

Thank you for putting in the effort to prove the optimal orientation. I had wondered about this, but used my "proof by intuition :)" to quiet my mind. Nice, effective animation. Now let's try three circles ...

Fletcher Mattox - 8 months ago
David Vreken
Oct 13, 2020

The smallest equilateral triangle to contain the two circles would be one that is tangent to the circles when the two circles are tangent to each other:

That means A E AE bisects D A H \angle DAH so that E A H = 1 2 D A H = 1 2 60 ° = 30 ° \angle EAH = \frac{1}{2} \angle DAH = \frac{1}{2} 60° = 30° and A B = 4 tan 30 ° = 4 3 AB = \frac{4}{\tan 30°} = 4\sqrt{3} , and D G DG bisects A D H \angle ADH so that G D C = 1 2 A D H = 1 2 60 ° = 30 ° \angle GDC = \frac{1}{2} \angle ADH = \frac{1}{2} 60° = 30° and C D = 5 tan 30 ° = 5 3 CD = \frac{5}{\tan 30°} = 5\sqrt{3} .

By the Pythagorean Theorem on E F G \triangle EFG , E F = E G 2 F G 2 = 9 2 1 2 = 4 5 EF = \sqrt{EG^2 - FG^2} = \sqrt{9^2 - 1^2} = 4\sqrt{5} .

Therefore, the side of the equilateral triangle is A D = A B + B C + C D = 4 3 + 4 5 + 5 3 = 9 3 + 4 5 AD = AB + BC + CD = 4\sqrt{3} + 4\sqrt{5} + 5\sqrt{3} = 9\sqrt{3} + 4\sqrt{5} , which means a = 9 a = 9 , b = 3 b = 3 , c = 4 c = 4 , d = 5 d = 5 , and a + b + c + d = 21 a + b + c + d = \boxed{21} .

Chew-Seong Cheong
Oct 13, 2020

The smallest circumscribing equilateral triangle is one with both circles tangent to onw of its sides (see proof below). Then the side of this smallest equilateral triangle is a = 5 tan 6 0 + 9 2 1 2 + 4 tan 6 0 = 9 3 + 4 5 a = 5\tan 60^\circ + \sqrt{9^2-1^2} + 4 \tan 60^\circ = 9 \sqrt 3 + 4\sqrt 5 . Therefore a + b + c + d = 9 + 3 + 4 + 5 = 21 a+b+c+d = 9+3+4+5 = \boxed{21} .

Proof: Fix the center of the circle with radius 5 5 at the origin O ( 0 , 0 ) O(0,0) , a vertex of the triangle at A ( 5 3 , 5 ) A(-5\sqrt 3,-5) such that a triangle side tangent to the circle A B AB is along y = 5 y=-5 and the other side C A CA is at 6 0 60^\circ to A B AB . Let the line joining the two centers O Q OQ makes an angle θ \theta with the x x -axis. Then the equation of the circle with radius 4 4 is ( x 9 cos θ ) 2 + ( y 9 sin θ ) 2 = 4 2 ( 1 ) (x-9\cos \theta)^2 + (y-9\sin \theta)^2 = 4^2 \dots (1) . And the gradient at a point on the circle is given by 2 ( x 9 cos θ ) + 2 ( y 9 sin θ ) = 0 2(x-9\cos \theta) + 2(y-9\sin \theta) = 0 . Let the third side B C BC be tangent to the circle at P ( x 1 , y 1 ) P(x_1, y_1) . Then the gradient at P P is 3 -\sqrt 3 and we have:

x 1 9 cos θ 3 ( y 1 9 sin θ ) = 0 x 1 9 cos θ = 3 ( y 1 9 sin θ ) Substitute in (1) 4 ( y 1 9 sin θ ) 2 = 16 y 1 = 2 + 9 sin θ x 1 = 2 3 + 9 cos θ \begin{aligned} x_1-9\cos \theta -\sqrt 3 (y_1-9\sin \theta) & = 0 \\ \implies x_1-9\cos \theta & = \sqrt 3 (y_1-9\sin \theta) & \small \blue{\text{Substitute in (1)}} \\ 4(y_1-9\sin \theta)^2 & = 16 \\ \implies y_1 & = 2 + 9 \sin \theta \\ x_1 & = 2\sqrt 3 + 9\cos \theta \end{aligned}

Then the equation of B C BC is given by y y 1 x x 1 = 3 \dfrac {y-y_1}{x-x_1} = - \sqrt 3 . Let B ( x 2 , 5 ) B(x_2, -5) , then we have:

5 y 1 x 2 x 1 = 3 5 + y 1 = 3 x 2 3 x 1 x 2 = 5 + 3 x 1 + y 1 3 = 13 + 9 3 cos θ + 9 sin θ 3 = 13 + 18 sin ( θ + 6 0 ) 3 \begin{aligned} \frac {-5-y_1}{x_2-x_1} & = - \sqrt 3 \\ 5+y_1 & = \sqrt 3 x_2 - \sqrt 3 x_1 \\ \implies x_2 & = \frac {5+\sqrt 3x_1+y_1}{\sqrt 3} = \frac {13+9\sqrt 3\cos \theta + 9\sin \theta}{\sqrt 3} = \frac {13+18\sin(\theta + 60^\circ)}{\sqrt 3} \end{aligned}

Since the side length a = B C = x 2 + 5 3 a=BC = x_2 + 5\sqrt 3 , a a is minimum, when x 2 x_2 is minimum or sin ( θ + 6 0 ) \sin (\theta + 60^\circ) or θ \theta is minimum. The smallest θ = sin 1 1 9 \theta = - \sin^{-1}\frac 19 . Then

a min = 13 + 18 ( 1 9 1 2 + 80 9 3 2 ) 3 + 5 3 = 9 3 + 4 5 \begin{aligned} a_{\min} & = \frac {13+18\left(-\frac 19 \cdot \frac 12 + \frac {\sqrt{80}}9 \cdot \frac {\sqrt 3}2\right)}{\sqrt 3} + 5\sqrt 3 = 9\sqrt 3 + 4\sqrt 5 \end{aligned}

Hongqi Wang
Oct 12, 2020

4 3 + ( 5 + 4 ) 2 ( 5 4 ) 2 + 5 3 = 9 3 + 4 5 4 \sqrt 3 + \sqrt {(5+4)^2-(5-4)^2} + 5 \sqrt 3 = 9 \sqrt 3 + 4 \sqrt 5

Can you explain how you formed this expression?

Pi Han Goh - 8 months ago

Log in to reply

And also how you know for certain it's the minimum.

Chris Lewis - 8 months ago

Log in to reply

when one circle tangent a angle and the other circle tangent the opposite line at the middle, it's easy to know the triangle is bigger.

Hongqi Wang - 8 months ago

when two circles tangent one side of triangle, the length at two ends are 4 3 4 \sqrt 3 and 5 3 5 \sqrt 3 respectively , and the middle part is ( 5 + 4 ) 2 ( 5 4 ) 2 \sqrt {(5+4)^2 - (5-4)^2}

Hongqi Wang - 8 months ago

Log in to reply

You might want to include that in your solution. But still, how do you know it's the minimum?

Chris Lewis - 8 months ago

Log in to reply

@Chris Lewis fix one circle tangenting one angle, move the other circle around the fixed one in the triangle,then watch the smallest altitude

Hongqi Wang - 8 months ago

Even if you got the right configuration, how do you know that this produces the smallest equilateral triangle?

Pi Han Goh - 8 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...