Difference between revisions of "2021 AIME II Problems/Problem 10"

m (Solution 1 (Similar Triangles and Pythagorean Theorem))
(Solution 3 (Proportion): Remade diagram by Asy.)
 
(47 intermediate revisions by 6 users not shown)
Line 4: Line 4:
 
==Diagram==
 
==Diagram==
 
<asy>
 
<asy>
size(300);
+
/* Made by MRENTHUSIASM */
 +
size(275);
 
import graph3;
 
import graph3;
 
import solids;
 
import solids;
  
 
currentprojection=orthographic((1,1/2,0));
 
currentprojection=orthographic((1,1/2,0));
triple O1, O2, O3, T1, T2, T3, A;
+
triple O1, O2, O3, T1, T2, T3, A, L1, L2;
 
O1 = (0,-36,0);
 
O1 = (0,-36,0);
 
O2 = (0,36,0);
 
O2 = (0,36,0);
Line 17: Line 18:
 
T3 = (24*sqrt(1105)/85,0,-108*sqrt(1105)/85);
 
T3 = (24*sqrt(1105)/85,0,-108*sqrt(1105)/85);
 
A = (0,0,-36*sqrt(1105)/23);
 
A = (0,0,-36*sqrt(1105)/23);
 +
L1 = shift(0,-80,0)*A;
 +
L2 = shift(0,80,0)*A;
  
draw(shift(O1)*scale3(36)*unitsphere,yellow,light=White);
+
draw(surface(L1--L2--(-T2.x,L2.y,T2.z)--(-T1.x,L1.y,T1.z)--cycle),pink);
draw(shift(O2)*scale3(36)*unitsphere,yellow,light=White);
+
draw(shift(O1)*rotate(90,O1,O2)*scale3(36)*unitsphere,yellow,light=White);
draw(shift(O3)*scale3(13)*unitsphere,yellow,light=White);
+
draw(shift(O2)*rotate(90,O1,O2)*scale3(36)*unitsphere,yellow,light=White);
draw(O1--O2--O3--cycle^^O3--A,dashed);
+
draw(shift(O3)*rotate(90,O1,O2)*scale3(13)*unitsphere,red,light=White);
draw(T1--T2--T3--cycle^^T3--A,heavygreen);
+
draw(surface(L1--L2--(T2.x,L2.y,T2.z)--(T1.x,L1.y,T1.z)--cycle),palegreen);
draw(O1--T1^^O2--T2^^O3--T3,mediumblue+dashed);
+
draw(surface(L1--L2--(-T2.x,L2.y,L2.z-abs(T2.z))--(-T1.x,L1.y,L2.z-abs(T1.z))--cycle),palegreen);
draw(shift(0,-80,0)*A--shift(0,80,0)*A,L=Label("$\ell$",position=EndPoint,align=3*E),red);
+
draw(surface(L1--L2--(T2.x,L2.y,L2.z-abs(T1.z))--(T1.x,L1.y,L1.z-abs(T2.z))--cycle),pink);
label("$\mathcal{R}$",midpoint(O1--O2),(0,0,2));
+
draw(L1--L2,L=Label("$\ell$",position=EndPoint,align=3*E),red);
label("$\mathcal{P}$",midpoint(T1--T3),(0,0,-2),heavygreen);
+
 
 +
label("$\mathcal{P}$",midpoint(L1--(T1.x,L1.y,T1.z)),(0,-3,0),heavygreen);
 +
label("$\mathcal{Q}$",midpoint(L1--(T1.x,L1.y,L1.z-abs(T2.z))),(0,-3,0),heavymagenta);
  
 
dot(O1,linewidth(4.5));
 
dot(O1,linewidth(4.5));
Line 36: Line 41:
 
dot(A,red+linewidth(4.5));
 
dot(A,red+linewidth(4.5));
 
</asy>
 
</asy>
<u><b>Remarks</b></u>
+
~MRENTHUSIASM
<ol style="margin-left: 1.5em;">
 
  <li>Let <math>\mathcal{R}</math> be the plane that is determined by the centers of the spheres, as shown in the black points. Clearly, the side-lengths of the black dashed triangle are <math>49,49,</math> and <math>72.</math></li><p>
 
  <li>Plane <math>\mathcal{P}</math> is tangent to the spheres at the green points. Therefore, the blue dashed line segments are the radii of the spheres.</li><p>
 
  <li>We can conclude all of the following:
 
      <ul style="list-style-type:square; margin-left: 1.5em;">
 
        <li>The four black dashed line segments all lie in plane <math>\mathcal{R}.</math></li><p>
 
        <li>The four green solid line segments all lie in plane <math>\mathcal{P}.</math></li><p>
 
        <li>By symmetry, since planes <math>\mathcal{P}</math> and <math>\mathcal{Q}</math> are reflections of each other about plane <math>\mathcal{R},</math> the three planes are concurrent to line <math>\ell.</math></li><p>
 
        <li>The red point is the foot of the perpendicular from the smallest sphere's center to line <math>\ell.</math></li><p>
 
      </ul>
 
</li><p>
 
</ol>
 
 
 
~MRENTHUSIASM (by Geometry Expressions)
 
  
 
==Solution 1 (Similar Triangles and Pythagorean Theorem)==
 
==Solution 1 (Similar Triangles and Pythagorean Theorem)==
 
This solution refers to the <b>Diagram</b> section.
 
This solution refers to the <b>Diagram</b> section.
  
As shown below, let <math>O_1,O_2,O_3</math> be the centers of the spheres (where sphere <math>O_3</math> is the smallest) and <math>T_1,T_2,T_3</math> be their respective points of tangency to plane <math>\mathcal{P}.</math> Suppose <math>A</math> is the foot of the perpendicular from <math>O_3</math> to line <math>\ell,</math> so <math>\overleftrightarrow{O_3A}</math> is the perpendicular bisector of <math>\overline{O_1O_2}.</math> We wish to find <math>T_3A.</math>
+
As shown below, let <math>O_1,O_2,O_3</math> be the centers of the spheres (where sphere <math>O_3</math> has radius <math>13</math>) and <math>T_1,T_2,T_3</math> be their respective points of tangency to plane <math>\mathcal{P}.</math> Let <math>\mathcal{R}</math> be the plane that is determined by <math>O_1,O_2,</math> and <math>O_3.</math> Suppose <math>A</math> is the foot of the perpendicular from <math>O_3</math> to line <math>\ell,</math> so <math>\overleftrightarrow{O_3A}</math> is the perpendicular bisector of <math>\overline{O_1O_2}.</math> We wish to find <math>T_3A.</math>
 
<asy>
 
<asy>
 +
/* Made by MRENTHUSIASM */
 
size(300);
 
size(300);
 
import graph3;
 
import graph3;
Line 62: Line 54:
  
 
currentprojection=orthographic((1,1/2,0));
 
currentprojection=orthographic((1,1/2,0));
triple O1, O2, O3, T1, T2, T3, A;
+
triple O1, O2, O3, T1, T2, T3, A, L1, L2;
 
O1 = (0,-36,0);
 
O1 = (0,-36,0);
 
O2 = (0,36,0);
 
O2 = (0,36,0);
Line 70: Line 62:
 
T3 = (24*sqrt(1105)/85,0,-108*sqrt(1105)/85);
 
T3 = (24*sqrt(1105)/85,0,-108*sqrt(1105)/85);
 
A = (0,0,-36*sqrt(1105)/23);
 
A = (0,0,-36*sqrt(1105)/23);
 +
L1 = shift(0,-80,0)*A;
 +
L2 = shift(0,80,0)*A;
  
draw(Circle(O1,36,(1,0,0)),dashed);
+
draw(surface(L1--L2--(-T2.x,L2.y,T2.z)--(-T1.x,L1.y,T1.z)--cycle),pink);
draw(Circle(O2,36,(1,0,0)),dashed);
+
draw(surface(L1--L2--(L2.x,L2.y,40)--(L1.x,L1.y,40)--cycle),gray);
draw(Circle(O3,13,(1,0,0)),dashed);
+
draw(shift(O1)*rotate(90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White);
 +
draw(shift(O2)*rotate(90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White);
 +
draw(shift(O3)*rotate(90,O1,O2)*scale3(13)*unithemisphere,red,light=White);
 +
draw(surface(L1--L2--(T2.x,L2.y,T2.z)--(T1.x,L1.y,T1.z)--cycle),palegreen);
 +
draw(surface(L1--L2--(-T2.x,L2.y,L2.z-abs(T2.z))--(-T1.x,L1.y,L2.z-abs(T1.z))--cycle),palegreen);
 +
draw(surface(L1--L2--(L2.x,L2.y,L2.z-abs(T1.z))--(L1.x,L1.y,L1.z-abs(T2.z))--cycle),gray);
 +
draw(surface(L1--L2--(T2.x,L2.y,L2.z-abs(T1.z))--(T1.x,L1.y,L1.z-abs(T2.z))--cycle),pink);
 
draw(O1--O2--O3--cycle^^O3--A,dashed);
 
draw(O1--O2--O3--cycle^^O3--A,dashed);
 
draw(T1--T2--T3--cycle^^T3--A,heavygreen);
 
draw(T1--T2--T3--cycle^^T3--A,heavygreen);
 
draw(O1--T1^^O2--T2^^O3--T3,mediumblue+dashed);
 
draw(O1--T1^^O2--T2^^O3--T3,mediumblue+dashed);
draw(shift(0,-80,0)*A--shift(0,80,0)*A,L=Label("$\ell$",position=EndPoint,align=3*E),red);
+
draw(L1--L2,L=Label("$\ell$",position=EndPoint,align=3*E),red);
dot("$O_1$",O1,(0,-2,0),linewidth(4.5));
+
 
dot("$O_2$",O2,(0,2,0),linewidth(4.5));
+
label("$\mathcal{P}$",midpoint(L1--(T1.x,L1.y,T1.z)),(0,-3,0),heavygreen);
 +
label("$\mathcal{Q}$",midpoint(L1--(T1.x,L1.y,L1.z-abs(T2.z))),(0,-3,0),heavymagenta);
 +
label("$\mathcal{R}$",O1,(0,-24,0));
 +
 
 +
dot("$O_1$",O1,(0,-1,1),linewidth(4.5));
 +
dot("$O_2$",O2,(0,1,1),linewidth(4.5));
 
dot("$O_3$",O3,(0,-1.5,0),linewidth(4.5));
 
dot("$O_3$",O3,(0,-1.5,0),linewidth(4.5));
dot("$T_1$",T1,(0,-2,0),heavygreen+linewidth(4.5));
+
dot("$T_1$",T1,(0,-1,-1),heavygreen+linewidth(4.5));
dot("$T_2$",T2,(0,2,0),heavygreen+linewidth(4.5));
+
dot("$T_2$",T2,(0,1,-1),heavygreen+linewidth(4.5));
 
dot("$T_3$",T3,(0,-1,-1),heavygreen+linewidth(4.5));
 
dot("$T_3$",T3,(0,-1,-1),heavygreen+linewidth(4.5));
 
dot("$A$",A,(0,0,-2),red+linewidth(4.5));
 
dot("$A$",A,(0,0,-2),red+linewidth(4.5));
 
</asy>
 
</asy>
As the intersection of planes <math>\mathcal{R}</math> and <math>\mathcal{P}</math> is line <math>\ell,</math> both <math>\overrightarrow{O_1O_3}</math> and <math>\overrightarrow{T_1T_3}</math> must intersect line <math>\ell.</math> Furthermore, since <math>\overline{O_1T_1}\perp\mathcal{P}</math> and <math>\overline{O_3T_3}\perp\mathcal{P},</math> it follows that <math>\overline{O_1T_1}\parallel\overline{O_3T_3},</math> from which <math>O_1,O_3,T_1,</math> and <math>T_3</math> are coplanar.
+
Note that:
 
+
<ol style="margin-left: 1.5em;">
 +
  <li>In <math>\triangle O_1O_2O_3,</math> we get <math>O_1O_2=72</math> and <math>O_1O_3=O_2O_3=49.</math></li><p>
 +
  <li>Both <math>\triangle O_1O_2O_3</math> and <math>\overline{O_3A}</math> lie in plane <math>\mathcal{R}.</math> Both <math>\triangle T_1T_2T_3</math> and <math>\overline{T_3A}</math> lie in plane <math>\mathcal{P}.</math></li><p>
 +
  <li>By symmetry, since planes <math>\mathcal{P}</math> and <math>\mathcal{Q}</math> are reflections of each other about plane <math>\mathcal{R},</math> the three planes are concurrent to line <math>\ell.</math></li><p>
 +
  <li>Since <math>\overline{O_1T_1}\perp\mathcal{P}</math> and <math>\overline{O_3T_3}\perp\mathcal{P},</math> it follows that <math>\overline{O_1T_1}\parallel\overline{O_3T_3},</math> from which <math>O_1,O_3,T_1,</math> and <math>T_3</math> are coplanar.</li><p>
 +
</ol>
 
Now, we focus on cross-sections <math>O_1O_3T_3T_1</math> and <math>\mathcal{R}:</math>
 
Now, we focus on cross-sections <math>O_1O_3T_3T_1</math> and <math>\mathcal{R}:</math>
 
<ol style="margin-left: 1.5em;">
 
<ol style="margin-left: 1.5em;">
 
   <li><i><b>In the three-dimensional space, the intersection of a line and a plane must be exactly one of the empty set, a point, or a line.</b></i><p>
 
   <li><i><b>In the three-dimensional space, the intersection of a line and a plane must be exactly one of the empty set, a point, or a line.</b></i><p>
Clearly, cross-section <math>O_1O_3T_3T_1</math> intersects line <math>\ell</math> at exactly one point. Let the intersection of <math>\overrightarrow{O_1O_3}</math> and line <math>\ell</math> be <math>B,</math> which must also be the intersection of <math>\overrightarrow{T_1T_3}</math> and line <math>\ell.</math></li>
+
Clearly, cross-section <math>O_1O_3T_3T_1</math> intersects line <math>\ell</math> at exactly one point. Furthermore, as the intersection of planes <math>\mathcal{R}</math> and <math>\mathcal{P}</math> is line <math>\ell,</math> we conclude that <math>\overrightarrow{O_1O_3}</math> and <math>\overrightarrow{T_1T_3}</math> must intersect line <math>\ell</math> at the same point. Let <math>B</math> be the point of concurrency of <math>\overrightarrow{O_1O_3},\overrightarrow{T_1T_3},</math> and line <math>\ell.</math></li>
 
   <li>In cross-section <math>\mathcal{R},</math> let <math>C</math> be the foot of the perpendicular from <math>O_1</math> to line <math>\ell,</math> and <math>D</math> be the foot of the perpendicular from <math>O_3</math> to <math>\overline{O_1C}.</math></li><p>
 
   <li>In cross-section <math>\mathcal{R},</math> let <math>C</math> be the foot of the perpendicular from <math>O_1</math> to line <math>\ell,</math> and <math>D</math> be the foot of the perpendicular from <math>O_3</math> to <math>\overline{O_1C}.</math></li><p>
 
</ol>
 
</ol>
Line 117: Line 127:
 
dot("$O_1$",O1,(0,-1,1),linewidth(4.5));
 
dot("$O_1$",O1,(0,-1,1),linewidth(4.5));
 
dot("$O_3$",O3,(0,1,1),linewidth(4.5));
 
dot("$O_3$",O3,(0,1,1),linewidth(4.5));
dot("$T_1$",T1,(0,-2,0),heavygreen+linewidth(4.5));
+
dot("$T_1$",T1,(0,-1,-1),heavygreen+linewidth(4.5));
 
dot("$T_3$",T3,(0,-1,-1),heavygreen+linewidth(4.5));
 
dot("$T_3$",T3,(0,-1,-1),heavygreen+linewidth(4.5));
 
dot("$A$",A,(0,0,-2),red+linewidth(4.5));
 
dot("$A$",A,(0,0,-2),red+linewidth(4.5));
Line 128: Line 138:
 
In cross-section <math>\mathcal{R},</math> note that <math>O_1O_3=49</math> and <math>DO_3=\frac{O_1O_2}{2}=36.</math> Applying the Pythagorean Theorem to right <math>\triangle O_1DO_3,</math> we have <math>O_1D=\sqrt{1105}.</math> Moreover, since <math>\ell\perp\overline{O_1C}</math> and <math>\overline{DO_3}\perp\overline{O_1C},</math> we obtain <math>\ell\parallel\overline{DO_3}</math> so that <math>\triangle O_1CB\sim\triangle O_1DO_3</math> by AA, with the ratio of similitude <math>\frac{O_1B}{O_1O_3}=\frac{49+\frac{637}{23}}{49}.</math> Therefore, we get <math>\frac{O_1C}{O_1D}=\frac{\sqrt{1105}+DC}{\sqrt{1105}}=\frac{49+\frac{637}{23}}{49},</math> or <math>DC=\frac{13\sqrt{1105}}{23}.</math>
 
In cross-section <math>\mathcal{R},</math> note that <math>O_1O_3=49</math> and <math>DO_3=\frac{O_1O_2}{2}=36.</math> Applying the Pythagorean Theorem to right <math>\triangle O_1DO_3,</math> we have <math>O_1D=\sqrt{1105}.</math> Moreover, since <math>\ell\perp\overline{O_1C}</math> and <math>\overline{DO_3}\perp\overline{O_1C},</math> we obtain <math>\ell\parallel\overline{DO_3}</math> so that <math>\triangle O_1CB\sim\triangle O_1DO_3</math> by AA, with the ratio of similitude <math>\frac{O_1B}{O_1O_3}=\frac{49+\frac{637}{23}}{49}.</math> Therefore, we get <math>\frac{O_1C}{O_1D}=\frac{\sqrt{1105}+DC}{\sqrt{1105}}=\frac{49+\frac{637}{23}}{49},</math> or <math>DC=\frac{13\sqrt{1105}}{23}.</math>
  
Finally, note that <math>\overline{O_3T_3}\perp\overline{T_3A}</math> and <math>O_3T_3=13.</math> Since <math>DCAO_3</math> is a rectangle, we have <math>O_3A=DC=\frac{13\sqrt{1105}}{23}.</math> Applying the Pythagorean Theorem to right <math>\triangle O_3T_3A</math> gives <math>T_3A=\frac{312}{23},</math> from which the answer is <math>312+23=\boxed{335}.</math>
+
Finally, note that <math>\overline{O_3T_3}\perp\overline{T_3A}</math> and <math>O_3T_3=13.</math> Since quadrilateral <math>DCAO_3</math> is a rectangle, we have <math>O_3A=DC=\frac{13\sqrt{1105}}{23}.</math> Applying the Pythagorean Theorem to right <math>\triangle O_3T_3A</math> gives <math>T_3A=\frac{312}{23},</math> from which the answer is <math>312+23=\boxed{335}.</math>
  
 
~MRENTHUSIASM
 
~MRENTHUSIASM
  
==Solution 2==
+
==Solution 2 (Pythagorean Theorem)==
  
 
The centers of the three spheres form a <math>49</math>-<math>49</math>-<math>72</math> triangle. Consider the points at which the plane is tangent to the two bigger spheres; the line segment connecting these two points should be parallel to the <math>72</math> side of this triangle. Take its midpoint <math>M</math>, which is <math>36</math> away from the midpoint <math>A</math> of the <math>72</math> side, and connect these two midpoints.
 
The centers of the three spheres form a <math>49</math>-<math>49</math>-<math>72</math> triangle. Consider the points at which the plane is tangent to the two bigger spheres; the line segment connecting these two points should be parallel to the <math>72</math> side of this triangle. Take its midpoint <math>M</math>, which is <math>36</math> away from the midpoint <math>A</math> of the <math>72</math> side, and connect these two midpoints.
Line 140: Line 150:
 
By Pythagoras, <math>AC=\sqrt{49^2-36^2}=\sqrt{1105}</math>, and we know that <math>MA=36</math> and <math>BC=13</math>. We know that <math>\overline{MA}</math> and <math>\overline{BC}</math> must be parallel, using ratios we realize that <math>CD=\frac{13}{23}\sqrt{1105}</math>. Apply the Pythagorean theorem to <math>\triangle BCD</math>, <math>BD=\frac{312}{23}</math>, so <math>312 + 23 = \boxed{335}</math>.
 
By Pythagoras, <math>AC=\sqrt{49^2-36^2}=\sqrt{1105}</math>, and we know that <math>MA=36</math> and <math>BC=13</math>. We know that <math>\overline{MA}</math> and <math>\overline{BC}</math> must be parallel, using ratios we realize that <math>CD=\frac{13}{23}\sqrt{1105}</math>. Apply the Pythagorean theorem to <math>\triangle BCD</math>, <math>BD=\frac{312}{23}</math>, so <math>312 + 23 = \boxed{335}</math>.
  
-Ross Gao
+
~Ross Gao
 +
 
 +
==Solution 3 (Proportion) ==
 +
This solution refers to the <b>Diagram</b> section.
 +
<asy>
 +
/* Made by MRENTHUSIASM */
 +
size(300);
 +
import graph3;
 +
import solids;
 +
 
 +
currentprojection=orthographic((10,-3,-40));
 +
 
 +
triple O1, O2, O3, T1, T2, T3, A, L1, L2, M;
 +
O1 = (0,-36,0);
 +
O2 = (0,36,0);
 +
O3 = (0,0,-sqrt(1105));
 +
T1 = (864*sqrt(1105)/1105,-36,-828*sqrt(1105)/1105);
 +
T2 = (864*sqrt(1105)/1105,36,-828*sqrt(1105)/1105);
 +
T3 = (24*sqrt(1105)/85,0,-108*sqrt(1105)/85);
 +
A = (0,0,-36*sqrt(1105)/23);
 +
L1 = shift(0,-80,0)*A;
 +
L2 = shift(0,80,0)*A;
 +
M = midpoint(T1--T2);
 +
 
 +
draw(shift(O1)*rotate(-90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White);
 +
draw(shift(O2)*rotate(-90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White);
 +
draw(shift(O3)*rotate(-90,O1,O2)*scale3(13)*unithemisphere,red,light=White);
 +
draw(surface(L1--L2--(L2.x,L2.y,40)--(L1.x,L1.y,40)--cycle),gray);
 +
draw(shift(O1)*rotate(90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White);
 +
draw(shift(O2)*rotate(90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White);
 +
draw(shift(O3)*rotate(90,O1,O2)*scale3(13)*unithemisphere,red,light=White);
 +
draw(surface(T2--T1--T3--A--cycle),cyan);
 +
draw(surface(L1--L2--(L2.x,L2.y,L2.z-abs(T1.z))--(L1.x,L1.y,L1.z-abs(T2.z))--cycle),gray);
 +
draw(T1--T2--T3--cycle^^M--A--T2,blue);
 +
 
 +
dot("$O_1$",O1,(0,-1,1),linewidth(4.5));
 +
dot("$O_2$",O2,(0,1,1),linewidth(4.5));
 +
dot("$O$",O3,(0.5,-1,0),linewidth(4.5));
 +
dot("$T_1$",T1,(0,-1,-1),blue+linewidth(4.5));
 +
dot("$T_2$",T2,(0,1,-1),blue+linewidth(4.5));
 +
dot("$T$",T3,(1,1,2),blue+linewidth(4.5));
 +
dot("$M$",M,(0,0,5),blue+linewidth(4.5));
 +
dot("$A$",A,(-0.5,-1.5,0),red+linewidth(4.5));
 +
</asy>
 +
The isosceles triangle of centers <math>O_1 O_2 O</math> (<math>O</math> is the center of sphere of radii <math>13</math>) has sides  <math> O_1 O = O_2 O = 36 + 13 = 49,</math> and  <math>O_1 O_2 = 36 + 36 = 72.</math>
 +
 
 +
Let <math>N</math> be the midpoint  <math>O_1 O_2 </math>.
 +
 
 +
The isosceles triangle of points of tangency <math>T_1 T_2 T</math>  has sides <math>T_1 T = T_2 T = 2 \sqrt{13 \cdot 36} = 12 \sqrt{13} </math> and <math>T_1 T_2 = 72.</math>
 +
 
 +
Let <math>M</math> be the midpoint <math>T_1 T_2.</math>
 +
 
 +
The height <math>TM</math>  is <math>\sqrt {12^2 \cdot 13 - 36^2} = 12 \sqrt {13-9} = 24.</math>
  
==Solution 3 (Coordinates Bash)==
+
The tangents of the half-angle between the planes is <math>\frac {TO}{AT} = \frac {MN - TO}{TM},</math> so <math>\frac {13}{AT} = \frac {36 - 13}{24},</math> <cmath>AT = \frac{24\cdot 13}{23} = \frac {312}{23} \implies  312 + 23 = \boxed{335}.</cmath>
Let's try to see some symmetry. We can use an <math>xyz</math>-plane to plot where the circles are. The two large spheres are externally tangent, so we'll make them at <math>(0,-36,0)</math> and <math>(0,36,0)</math>. The center of the little sphere would be <math>(x,0,-23)</math> since we don't know how much the little sphere will be "pushed" down. We use the 3D distance formula to find that <math>x=-24</math> (since <math>x=24</math> wouldn't make sense). Now, we draw a line through the little sphere and the origin. It also intersects <math>\ell</math> because of the symmetry we created.
+
'''vladimir.shelomovskii@gmail.com, vvsss'''
  
<math>\ell</math> lies on the plane too, so these two lines must intersect. The point at where it intersects is <math>(-24a,0,23a)</math>. We can use the distance formula again to find that <math>a=\dfrac{36}{23}</math>. Therefore, they intersect at <math>\left(-\dfrac{864}{23},0,-36\right)</math>. Since the little circle's <math>x</math>-coordinate is <math>-24</math> and the intersection point's <math>x</math>-coordinate is <math>\dfrac{864}{23}</math>, we get <math>\dfrac{864}{23} - 24 = \dfrac{312}{23}</math>. Therefore, our answer to this problem is <math>312 + 23 =  \boxed{335}</math>.
+
==Video Solution by Interstigation==
 +
https://youtu.be/bQ3KdG4xH0A
  
~Arcticturn
+
~Interstigation
  
 
==See Also==
 
==See Also==
 
{{AIME box|year=2021|n=II|num-b=9|num-a=11}}
 
{{AIME box|year=2021|n=II|num-b=9|num-a=11}}
 
{{MAA Notice}}
 
{{MAA Notice}}

Latest revision as of 00:00, 14 January 2023

Problem

Two spheres with radii $36$ and one sphere with radius $13$ are each externally tangent to the other two spheres and to two different planes $\mathcal{P}$ and $\mathcal{Q}$. The intersection of planes $\mathcal{P}$ and $\mathcal{Q}$ is the line $\ell$. The distance from line $\ell$ to the point where the sphere with radius $13$ is tangent to plane $\mathcal{P}$ is $\tfrac{m}{n}$, where $m$ and $n$ are relatively prime positive integers. Find $m + n$.

Diagram

[asy] /* Made by MRENTHUSIASM */ size(275); import graph3; import solids;  currentprojection=orthographic((1,1/2,0)); triple O1, O2, O3, T1, T2, T3, A, L1, L2; O1 = (0,-36,0); O2 = (0,36,0); O3 = (0,0,-sqrt(1105)); T1 = (864*sqrt(1105)/1105,-36,-828*sqrt(1105)/1105); T2 = (864*sqrt(1105)/1105,36,-828*sqrt(1105)/1105); T3 = (24*sqrt(1105)/85,0,-108*sqrt(1105)/85); A = (0,0,-36*sqrt(1105)/23); L1 = shift(0,-80,0)*A; L2 = shift(0,80,0)*A;  draw(surface(L1--L2--(-T2.x,L2.y,T2.z)--(-T1.x,L1.y,T1.z)--cycle),pink); draw(shift(O1)*rotate(90,O1,O2)*scale3(36)*unitsphere,yellow,light=White); draw(shift(O2)*rotate(90,O1,O2)*scale3(36)*unitsphere,yellow,light=White); draw(shift(O3)*rotate(90,O1,O2)*scale3(13)*unitsphere,red,light=White); draw(surface(L1--L2--(T2.x,L2.y,T2.z)--(T1.x,L1.y,T1.z)--cycle),palegreen); draw(surface(L1--L2--(-T2.x,L2.y,L2.z-abs(T2.z))--(-T1.x,L1.y,L2.z-abs(T1.z))--cycle),palegreen); draw(surface(L1--L2--(T2.x,L2.y,L2.z-abs(T1.z))--(T1.x,L1.y,L1.z-abs(T2.z))--cycle),pink); draw(L1--L2,L=Label("$\ell$",position=EndPoint,align=3*E),red);  label("$\mathcal{P}$",midpoint(L1--(T1.x,L1.y,T1.z)),(0,-3,0),heavygreen); label("$\mathcal{Q}$",midpoint(L1--(T1.x,L1.y,L1.z-abs(T2.z))),(0,-3,0),heavymagenta);  dot(O1,linewidth(4.5)); dot(O2,linewidth(4.5)); dot(O3,linewidth(4.5)); dot(T1,heavygreen+linewidth(4.5)); dot(T2,heavygreen+linewidth(4.5)); dot(T3,heavygreen+linewidth(4.5)); dot(A,red+linewidth(4.5)); [/asy] ~MRENTHUSIASM

Solution 1 (Similar Triangles and Pythagorean Theorem)

This solution refers to the Diagram section.

As shown below, let $O_1,O_2,O_3$ be the centers of the spheres (where sphere $O_3$ has radius $13$) and $T_1,T_2,T_3$ be their respective points of tangency to plane $\mathcal{P}.$ Let $\mathcal{R}$ be the plane that is determined by $O_1,O_2,$ and $O_3.$ Suppose $A$ is the foot of the perpendicular from $O_3$ to line $\ell,$ so $\overleftrightarrow{O_3A}$ is the perpendicular bisector of $\overline{O_1O_2}.$ We wish to find $T_3A.$ [asy] /* Made by MRENTHUSIASM */ size(300); import graph3; import solids;  currentprojection=orthographic((1,1/2,0)); triple O1, O2, O3, T1, T2, T3, A, L1, L2; O1 = (0,-36,0); O2 = (0,36,0); O3 = (0,0,-sqrt(1105)); T1 = (864*sqrt(1105)/1105,-36,-828*sqrt(1105)/1105); T2 = (864*sqrt(1105)/1105,36,-828*sqrt(1105)/1105); T3 = (24*sqrt(1105)/85,0,-108*sqrt(1105)/85); A = (0,0,-36*sqrt(1105)/23); L1 = shift(0,-80,0)*A; L2 = shift(0,80,0)*A;  draw(surface(L1--L2--(-T2.x,L2.y,T2.z)--(-T1.x,L1.y,T1.z)--cycle),pink); draw(surface(L1--L2--(L2.x,L2.y,40)--(L1.x,L1.y,40)--cycle),gray); draw(shift(O1)*rotate(90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White); draw(shift(O2)*rotate(90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White); draw(shift(O3)*rotate(90,O1,O2)*scale3(13)*unithemisphere,red,light=White); draw(surface(L1--L2--(T2.x,L2.y,T2.z)--(T1.x,L1.y,T1.z)--cycle),palegreen); draw(surface(L1--L2--(-T2.x,L2.y,L2.z-abs(T2.z))--(-T1.x,L1.y,L2.z-abs(T1.z))--cycle),palegreen); draw(surface(L1--L2--(L2.x,L2.y,L2.z-abs(T1.z))--(L1.x,L1.y,L1.z-abs(T2.z))--cycle),gray); draw(surface(L1--L2--(T2.x,L2.y,L2.z-abs(T1.z))--(T1.x,L1.y,L1.z-abs(T2.z))--cycle),pink); draw(O1--O2--O3--cycle^^O3--A,dashed); draw(T1--T2--T3--cycle^^T3--A,heavygreen); draw(O1--T1^^O2--T2^^O3--T3,mediumblue+dashed); draw(L1--L2,L=Label("$\ell$",position=EndPoint,align=3*E),red);  label("$\mathcal{P}$",midpoint(L1--(T1.x,L1.y,T1.z)),(0,-3,0),heavygreen); label("$\mathcal{Q}$",midpoint(L1--(T1.x,L1.y,L1.z-abs(T2.z))),(0,-3,0),heavymagenta); label("$\mathcal{R}$",O1,(0,-24,0));  dot("$O_1$",O1,(0,-1,1),linewidth(4.5)); dot("$O_2$",O2,(0,1,1),linewidth(4.5)); dot("$O_3$",O3,(0,-1.5,0),linewidth(4.5)); dot("$T_1$",T1,(0,-1,-1),heavygreen+linewidth(4.5)); dot("$T_2$",T2,(0,1,-1),heavygreen+linewidth(4.5)); dot("$T_3$",T3,(0,-1,-1),heavygreen+linewidth(4.5)); dot("$A$",A,(0,0,-2),red+linewidth(4.5)); [/asy] Note that:

  1. In $\triangle O_1O_2O_3,$ we get $O_1O_2=72$ and $O_1O_3=O_2O_3=49.$
  2. Both $\triangle O_1O_2O_3$ and $\overline{O_3A}$ lie in plane $\mathcal{R}.$ Both $\triangle T_1T_2T_3$ and $\overline{T_3A}$ lie in plane $\mathcal{P}.$
  3. By symmetry, since planes $\mathcal{P}$ and $\mathcal{Q}$ are reflections of each other about plane $\mathcal{R},$ the three planes are concurrent to line $\ell.$
  4. Since $\overline{O_1T_1}\perp\mathcal{P}$ and $\overline{O_3T_3}\perp\mathcal{P},$ it follows that $\overline{O_1T_1}\parallel\overline{O_3T_3},$ from which $O_1,O_3,T_1,$ and $T_3$ are coplanar.

Now, we focus on cross-sections $O_1O_3T_3T_1$ and $\mathcal{R}:$

  1. In the three-dimensional space, the intersection of a line and a plane must be exactly one of the empty set, a point, or a line.

    Clearly, cross-section $O_1O_3T_3T_1$ intersects line $\ell$ at exactly one point. Furthermore, as the intersection of planes $\mathcal{R}$ and $\mathcal{P}$ is line $\ell,$ we conclude that $\overrightarrow{O_1O_3}$ and $\overrightarrow{T_1T_3}$ must intersect line $\ell$ at the same point. Let $B$ be the point of concurrency of $\overrightarrow{O_1O_3},\overrightarrow{T_1T_3},$ and line $\ell.$

  2. In cross-section $\mathcal{R},$ let $C$ be the foot of the perpendicular from $O_1$ to line $\ell,$ and $D$ be the foot of the perpendicular from $O_3$ to $\overline{O_1C}.$

We have the following diagram: [asy] size(300); import graph3; import solids;  currentprojection=orthographic((1,1/2,0)); triple O1, O3, T1, T3, A, B, C, D; O1 = (0,-36,0); O3 = (0,0,-sqrt(1105)); T1 = (864*sqrt(1105)/1105,-36,-828*sqrt(1105)/1105); T3 = (24*sqrt(1105)/85,0,-108*sqrt(1105)/85); A = (0,0,-36*sqrt(1105)/23); B = intersectionpoint(O1--O1+100*(O3-O1),T1--T1+100*(T3-T1)); C = (0,-36,-36*sqrt(1105)/23); D = (0,-36,-sqrt(1105));  draw(C--O1--O3--A^^D--O3--B,dashed); draw(T1--T3--A^^T3--B,heavygreen); draw(O1--T1^^O3--T3,mediumblue+dashed); draw(shift(0,-80,0)*A--shift(0,80,0)*A,L=Label("$\ell$",position=EndPoint,align=3*E),red); dot("$O_1$",O1,(0,-1,1),linewidth(4.5)); dot("$O_3$",O3,(0,1,1),linewidth(4.5)); dot("$T_1$",T1,(0,-1,-1),heavygreen+linewidth(4.5)); dot("$T_3$",T3,(0,-1,-1),heavygreen+linewidth(4.5)); dot("$A$",A,(0,0,-2),red+linewidth(4.5)); dot("$B$",B,(0,0,-2),red+linewidth(4.5)); dot("$C$",C,(0,0,-2),red+linewidth(4.5)); dot("$D$",D,(0,-2,0),linewidth(4.5)); [/asy] In cross-section $O_1O_3T_3T_1,$ since $\overline{O_1T_1}\parallel\overline{O_3T_3}$ as discussed, we obtain $\triangle O_1T_1B\sim\triangle O_3T_3B$ by AA, with the ratio of similitude $\frac{O_1T_1}{O_3T_3}=\frac{36}{13}.$ Therefore, we get $\frac{O_1B}{O_3B}=\frac{49+O_3B}{O_3B}=\frac{36}{13},$ or $O_3B=\frac{637}{23}.$

In cross-section $\mathcal{R},$ note that $O_1O_3=49$ and $DO_3=\frac{O_1O_2}{2}=36.$ Applying the Pythagorean Theorem to right $\triangle O_1DO_3,$ we have $O_1D=\sqrt{1105}.$ Moreover, since $\ell\perp\overline{O_1C}$ and $\overline{DO_3}\perp\overline{O_1C},$ we obtain $\ell\parallel\overline{DO_3}$ so that $\triangle O_1CB\sim\triangle O_1DO_3$ by AA, with the ratio of similitude $\frac{O_1B}{O_1O_3}=\frac{49+\frac{637}{23}}{49}.$ Therefore, we get $\frac{O_1C}{O_1D}=\frac{\sqrt{1105}+DC}{\sqrt{1105}}=\frac{49+\frac{637}{23}}{49},$ or $DC=\frac{13\sqrt{1105}}{23}.$

Finally, note that $\overline{O_3T_3}\perp\overline{T_3A}$ and $O_3T_3=13.$ Since quadrilateral $DCAO_3$ is a rectangle, we have $O_3A=DC=\frac{13\sqrt{1105}}{23}.$ Applying the Pythagorean Theorem to right $\triangle O_3T_3A$ gives $T_3A=\frac{312}{23},$ from which the answer is $312+23=\boxed{335}.$

~MRENTHUSIASM

Solution 2 (Pythagorean Theorem)

The centers of the three spheres form a $49$-$49$-$72$ triangle. Consider the points at which the plane is tangent to the two bigger spheres; the line segment connecting these two points should be parallel to the $72$ side of this triangle. Take its midpoint $M$, which is $36$ away from the midpoint $A$ of the $72$ side, and connect these two midpoints.

Now consider the point at which the plane is tangent to the small sphere, and connect $M$ with the small sphere's tangent point $B$. Extend $\overline{MB}$ through $B$ until it hits the ray from $A$ through the center of the small sphere (convince yourself that these two intersect). Call this intersection $D$, the center of the small sphere $C$, we want to find $BD$.

By Pythagoras, $AC=\sqrt{49^2-36^2}=\sqrt{1105}$, and we know that $MA=36$ and $BC=13$. We know that $\overline{MA}$ and $\overline{BC}$ must be parallel, using ratios we realize that $CD=\frac{13}{23}\sqrt{1105}$. Apply the Pythagorean theorem to $\triangle BCD$, $BD=\frac{312}{23}$, so $312 + 23 = \boxed{335}$.

~Ross Gao

Solution 3 (Proportion)

This solution refers to the Diagram section. [asy] /* Made by MRENTHUSIASM */ size(300); import graph3; import solids;  currentprojection=orthographic((10,-3,-40));  triple O1, O2, O3, T1, T2, T3, A, L1, L2, M; O1 = (0,-36,0); O2 = (0,36,0); O3 = (0,0,-sqrt(1105)); T1 = (864*sqrt(1105)/1105,-36,-828*sqrt(1105)/1105); T2 = (864*sqrt(1105)/1105,36,-828*sqrt(1105)/1105); T3 = (24*sqrt(1105)/85,0,-108*sqrt(1105)/85); A = (0,0,-36*sqrt(1105)/23); L1 = shift(0,-80,0)*A; L2 = shift(0,80,0)*A; M = midpoint(T1--T2);  draw(shift(O1)*rotate(-90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White); draw(shift(O2)*rotate(-90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White); draw(shift(O3)*rotate(-90,O1,O2)*scale3(13)*unithemisphere,red,light=White); draw(surface(L1--L2--(L2.x,L2.y,40)--(L1.x,L1.y,40)--cycle),gray); draw(shift(O1)*rotate(90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White); draw(shift(O2)*rotate(90,O1,O2)*scale3(36)*unithemisphere,yellow,light=White); draw(shift(O3)*rotate(90,O1,O2)*scale3(13)*unithemisphere,red,light=White); draw(surface(T2--T1--T3--A--cycle),cyan); draw(surface(L1--L2--(L2.x,L2.y,L2.z-abs(T1.z))--(L1.x,L1.y,L1.z-abs(T2.z))--cycle),gray); draw(T1--T2--T3--cycle^^M--A--T2,blue);  dot("$O_1$",O1,(0,-1,1),linewidth(4.5)); dot("$O_2$",O2,(0,1,1),linewidth(4.5)); dot("$O$",O3,(0.5,-1,0),linewidth(4.5)); dot("$T_1$",T1,(0,-1,-1),blue+linewidth(4.5)); dot("$T_2$",T2,(0,1,-1),blue+linewidth(4.5)); dot("$T$",T3,(1,1,2),blue+linewidth(4.5)); dot("$M$",M,(0,0,5),blue+linewidth(4.5)); dot("$A$",A,(-0.5,-1.5,0),red+linewidth(4.5)); [/asy] The isosceles triangle of centers $O_1 O_2 O$ ($O$ is the center of sphere of radii $13$) has sides $O_1 O = O_2 O = 36 + 13 = 49,$ and $O_1 O_2 = 36 + 36 = 72.$

Let $N$ be the midpoint $O_1 O_2$.

The isosceles triangle of points of tangency $T_1 T_2 T$ has sides $T_1 T = T_2 T = 2 \sqrt{13 \cdot 36} = 12 \sqrt{13}$ and $T_1 T_2 = 72.$

Let $M$ be the midpoint $T_1 T_2.$

The height $TM$ is $\sqrt {12^2 \cdot 13 - 36^2} = 12 \sqrt {13-9} = 24.$

The tangents of the half-angle between the planes is $\frac {TO}{AT} = \frac {MN - TO}{TM},$ so $\frac {13}{AT} = \frac {36 - 13}{24},$ \[AT = \frac{24\cdot 13}{23} = \frac {312}{23} \implies  312 + 23 = \boxed{335}.\] vladimir.shelomovskii@gmail.com, vvsss

Video Solution by Interstigation

https://youtu.be/bQ3KdG4xH0A

~Interstigation

See Also

2021 AIME II (ProblemsAnswer KeyResources)
Preceded by
Problem 9
Followed by
Problem 11
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
All AIME Problems and Solutions

The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions. AMC logo.png