### Instruction:
Six small circles, each of radius $3$ units, are tangent to a large circle as shown. Each small circle also is tangent to its two neighboring small circles. What is the diameter of the large circle in units? [asy]
draw(Circle((-2,0),1));
draw(Circle((2,0),1));
draw(Circle((-1,1.73205081),1));
draw(Circle((1,1.73205081),1));
draw(Circle((-1,-1.73205081),1));
draw(Circle((1,-1.73205081),1));
draw(Circle((0,0),3));
[/asy]

### Response:

We can draw two similar hexagons, an outer one for which the large circle is the circumcircle and an inner one that connects the centers of the smaller circles. We know that the sidelength of the inner hexagon is 6 since $\overline{DE}$ consists of the radii of two small circles. We also know that the radius of the outer hexagon is 3 units longer than the radius of the inner hexagon since $\overline{AD}$ is the radius of a small circle. There are now several approaches to solving the problem.

$\emph{Approach 1:}$ We use a 30-60-90 triangle to find the radius $\overline{CD}$ of the inner hexagon. Triangle $CED$ is an isosceles triangle since $\overline{CE}$ and $\overline{CD}$ are both radii of a regular hexagon. So dropping a perpendicular from $C$ to $\overline{DE}$ bisects $\angle C$ and $\overline{DE}$ and creates two congruent right triangles. The central angle of a hexagon has a measure of $\frac{360^\circ}{6}=60^\circ$. So $m\angle C=60^\circ$. Each right triangle has a leg of length $\frac{DE}{2}=3$ and is a 30-60-90 right triangle (since $\angle C$ was bisected into two angles of $30^\circ$). That makes the length of the hypotenuse (the radius of the inner hexagon) two times the length of the short leg, or $2\cdot3=6$. Now we know that the radius of the outer hexagon is $6+3=9$, so the diameter is $18$ units long.

$\emph{Approach 2:}$ We prove that the triangles formed by the center to two vertices of a regular hexagon (such as $\triangle CED$ and $\triangle CBA$) are equilateral triangles. The central angle of a hexagon has a measure of $\frac{360^\circ}{60}=60^\circ$. So $m\angle C=60^\circ$. The interior angle of a hexagon has a measure of $\frac{180^\circ (6-2)}{6}=\frac{180^\circ \cdot4}{6}=30^\circ \cdot4=120^\circ$. That means the other two angles in the triangle each have a measure of half the interior angle, or $60^\circ$. All three angles equal $60^\circ$ so the triangle is an equilateral triangle. Then we know that $CD=DE=6$. Now we know that the radius of the outer hexagon is $6+3=9$, so the diameter is $18$ units long.

$\emph{Approach 3:}$ Another way to prove that the triangles are equilateral is to show that triangle $CED$ is an isosceles triangle and $m\angle C=60^\circ$ (see other approaches for how). That means $m\angle D=m\angle E$ and $m\angle D+ m\angle E=120^\circ$. Then all three angles have a measure of $60^\circ$ each. We continue the rest of approach 2 after proving that triangle $CED$ is equilateral.

[asy]
unitsize(1 cm);

draw(Circle((-2,0),1));
draw(Circle((2,0),1));
draw(Circle((-1,1.73205081),1));
draw(Circle((1,1.73205081),1));
draw(Circle((-1,-1.73205081),1));
draw(Circle((1,-1.73205081),1));
draw(Circle((0,0),3));
pair A=(3,0), B=(1.5, 2.598), C=(0,0), D=(-1.5, 2.598), E=(-3,0), F=(-1.5, -2.598), G=(1.5, -2.598);
pair H=(2,0), I=(1, 1.732), J=(-1, 1.732), K=(-2,0), L=(-1, -1.732), M=(1, -1.732);
path f1=A--B--D--E--F--G--cycle;
path f2=H--I--J--K--L--M--cycle;
draw(f2);
draw(f1);
draw(B--C);
draw(A--C);
draw(C--(H+I)/2);
pen sm=fontsize(10);
label("A", A, NE, sm); label("B", B, NE, sm); label("C",C,W, sm);
label("D", H, NE, sm); label("E", I, NE, sm);
label("$6$", (H+I)/2, NE, sm);
label("$3$", (A+H)/2, S, sm);
[/asy]