Difference between revisions of "2018 AIME I Problems/Problem 13"

(Solution 2 (A more elegant, but lengthy, approach))
(Solution 2 (A more elegant, but lengthy, approach))
(2 intermediate revisions by one other user not shown)
Line 8: Line 8:
 
==Solution 2 (A more elegant, but lengthy, approach)==
 
==Solution 2 (A more elegant, but lengthy, approach)==
  
First, instead of using angles to find <math>[AI_1I_2]</math>, let's try to find the area of other, more simpler figures, and subtract that from <math>[ABC]</math>. However, to do this, we need to be able to figure out the length of the inradii, and so, we need to find <math>AX</math>. To minimize <math>[AI_1I_2]</math>, intuitively, we should try to minimize the length of <math>AX</math>, since, after using the <math>rs=A</math> formula for the area of a triangle, we'll be able to minimize the inradii lengths, and thus, eventually minimize the area of <math>[AI_1I_2]</math> (I did not come up with a solid proof to back this intuition, if any does, don't hesitate to add a note at the bottom).
+
First, instead of using angles to find <math>[AI_1I_2]</math>, let's try to find the area of other, simpler figures, and subtract that from <math>[ABC]</math>. However, to do this, we need to be able to figure out the length of the inradii, and so, we need to find <math>AX</math>.  
  
To minimize <math>AX</math>, let's use Stewart's Theorem. Let <math>AX=d</math>, <math>BX=s</math>, and <math>CX=32-s</math>. After an application of Stewart's Theorem, we will get that <cmath>d=\sqrt{s^2-24s+900}</cmath> To minimize this quadratic, we need to let <math>s=12</math> whereby we conclude that <math>d=6\sqrt{21}</math>.
 
  
From here, draw perpendiculars down from <math>I_1</math> and <math>I_2</math> to <math>AB</math> and <math>AC</math> respectively, and label the foot of these perpendiculars <math>D</math> and <math>E</math> respectively. After, draw the inradii from <math>I_1</math> to <math>BX</math>, and from <math>I_2</math> to <math>CX</math>,  and draw in <math>I_1I_2</math>. Label the foot of the inradii to <math>BX</math> and <math>CX</math>, <math>F</math> and <math>G</math>, respectively. From here, we see that to find <math>[AI_1I_2]</math>, we need to find <math>[ABC]</math>, and subtract off the sum of <math>[DBCEI_2I_1]</math>, <math>[ADI_1]</math>, and <math>[AEI_2]</math>.  
+
To minimize <math>[AI_1I_2]</math>, intuitively, we should try to minimize the length of <math>AX</math>, since, after using the <math>rs=A</math> formula for the area of a triangle, we'll be able to minimize the inradii lengths, and thus, eventually minimize the area of <math>[AI_1I_2]</math>. (Proof needed here).
  
<math>[DBCEI_2I_1]</math> can be found by finding the area of two quadrilaterals (<math>[DBFI_1]</math>+<math>[ECGI_2]</math>) as well as the area of a trapezoid (<math>[FGI_2I_1]</math>). If we let the inradius of <math>ABX</math> be <math>r_1</math> and if we let the inradius of <math>ACX</math> be <math>r_2</math>, we'll find, after an application of basic geometry and careful calculations on paper, that <math>[DBCEI_2I_1]=13r_1+19r_2</math>.
 
  
The area of two triangles can be found in a similar fashion, however, we must use <math>XYZ</math> substitution to solve for <math>AD</math> as well as <math>AE</math>. After doing this, we'll get a similar sum in terms of <math>r_1</math> and <math>r_2</math> for the area of those two triangles (I'm not very good at LaTeX, so I can't typeset the area, but the area of the two triangles is equal to (9+3sqrt(21)(r_1)/2 + (7+3sqrt(21)(r_2)/2).
 
  
Now we're set. Summing up the area of the Hexagon and the two triangles and simplifying, we get that the formula for <math>[AI_1I_2]</math> is just [ABC]-(35+3sqrt(21)(r_1)/2 -(45+3sqrt(21)(r_2)/2.  
+
We need to minimize <math>AX</math>. Let <math>AX=d</math>, <math>BX=s</math>, and <math>CX=32-s</math>. After an application of Stewart's Theorem, we will get that <cmath>d=\sqrt{s^2-24s+900}</cmath> To minimize this quadratic, <math>s=12</math> whereby we conclude that <math>d=6\sqrt{21}</math>.  
  
Using Heron's formula, <math>[ABC]=96sqrt{21}</math>. Solving for <math>r_1</math> and <math>r_2</math> using Heron's in <math>ABX</math> and <math>ACX</math>, we get that <math>r_1=3sqrt{21}-9</math> and <math>r_2=3sqrt{21}-7</math>. From here, we just have to plug into our above equation and solve. Doing so gets us that the minimum area of <math>AI_1I_2=126</math>.
 
  
-Mathislife52
+
 
 +
From here, draw perpendiculars down from <math>I_1</math> and <math>I_2</math> to <math>AB</math> and <math>AC</math> respectively, and label the foot of these perpendiculars <math>D</math> and <math>E</math> respectively. After, draw the inradii from <math>I_1</math> to <math>BX</math>, and from <math>I_2</math> to <math>CX</math>, and draw in <math>I_1I_2</math>.
 +
 
 +
Label the foot of the inradii to <math>BX</math> and <math>CX</math>, <math>F</math> and <math>G</math>, respectively. From here, we see that to find <math>[AI_1I_2]</math>, we need to find <math>[ABC]</math>, and subtract off the sum of <math>[DBCEI_2I_1], [ADI_1],</math> and <math>[AEI_2]</math>.
 +
 
 +
 
 +
<math>[DBCEI_2I_1]</math> can be found by finding the area of two quadrilaterals <math>[DBFI_1]+[ECGI_2]</math> as well as the area of a trapezoid <math>[FGI_2I_1]</math>. If we let the inradius of <math>ABX</math> be <math>r_1</math> and if we let the inradius of <math>ACX</math> be <math>r_2</math>, we'll find, after an application of basic geometry and careful calculations on paper, that <math>[DBCEI_2I_1]=13r_1+19r_2</math>.
 +
 
 +
 
 +
The area of two triangles can be found in a similar fashion, however, we must use <math>XYZ</math> substitution to solve for <math>AD</math> as well as <math>AE</math>. After doing this, we'll get a similar sum in terms of <math>r_1</math> and <math>r_2</math> for the area of those two triangles which is equal to <cmath>\frac{(9+3\sqrt{21})(r_1)}{2} + \frac{(7+3\sqrt{21})(r_2)}{2}.</cmath>
 +
 
 +
Now we're set. Summing up the area of the Hexagon and the two triangles and simplifying, we get that the formula for <math>[AI_1I_2]</math> is just <cmath>[ABC]-\left(\frac{(35+3\sqrt{21})(r_1)}{2}+\frac{(45+3r_2\sqrt{21})(r_2)}{2}\right).</cmath>
 +
 
 +
Using Heron's formula, <math>[ABC]=96\sqrt{21}</math>. Solving for <math>r_1</math> and <math>r_2</math> using Heron's in <math>ABX</math> and <math>ACX</math>, we get that <math>r_1=3\sqrt{21}-9</math> and <math>r_2=3\sqrt{21}-7</math>. From here, we just have to plug into our above equation and solve.
 +
 
 +
Doing so gets us that the minimum area of <math>AI_1I_2=\boxed{126}.</math>
 +
 
 +
-Mathislife52 ~edited by phoenixfire
 +
==Solution 3 (Cheap, if you are running out of time or if you are confused)==
 +
What 2 kinds of cevians would yield clean values for angles BAX and CAX? The angle bisector and the altitude! However, the angle bisector clearly seems dirtier, and angle BXA is not clean then. One can just test the altitude out then. The area of triangle ABC, by Heron's formula, is <math>96\sqrt{21}</math>; one can easily find the altitude length as <math>6\sqrt{21}</math>, with BX=12 and CX=20. The area of ABC can also tell us that our answer should be a multiple of 21 most likely. One can find AI1 by keeping in mind that in a right triangle, the Incenter, the right angle vertex, and the two contact points of the incircle adjacent to the right angle vertex form a square. This means that one can use the pythagorean theorem to get AI1^2 = r^2 + (3*sqrt(21)+9) using the well known theorems (involving s-a, s-b, s-c) about the length of the tangent segments to the incircle in a triangle. r=s-a = 3*sqrt(21)-9 due to the square, so one can get AI1 = sqrt(540). One can perform analagous calculations to obtain that AI2 = sqrt(476). Sin(A/2) = sqrt(21/85) by the decently well known sin(a/2) = sqrt((s-b)*(s-c)/bc) formula. One can easily use the sine area formula then; the cancellation is almost like magic, giving a clean multiple of 21; 126! This must be the answer, so mark it and move on.
  
 
==See Also==
 
==See Also==

Revision as of 17:21, 19 February 2021

Problem

Let $\triangle ABC$ have side lengths $AB=30$, $BC=32$, and $AC=34$. Point $X$ lies in the interior of $\overline{BC}$, and points $I_1$ and $I_2$ are the incenters of $\triangle ABX$ and $\triangle ACX$, respectively. Find the minimum possible area of $\triangle AI_1I_2$ as $X$ varies along $\overline{BC}$.

Solution 1 (Official MAA)

First note that \[\angle I_1AI_2 = \angle I_1AX + \angle XAI_2 = \frac{\angle BAX}2 + \frac{\angle CAX}2 = \frac{\angle A}2\] is a constant not depending on $X$, so by $[AI_1I_2] = \tfrac12(AI_1)(AI_2)\sin\angle I_1AI_2$ it suffices to minimize $(AI_1)(AI_2)$. Let $a = BC$, $b = AC$, $c = AB$, and $\alpha = \angle AXB$. Remark that \[\angle AI_1B = 180^\circ - (\angle I_1AB + \angle I_1BA) = 180^\circ - \tfrac12(180^\circ - \alpha) = 90^\circ + \tfrac\alpha 2.\] Applying the Law of Sines to $\triangle ABI_1$ gives \[\frac{AI_1}{AB} = \frac{\sin\angle ABI_1}{\sin\angle AI_1B}\qquad\Rightarrow\qquad AI_1 = \frac{c\sin\frac B2}{\cos\frac\alpha 2}.\] Analogously one can derive $AI_2 = \tfrac{b\sin\frac C2}{\sin\frac\alpha 2}$, and so \[[AI_1I_2] = \frac{bc\sin\frac A2 \sin\frac B2\sin\frac C2}{2\cos\frac\alpha 2\sin\frac\alpha 2} = \frac{bc\sin\frac A2 \sin\frac B2\sin\frac C2}{\sin\alpha}\geq bc\sin\frac A2 \sin\frac B2\sin\frac C2,\] with equality when $\alpha = 90^\circ$, that is, when $X$ is the foot of the perpendicular from $A$ to $\overline{BC}$. In this case the desired area is $bc\sin\tfrac A2\sin\tfrac B2\sin\tfrac C2$. To make this feasible to compute, note that \[\sin\frac A2=\sqrt{\frac{1-\cos A}2}=\sqrt{\frac{1-\frac{b^2+c^2-a^2}{2bc}}2} = \sqrt{\dfrac{(a-b+c)(a+b-c)}{4bc}}.\] Applying similar logic to $\sin \tfrac B2$ and $\sin\tfrac C2$ and simplifying yields a final answer of \begin{align*}bc\sin\frac A2\sin\frac B2\sin\frac C2&=bc\cdot\dfrac{(a-b+c)(b-c+a)(c-a+b)}{8abc}\\&=\dfrac{(30-32+34)(32-34+30)(34-30+32)}{8\cdot 32}=\boxed{126}.\end{align*}


Solution 2 (A more elegant, but lengthy, approach)

First, instead of using angles to find $[AI_1I_2]$, let's try to find the area of other, simpler figures, and subtract that from $[ABC]$. However, to do this, we need to be able to figure out the length of the inradii, and so, we need to find $AX$.


To minimize $[AI_1I_2]$, intuitively, we should try to minimize the length of $AX$, since, after using the $rs=A$ formula for the area of a triangle, we'll be able to minimize the inradii lengths, and thus, eventually minimize the area of $[AI_1I_2]$. (Proof needed here).


We need to minimize $AX$. Let $AX=d$, $BX=s$, and $CX=32-s$. After an application of Stewart's Theorem, we will get that \[d=\sqrt{s^2-24s+900}\] To minimize this quadratic, $s=12$ whereby we conclude that $d=6\sqrt{21}$.


From here, draw perpendiculars down from $I_1$ and $I_2$ to $AB$ and $AC$ respectively, and label the foot of these perpendiculars $D$ and $E$ respectively. After, draw the inradii from $I_1$ to $BX$, and from $I_2$ to $CX$, and draw in $I_1I_2$.

Label the foot of the inradii to $BX$ and $CX$, $F$ and $G$, respectively. From here, we see that to find $[AI_1I_2]$, we need to find $[ABC]$, and subtract off the sum of $[DBCEI_2I_1], [ADI_1],$ and $[AEI_2]$.


$[DBCEI_2I_1]$ can be found by finding the area of two quadrilaterals $[DBFI_1]+[ECGI_2]$ as well as the area of a trapezoid $[FGI_2I_1]$. If we let the inradius of $ABX$ be $r_1$ and if we let the inradius of $ACX$ be $r_2$, we'll find, after an application of basic geometry and careful calculations on paper, that $[DBCEI_2I_1]=13r_1+19r_2$.


The area of two triangles can be found in a similar fashion, however, we must use $XYZ$ substitution to solve for $AD$ as well as $AE$. After doing this, we'll get a similar sum in terms of $r_1$ and $r_2$ for the area of those two triangles which is equal to \[\frac{(9+3\sqrt{21})(r_1)}{2} + \frac{(7+3\sqrt{21})(r_2)}{2}.\]

Now we're set. Summing up the area of the Hexagon and the two triangles and simplifying, we get that the formula for $[AI_1I_2]$ is just \[[ABC]-\left(\frac{(35+3\sqrt{21})(r_1)}{2}+\frac{(45+3r_2\sqrt{21})(r_2)}{2}\right).\]

Using Heron's formula, $[ABC]=96\sqrt{21}$. Solving for $r_1$ and $r_2$ using Heron's in $ABX$ and $ACX$, we get that $r_1=3\sqrt{21}-9$ and $r_2=3\sqrt{21}-7$. From here, we just have to plug into our above equation and solve.

Doing so gets us that the minimum area of $AI_1I_2=\boxed{126}.$

-Mathislife52 ~edited by phoenixfire

Solution 3 (Cheap, if you are running out of time or if you are confused)

What 2 kinds of cevians would yield clean values for angles BAX and CAX? The angle bisector and the altitude! However, the angle bisector clearly seems dirtier, and angle BXA is not clean then. One can just test the altitude out then. The area of triangle ABC, by Heron's formula, is $96\sqrt{21}$; one can easily find the altitude length as $6\sqrt{21}$, with BX=12 and CX=20. The area of ABC can also tell us that our answer should be a multiple of 21 most likely. One can find AI1 by keeping in mind that in a right triangle, the Incenter, the right angle vertex, and the two contact points of the incircle adjacent to the right angle vertex form a square. This means that one can use the pythagorean theorem to get AI1^2 = r^2 + (3*sqrt(21)+9) using the well known theorems (involving s-a, s-b, s-c) about the length of the tangent segments to the incircle in a triangle. r=s-a = 3*sqrt(21)-9 due to the square, so one can get AI1 = sqrt(540). One can perform analagous calculations to obtain that AI2 = sqrt(476). Sin(A/2) = sqrt(21/85) by the decently well known sin(a/2) = sqrt((s-b)*(s-c)/bc) formula. One can easily use the sine area formula then; the cancellation is almost like magic, giving a clean multiple of 21; 126! This must be the answer, so mark it and move on.

See Also

2018 AIME I (ProblemsAnswer KeyResources)
Preceded by
Problem 12
Followed by
Problem 14
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