Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "2013 Mock AIME I Problems/Problem 13"

(created solution page)
 
(→‎Solution: (largely an expansion of this skeleton solution by rocketscience: https://artofproblemsolving.com/community/c594864h513460p2907008))
 
Line 3: Line 3:
  
 
== Solution ==
 
== Solution ==
−
<math>\boxed{010}</math>.
+
 
 +
Because <math>[\triangle ABC] = 168</math> and <math>BC=18</math>, we know that the height from <math>A</math> to <math>BC</math> must be <math>18</math>. Thus, because the perpendicular is the shortest segment from a line to a point not on the line, we know that <math>AB \geq 18</math>. Thus, the minimum value of <math>AB</math> is <math>18</math>, when <math>\overline{AB} \perp \overline{BC}</math>. This is technically not possible, because <math>\triangle ABC</math> is acute, but it may be helpful in getting a better sense of the problem. This scenario is shown below:
 +
 
 +
<asy>
 +
 
 +
import geometry;
 +
 
 +
point A = origin;
 +
point B = (0,18);
 +
point C = (18,18);
 +
triangle t = triangle(A,B,C);
 +
 
 +
point M = midpoint(B--C);
 +
 
 +
circle c = circumcircle(t);
 +
point O = circumcenter(t);
 +
 
 +
point G = centroid(t);
 +
 
 +
// Triangle and Circumcircle
 +
draw(t);
 +
draw(c);
 +
 
 +
// Median AM
 +
draw(A--M);
 +
 
 +
// Labelling Points
 +
dot(A);
 +
label("A",A,SW);
 +
dot(B);
 +
label("H=B",B,NW);
 +
dot(C);
 +
label("C",C,NE);
 +
dot(O);
 +
label("O",O,SE);
 +
dot(M);
 +
label("M",M,N);
 +
dot(G);
 +
label("G",G,WSW);
 +
 
 +
// Length Labels
 +
label("$9$",midpoint(B--M),N);
 +
label("$9$",midpoint(M--C),N);
 +
label("$18$",midpoint(A--B),W);
 +
 
 +
// Right Angle Mark
 +
markscalefactor = 0.18;
 +
draw(rightanglemark(A,B,C));
 +
 
 +
</asy>
 +
 
 +
Because the orthocenter of <math>\triangle ABC</math> is at <math>B</math>, <math>HM=BM=9</math>. Now, by the [[Pythagorean Theorem]], <math>AM=9\sqrt5</math>. Because the centrod is <math>\tfrac23</math> of the way along the median from the vertex, we know that <math>GM=\tfrac{9\sqrt5}3=3\sqrt5<9</math>. Thus, we have <math>GM<HM</math>, so the given inequality does not hold. Now, let us look at the example where <math>A</math> is collinear with <math>O</math> and <math>M</math>:
 +
 
 +
<asy>
 +
 
 +
import geometry;
 +
 
 +
point A = origin;
 +
point B = (-9,18);
 +
point C = (9,18);
 +
triangle t = triangle(A,B,C);
 +
 
 +
point M = midpoint(B--C);
 +
 
 +
circle c = circumcircle(t);
 +
point O = circumcenter(t);
 +
 
 +
point G = centroid(t);
 +
point H = orthocentercenter(t);
 +
 
 +
point Cp;
 +
 
 +
// Triangle and Circumcircle
 +
draw(t);
 +
draw(c);
 +
 
 +
// Median AM, Segment OB
 +
draw(A--M);
 +
draw(O--B);
 +
 
 +
// Defining C'
 +
pair[] cp = intersectionpoints(line(O,C),c);
 +
Cp = cp[0];
 +
 
 +
// Labelling Points
 +
dot(A);
 +
label("A",A,S);
 +
dot(B);
 +
label("B",B,NW);
 +
dot(C);
 +
label("C",C,NE);
 +
dot(O);
 +
label("O",O,SW);
 +
dot(M);
 +
label("M",M,N);
 +
dot(G);
 +
label("G",G,E);
 +
dot(H);
 +
label("H",H,ENE);
 +
dot(Cp);
 +
label("C$^{\prime}$",Cp,SW);
 +
 
 +
// Length Labels
 +
label("$9$",midpoint(B--M),N);
 +
label("$9$",midpoint(M--C),N);
 +
 
 +
// Right Angle Mark
 +
markscalefactor = 0.18;
 +
draw(rightanglemark(A,M,B));
 +
 
 +
</asy>
 +
 
 +
By centroid properties, we know that <math>AG=\tfrac23 AM = \tfrac23 \cdot 18 = 12</math>. Let <math>R</math> be the circumradius of <math>\triangle ABC</math>. Then, by Pythagoras in <math>\triangle OBM</math>, <math>OM=\sqrt{R^2-81}</math>. Because <math>OA=R</math> and <math>AM=18</math>, we have the equation <math>\sqrt{R^2-81}+R=18</math>, which yields <math>AO=R=\tfrac{45}4<12=AG</math>, so <math>G</math> is between <math>O</math> and <math>M</math>. Because <math>\triangle ABC</math> is acute, we know that <math>H</math> is in the interior of <math>\triangle ABC</math>. This fact, combined with the properties of the [[Euler Line]], show that <math>H</math> must be closer to <math>M</math> than <math>G</math> is, so <math>GM>HM</math>, and the inequality is thereby satisfied.
 +
 
 +
As in the above diagram, let <math>C^{\prime}</math> be the point on the circle such that <math>\overline{CC^{\prime}}</math> is a diameter of the circle. Because <math>\triangle ABC</math> is acute, <math>A</math> and <math>B</math> must be on the opposite sides of <math>\overline{CC^{\prime}}</math> (so that the circumcenter lies inside the triangle). We want <math>A</math> to be as close to <math>C^{\prime}</math> as possible to minimize <math>AB</math>, but, from the first example we explored, we know that when <math>A=C^{\prime}</math>, <math>HM>GM</math>. We would reasonably expect the difference <math>GM-HM</math> to vary continuously as we move <math>A</math> towards <math>C^{\prime}</math>, and this difference is positive in the second example and negative in the first example. Thus, by the [[Intermediate Value Theorem]], there should be a point on the circumcircle between these two locations for <math>A</math> such that this difference is zero, or <math>GM=HM</math>. This point should be as close as we can get to <math>C^{\prime}</math> while still satisfying the inequality.
 +
 
 +
Now, let <math>GM=HM</math> and <math>D</math> be the foot of the altitude from <math>A</math> to <math>\overline{BC}</math>. Further, let <math>MD=x</math>, so <math>BD=9-x</math>, as shown below:
 +
 
 +
<asy>
 +
 
 +
import geometry;
 +
 
 +
point A = (-5.678648, 1.454964);
 +
point B = (-9,18);
 +
point C = (9,18);
 +
triangle t = triangle(A,B,C);
 +
 
 +
line a = altitude(t.BC);
 +
point D;
 +
 
 +
point M = midpoint(B--C);
 +
 
 +
circle c = circumcircle(t);
 +
point O = circumcenter(t);
 +
 
 +
point G = centroid(t);
 +
point H = orthocentercenter(t);
 +
 
 +
// Triangle and Circumcircle
 +
draw(t);
 +
draw(c);
 +
 
 +
// Median AM, Segment HM
 +
draw(A--M);
 +
draw(H--M);
 +
 
 +
// Altitude AD
 +
pair[] d = intersectionpoints(a,B--C);
 +
D = d[0];
 +
draw(A--D);
 +
 
 +
// Labelling Points
 +
dot(A);
 +
label("A",A,S);
 +
dot(B);
 +
label("B",B,NW);
 +
dot(C);
 +
label("C",C,NE);
 +
dot(O);
 +
label("O",O,S);
 +
dot(M);
 +
label("M",M,N);
 +
dot(G);
 +
label("G",G,WSW);
 +
dot(H);
 +
label("H",H,ESE);
 +
dot(D);
 +
label("D",D,N);
 +
 
 +
// Length Labels
 +
label("$x$",midpoint(D--M),N);
 +
label("$9$",midpoint(M--C),N);
 +
 
 +
// Right Angle Mark
 +
markscalefactor = 0.15;
 +
draw(rightanglemark(A,D,B));
 +
 
 +
</asy>
 +
 
 +
By Pythagoras, we know that <math>AM = \sqrt{AD^2+DM^2} = \sqrt{18^2+x^2} = \sqrt{x^2+324}</math>. Thus, by centroid properties, <math>GM = \tfrac13 AM = \tfrac{\sqrt{x^2+324}}3</math>. Now, we desire to find another expression for <math>GM=HM</math>. By using Pythagoras again, we see that <math>AB = \sqrt{(9-x)^2+18^2} = \sqrt{x^2-18x+405}</math> and <math>AC = \sqrt{(9+x)^2+18^2} = \sqrt{x^2+18x+405}</math>. Now, let <math>\measuredangle BAC = \alpha</math>. Also let <math>AC=b</math> and <math>AB=c</math>. By the [[Law of Cosines]] in <math>\triangle ABC</math>, we have the following equation:
 +
\begin{align*}
 +
BC^2 &= AB^2 + AC^2 - 2AB \cdot AC \cos\alpha \\
 +
18^2 &= (x^2+18x+405)+(x^2-18x+405)-2bc\cos\alpha \\
 +
\frac{324}2 &= x^2+405-bc\cos\alpha \\
 +
bc\cos\alpha &= x^2+405-162 \\
 +
\cos\alpha &= \frac{x^2+243}{bc}
 +
\end{align*}
 +
By rearranging the formula for the area of a triangle <math>\tfrac{abc}{4R}</math> and recalling that, from the problem, <math>[\triangle ABC] = 162</math>, we see that <math>R=\tfrac{abc}{4 \cdot 162}</math>. Because <math>BC=18</math>, this expression equates to <math>\tfrac{18bc}{4 \cdot 162}=\tfrac{bc}{36}</math>. By the formula for the distance from a vertex to the orthocenter and substitution, we know that <math>AH=2R\cos\alpha=2(\tfrac{bc}{36})(\tfrac{x^2+243}{bc})=\tfrac{x^2+243}{18}</math>. Thus, because <math>AD=18</math>, <math>HD=18-\tfrac{x^2+243}{18}=\tfrac{81-x^2}{18}</math>. By Pythagoras in <math>\triangle HDM</math>, <math>HM = \sqrt{\tfrac{(81-x^2)^2}{324}+x^2} = \tfrac{\sqrt{81^2-162x^2+x^4+324x^2}}{18} = \tfrac{\sqrt{x^4+162x^2+81^2}}{18} = \tfrac{x^2+81}{18}</math>. Equating this with our earlier expression for <math>GM</math>, we get the following equation:
 +
\begin{align*}
 +
\frac{x^2+81}{18} &= \frac{\sqrt{x^2+324}}3 \\
 +
\frac{x^2+81}6 &= \sqrt{x^2+324} \\
 +
\frac{x^4+162x^2+81^2}{36} &= x^2+18^2 \\
 +
x^4+162x^2+81^2 &= 36x^2+6^2 \cdot 18^2 \\
 +
x^4+126x^2+81^2-108^2 &= 0 \\
 +
x^4+126x^2-(108-81)(108+81) &= 0 \\
 +
x^4+126x^2-27 \cdot 189 &= 0 \\
 +
x^2 &= \frac{-126 \pm \sqrt{126^2+4\cdot27\cdot189}}2 \\
 +
x^2 &= -63 \pm 36\sqrt7
 +
\end{align*}
 +
 
 +
Because <math>x^2>0</math>, <math>x^2=-63+36\sqrt7</math>. Plugging this into <math>GM=HM=\tfrac{x^2+81}{18}</math> yields <math>\tfrac{-63+36\sqrt7+81}{18}=\tfrac{18+36\sqrt7}{18}=1+2\sqrt7</math>. Thus, our answer is <math>1+2+7=\boxed{010}</math>.
  
 
== See also ==
 
== See also ==

Latest revision as of 18:16, 31 July 2024

Problem

In acute $\triangle ABC$, $H$ is the orthocenter, $G$ is the centroid, and $M$ is the midpoint of $BC$. It is obvious that $AM \ge GM$, but $GM \ge HM$ does not always hold. If $[ABC] = 162$, $BC=18$, then the value of $GM$ which produces the smallest value of $AB$ such that $GM \ge HM$ can be expressed in the form $a+b\sqrt{c}$, for $b$ squarefree. Compute $a+b+c$.

Solution

Because $[\triangle ABC] = 168$ and $BC=18$, we know that the height from $A$ to $BC$ must be $18$. Thus, because the perpendicular is the shortest segment from a line to a point not on the line, we know that $AB \geq 18$. Thus, the minimum value of $AB$ is $18$, when $\overline{AB} \perp \overline{BC}$. This is technically not possible, because $\triangle ABC$ is acute, but it may be helpful in getting a better sense of the problem. This scenario is shown below:

[asy] import geometry; point A = origin; point B = (0,18); point C = (18,18); triangle t = triangle(A,B,C); point M = midpoint(B--C); circle c = circumcircle(t); point O = circumcenter(t); point G = centroid(t); // Triangle and Circumcircle draw(t); draw(c); // Median AM draw(A--M); // Labelling Points dot(A); label("A",A,SW); dot(B); label("H=B",B,NW); dot(C); label("C",C,NE); dot(O); label("O",O,SE); dot(M); label("M",M,N); dot(G); label("G",G,WSW); // Length Labels label("$9$",midpoint(B--M),N); label("$9$",midpoint(M--C),N); label("$18$",midpoint(A--B),W); // Right Angle Mark markscalefactor = 0.18; draw(rightanglemark(A,B,C)); [/asy]

Because the orthocenter of $\triangle ABC$ is at $B$, $HM=BM=9$. Now, by the Pythagorean Theorem, $AM=9\sqrt5$. Because the centrod is $\tfrac23$ of the way along the median from the vertex, we know that $GM=\tfrac{9\sqrt5}3=3\sqrt5<9$. Thus, we have $GM<HM$, so the given inequality does not hold. Now, let us look at the example where $A$ is collinear with $O$ and $M$:

[asy] import geometry; point A = origin; point B = (-9,18); point C = (9,18); triangle t = triangle(A,B,C); point M = midpoint(B--C); circle c = circumcircle(t); point O = circumcenter(t); point G = centroid(t); point H = orthocentercenter(t); point Cp; // Triangle and Circumcircle draw(t); draw(c); // Median AM, Segment OB draw(A--M); draw(O--B); // Defining C' pair[] cp = intersectionpoints(line(O,C),c); Cp = cp[0]; // Labelling Points dot(A); label("A",A,S); dot(B); label("B",B,NW); dot(C); label("C",C,NE); dot(O); label("O",O,SW); dot(M); label("M",M,N); dot(G); label("G",G,E); dot(H); label("H",H,ENE); dot(Cp); label("C$^{\prime}$",Cp,SW); // Length Labels label("$9$",midpoint(B--M),N); label("$9$",midpoint(M--C),N); // Right Angle Mark markscalefactor = 0.18; draw(rightanglemark(A,M,B)); [/asy]

By centroid properties, we know that $AG=\tfrac23 AM = \tfrac23 \cdot 18 = 12$. Let $R$ be the circumradius of $\triangle ABC$. Then, by Pythagoras in $\triangle OBM$, $OM=\sqrt{R^2-81}$. Because $OA=R$ and $AM=18$, we have the equation $\sqrt{R^2-81}+R=18$, which yields $AO=R=\tfrac{45}4<12=AG$, so $G$ is between $O$ and $M$. Because $\triangle ABC$ is acute, we know that $H$ is in the interior of $\triangle ABC$. This fact, combined with the properties of the Euler Line, show that $H$ must be closer to $M$ than $G$ is, so $GM>HM$, and the inequality is thereby satisfied.

As in the above diagram, let $C^{\prime}$ be the point on the circle such that $\overline{CC^{\prime}}$ is a diameter of the circle. Because $\triangle ABC$ is acute, $A$ and $B$ must be on the opposite sides of $\overline{CC^{\prime}}$ (so that the circumcenter lies inside the triangle). We want $A$ to be as close to $C^{\prime}$ as possible to minimize $AB$, but, from the first example we explored, we know that when $A=C^{\prime}$, $HM>GM$. We would reasonably expect the difference $GM-HM$ to vary continuously as we move $A$ towards $C^{\prime}$, and this difference is positive in the second example and negative in the first example. Thus, by the Intermediate Value Theorem, there should be a point on the circumcircle between these two locations for $A$ such that this difference is zero, or $GM=HM$. This point should be as close as we can get to $C^{\prime}$ while still satisfying the inequality.

Now, let $GM=HM$ and $D$ be the foot of the altitude from $A$ to $\overline{BC}$. Further, let $MD=x$, so $BD=9-x$, as shown below:

[asy] import geometry; point A = (-5.678648, 1.454964); point B = (-9,18); point C = (9,18); triangle t = triangle(A,B,C); line a = altitude(t.BC); point D; point M = midpoint(B--C); circle c = circumcircle(t); point O = circumcenter(t); point G = centroid(t); point H = orthocentercenter(t); // Triangle and Circumcircle draw(t); draw(c); // Median AM, Segment HM draw(A--M); draw(H--M); // Altitude AD pair[] d = intersectionpoints(a,B--C); D = d[0]; draw(A--D); // Labelling Points dot(A); label("A",A,S); dot(B); label("B",B,NW); dot(C); label("C",C,NE); dot(O); label("O",O,S); dot(M); label("M",M,N); dot(G); label("G",G,WSW); dot(H); label("H",H,ESE); dot(D); label("D",D,N); // Length Labels label("$x$",midpoint(D--M),N); label("$9$",midpoint(M--C),N); // Right Angle Mark markscalefactor = 0.15; draw(rightanglemark(A,D,B)); [/asy]

By Pythagoras, we know that $AM = \sqrt{AD^2+DM^2} = \sqrt{18^2+x^2} = \sqrt{x^2+324}$. Thus, by centroid properties, $GM = \tfrac13 AM = \tfrac{\sqrt{x^2+324}}3$. Now, we desire to find another expression for $GM=HM$. By using Pythagoras again, we see that $AB = \sqrt{(9-x)^2+18^2} = \sqrt{x^2-18x+405}$ and $AC = \sqrt{(9+x)^2+18^2} = \sqrt{x^2+18x+405}$. Now, let $\measuredangle BAC = \alpha$. Also let $AC=b$ and $AB=c$. By the Law of Cosines in $\triangle ABC$, we have the following equation: \begin{align*} BC^2 &= AB^2 + AC^2 - 2AB \cdot AC \cos\alpha \\ 18^2 &= (x^2+18x+405)+(x^2-18x+405)-2bc\cos\alpha \\ \frac{324}2 &= x^2+405-bc\cos\alpha \\ bc\cos\alpha &= x^2+405-162 \\ \cos\alpha &= \frac{x^2+243}{bc} \end{align*} By rearranging the formula for the area of a triangle $\tfrac{abc}{4R}$ and recalling that, from the problem, $[\triangle ABC] = 162$, we see that $R=\tfrac{abc}{4 \cdot 162}$. Because $BC=18$, this expression equates to $\tfrac{18bc}{4 \cdot 162}=\tfrac{bc}{36}$. By the formula for the distance from a vertex to the orthocenter and substitution, we know that $AH=2R\cos\alpha=2(\tfrac{bc}{36})(\tfrac{x^2+243}{bc})=\tfrac{x^2+243}{18}$. Thus, because $AD=18$, $HD=18-\tfrac{x^2+243}{18}=\tfrac{81-x^2}{18}$. By Pythagoras in $\triangle HDM$, $HM = \sqrt{\tfrac{(81-x^2)^2}{324}+x^2} = \tfrac{\sqrt{81^2-162x^2+x^4+324x^2}}{18} = \tfrac{\sqrt{x^4+162x^2+81^2}}{18} = \tfrac{x^2+81}{18}$. Equating this with our earlier expression for $GM$, we get the following equation: \begin{align*} \frac{x^2+81}{18} &= \frac{\sqrt{x^2+324}}3 \\ \frac{x^2+81}6 &= \sqrt{x^2+324} \\ \frac{x^4+162x^2+81^2}{36} &= x^2+18^2 \\ x^4+162x^2+81^2 &= 36x^2+6^2 \cdot 18^2 \\ x^4+126x^2+81^2-108^2 &= 0 \\ x^4+126x^2-(108-81)(108+81) &= 0 \\ x^4+126x^2-27 \cdot 189 &= 0 \\ x^2 &= \frac{-126 \pm \sqrt{126^2+4\cdot27\cdot189}}2 \\ x^2 &= -63 \pm 36\sqrt7 \end{align*}

Because $x^2>0$, $x^2=-63+36\sqrt7$. Plugging this into $GM=HM=\tfrac{x^2+81}{18}$ yields $\tfrac{-63+36\sqrt7+81}{18}=\tfrac{18+36\sqrt7}{18}=1+2\sqrt7$. Thus, our answer is $1+2+7=\boxed{010}$.

See also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2013_Mock_AIME_I_Problems/Problem_13&oldid=224087"