Difference between revisions of "2017 AIME I Problems/Problem 15"
m ("Complex numbers" would be a more apt description of the method of this solution) |
(Changing the orders of the solutions so that the concise ones can precede the elaborative ones, and solutions of the same topic can go together, so that the solutions can be more organized and appealing for the reader) |
||
Line 15: | Line 15: | ||
==Solution 1== | ==Solution 1== | ||
− | + | Lemma: If <math>x,y</math> satisfy <math>px+qy=1</math>, then the minimal value of <math>\sqrt{x^2+y^2}</math> is <math>\frac{1}{\sqrt{p^2+q^2}}</math>. | |
Proof: Recall that the distance between the point <math>(x_0,y_0)</math> and the line <math>px+qy+r = 0</math> is given by <math>\frac{|px_0+qy_0+r|}{\sqrt{p^2+q^2}}</math>. In particular, the distance between the origin and any point <math>(x,y)</math> on the line <math>px+qy=1</math> is at least <math>\frac{1}{\sqrt{p^2+q^2}}</math>. | Proof: Recall that the distance between the point <math>(x_0,y_0)</math> and the line <math>px+qy+r = 0</math> is given by <math>\frac{|px_0+qy_0+r|}{\sqrt{p^2+q^2}}</math>. In particular, the distance between the origin and any point <math>(x,y)</math> on the line <math>px+qy=1</math> is at least <math>\frac{1}{\sqrt{p^2+q^2}}</math>. | ||
Line 32: | Line 32: | ||
and hence the answer is <math>75+3+67=\boxed{145}</math>. | and hence the answer is <math>75+3+67=\boxed{145}</math>. | ||
− | ==Solution 2 | + | ==Solution 2== |
− | Let <math> | + | Let <math>AB=2\sqrt{3}, BC=5</math>, <math>D</math> lies on <math>BC</math>, <math>F</math> lies on <math>AB</math> and <math>E</math> lies on <math>AC</math> |
− | + | Set <math>D</math> as the origin, <math>BD=a,BF=b</math>, <math>F</math> can be expressed as <math>-a+bi</math> in argand plane, the distance of <math>CD</math> is <math>5-a</math> | |
− | + | We know that <math>(-a+bi)\cdot\cos(-\frac{\pi}{3})=(-\frac{a+\sqrt{3}b}{2}+\frac{\sqrt{3}a+b}{2}i)</math>. We know that the slope of <math>AC</math> is <math>-\frac{2\sqrt{3}}{5}</math>, we have that <math>\frac{5-a-(-\frac{a+\sqrt{3}b}{2})}{(\sqrt{3}a+b)/2}=\frac{5}{2\sqrt{3}}</math>, after computation, we have <math>11b+7\sqrt{3}a=20\sqrt{3}</math> | |
− | + | Now the rest is easy with C-S inequality, <math>(a^2+b^2)(147+121)\geq (7\sqrt{3}a+11a)^2, a^2+b^2\geq \frac{300}{67}</math> so the smallest area is <math>\frac{\sqrt{3}}{4}\cdot \frac{300}{67}=\frac{75\sqrt{3}}{67}</math>, and the answer is <math>\boxed{145}</math> | |
− | + | ~bluesoul | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
== Solution 3 == | == Solution 3 == | ||
Line 93: | Line 73: | ||
- Awsomness2000 | - Awsomness2000 | ||
− | == Solution 4 == | + | ==Solution 4 (Trigonometry)== |
+ | [[File:2017 AIME I 15.png|530px|right]] | ||
+ | Let <math>ED = DF = x, AC = 5, \angle BAC = \alpha, \angle CDE = \beta. </math> | ||
+ | |||
+ | Then <math>\tan \alpha = \frac {2\sqrt{3}}{5},</math> | ||
+ | <math>\angle CDF = \beta – 60^\circ,\angle AED = \beta – \alpha,</math> | ||
+ | <math>CD = x \cos(\beta - 60^\circ).</math> By Law of Sines on triangle | ||
+ | <math>\triangle ADE</math> we get <math> \hspace{20mm} AD = x \frac {\sin (\beta – \alpha)}{\sin{\alpha}}.</math> | ||
+ | <cmath>AD + CD = AC \implies </cmath> | ||
+ | <cmath>x(\frac {\sin \beta}{\tan{\alpha}} - \cos \beta) +x (\frac {\cos\beta}{2} +\frac{\sin\beta \sqrt{3}}{2}) = 5</cmath> | ||
+ | <cmath> \implies \sin \beta (\frac{ \sqrt{3}}{2}+ \frac{5}{2\sqrt{3}})- \frac{\cos\beta}{2} = \frac{5}{x} \implies</cmath> | ||
+ | <cmath>\frac{5}{x} = \frac{4}{\sqrt{3}} \sin \beta - \frac{1}{2} \cos\beta \le \sqrt {\frac {16}{3} + \frac {1}{4}}=\sqrt {\frac{67}{12}} </cmath> | ||
+ | <cmath>\implies x \ge 10 \sqrt{\frac {3}{67}} \implies [DEF] = \frac{x^2 \sqrt{3}}{4} = \frac{75 \sqrt{3}}{67}.</cmath> | ||
+ | '''vladimir.shelomovskii@gmail.com, vvsss''' | ||
+ | |||
+ | == Solution 5 (Complex numbers)== | ||
We will use complex numbers. Set the vertex at the right angle to be the origin, and set the axes so the other two vertices are <math>5</math> and <math>2\sqrt{3}i</math>, respectively. Now let the vertex of the equilateral triangle on the real axis be <math>a</math> and let the vertex of the equilateral triangle on the imaginary axis be <math>bi</math>. Then, the third vertex of the equilateral triangle is given by: | We will use complex numbers. Set the vertex at the right angle to be the origin, and set the axes so the other two vertices are <math>5</math> and <math>2\sqrt{3}i</math>, respectively. Now let the vertex of the equilateral triangle on the real axis be <math>a</math> and let the vertex of the equilateral triangle on the imaginary axis be <math>bi</math>. Then, the third vertex of the equilateral triangle is given by: | ||
<cmath>(bi-a)e^{-\frac{\pi}{3}i}+a=(bi-a)(\frac{1}{2}-\frac{\sqrt{3}}{2}i)+a=(\frac{a}{2}+\frac{b\sqrt{3}}{2})+(\frac{a\sqrt{3}}{2}+\frac{1}{2})i</cmath>. | <cmath>(bi-a)e^{-\frac{\pi}{3}i}+a=(bi-a)(\frac{1}{2}-\frac{\sqrt{3}}{2}i)+a=(\frac{a}{2}+\frac{b\sqrt{3}}{2})+(\frac{a\sqrt{3}}{2}+\frac{1}{2})i</cmath>. | ||
Line 105: | Line 100: | ||
Thus, the minimum we seek is simply <math>\frac{\sqrt{3}}{4}\cdot\frac{1200}{268}=\frac{75\sqrt{3}}{67}</math>, so the desired answer is <math>\boxed{145}</math>. | Thus, the minimum we seek is simply <math>\frac{\sqrt{3}}{4}\cdot\frac{1200}{268}=\frac{75\sqrt{3}}{67}</math>, so the desired answer is <math>\boxed{145}</math>. | ||
− | == Solution | + | == Solution 6== |
In the complex plane, let the vertices of the triangle be <math>a = 5,</math> <math>b = 2i \sqrt{3},</math> and <math>c = 0.</math> Let <math>e</math> be one of the vertices, where <math>e</math> is real. A point on the line passing through <math>a = 5</math> and <math>b = 2i \sqrt{3}</math> can be expressed in the form | In the complex plane, let the vertices of the triangle be <math>a = 5,</math> <math>b = 2i \sqrt{3},</math> and <math>c = 0.</math> Let <math>e</math> be one of the vertices, where <math>e</math> is real. A point on the line passing through <math>a = 5</math> and <math>b = 2i \sqrt{3}</math> can be expressed in the form | ||
<cmath>f = (1 - t) a + tb = 5(1 - t) + 2ti \sqrt{3}.</cmath>We want the third vertex <math>d</math> to lie on the line through <math>b</math> and <math>c,</math> which is the imaginary axis, so its real part is 0. | <cmath>f = (1 - t) a + tb = 5(1 - t) + 2ti \sqrt{3}.</cmath>We want the third vertex <math>d</math> to lie on the line through <math>b</math> and <math>c,</math> which is the imaginary axis, so its real part is 0. | ||
Line 119: | Line 114: | ||
\end{align*}</cmath>This quadratic is minimized when <math>e = \frac{840}{2 \cdot 268} = \frac{105}{67},</math> and the minimum is <math>\frac{300}{67},</math> so the smallest area of the equilateral triangle is | \end{align*}</cmath>This quadratic is minimized when <math>e = \frac{840}{2 \cdot 268} = \frac{105}{67},</math> and the minimum is <math>\frac{300}{67},</math> so the smallest area of the equilateral triangle is | ||
<cmath>\frac{\sqrt{3}}{4} \cdot \frac{300}{67} = \boxed{\frac{75 \sqrt{3}}{67}}.</cmath> | <cmath>\frac{\sqrt{3}}{4} \cdot \frac{300}{67} = \boxed{\frac{75 \sqrt{3}}{67}}.</cmath> | ||
− | |||
− | |||
− | |||
− | |||
==Solution 7== | ==Solution 7== | ||
Line 129: | Line 120: | ||
(Solution by Pleaseletmetwin, but not added to the Wiki by Pleaseletmetwin) | (Solution by Pleaseletmetwin, but not added to the Wiki by Pleaseletmetwin) | ||
+ | ==Solution 8== | ||
+ | Employ the same complex bash as in Solution 5, but instead note that minimizing <math>x^2+y^2</math> is the same as minimizing the distance from | ||
+ | 0,0 to x,y, since they are the same quantity. We use point to plane instead, which gives you the required distance. | ||
+ | |||
+ | ==Solution 9 (Non Analytic)== | ||
+ | |||
+ | Let <math>S</math> be the triangle with side lengths <math>2\sqrt{3},~5,</math> and <math>\sqrt{37}</math>. | ||
+ | We will think about this problem backwards, by constructing a triangle as large as possible (We will call it <math>T</math>, for convenience) which is similar to <math>S</math> with vertices outside of a unit equilateral triangle <math>\triangle ABC</math>, such that each vertex of the equilateral triangle lies on a side of <math>T</math>. After we find the side lengths of <math>T</math>, we will use ratios to trace back towards the original problem. | ||
+ | First of all, let <math>\theta = 90^{\circ}</math>, <math>\alpha = \arctan\left(\frac{2\sqrt{3}}{5}\right)</math>, and <math>\beta = \arctan\left(\frac{5}{2\sqrt{3}}\right)</math> (These three angles are simply the angles of triangle <math>S</math>; out of these three angles, <math>\alpha</math> is the smallest angle, and <math>\theta</math> is the largest angle). Then let us consider a point <math>P</math> inside <math>\triangle ABC</math> such that <math>\angle APB = 180^{\circ} - \theta</math>, <math>\angle BPC = 180^{\circ} - \alpha</math>, and <math>\angle APC = 180^{\circ} - \beta</math>. Construct the circumcircles <math>\omega_{AB}, ~\omega_{BC},</math> and <math>\omega_{AC}</math> of triangles <math>APB, ~BPC,</math> and <math>APC</math> respectively. | ||
− | + | From here, we will prove the lemma that if we choose points <math>X</math>, <math>Y</math>, and <math>Z</math> on circumcircles <math>\omega_{AB}, ~\omega_{BC},</math> and <math>\omega_{AC}</math> respectively such that <math>X</math>, <math>B</math>, and <math>Y</math> are collinear and <math>Y</math>, <math>C</math>, and <math>Z</math> are collinear, then <math>Z</math>, <math>A</math>, and <math>X</math> must be collinear. First of all, if we let <math>\angle PAX = m</math>, then <math>\angle PBX = 180^{\circ} - m</math> (by the properties of cyclic quadrilaterals), <math>\angle PBY = m</math> (by adjacent angles), <math>\angle PCY = 180^{\circ} - m</math> (by cyclic quadrilaterals), <math>\angle PCZ = m</math> (adjacent angles), and <math>\angle PAZ = 180^{\circ} - m</math> (cyclic quadrilaterals). Since <math>\angle PAX</math> and <math>\angle PAZ</math> are supplementary, <math>Z</math>, <math>A</math>, and <math>X</math> are collinear as desired. Hence, <math>\triangle XYZ</math> has an inscribed equilateral triangle <math>ABC</math>. | |
− | + | ||
+ | In addition, now we know that all triangles <math>XYZ</math> (as described above) must be similar to triangle <math>S</math>, as <math>\angle AXB = \theta</math> and <math>\angle BYC = \alpha</math>, so we have developed <math>AA</math> similarity between the two triangles. Thus, <math>\triangle XYZ</math> is the triangle similar to <math>S</math> which we were desiring. Our goal now is to maximize the length of <math>XY</math>, in order to maximize the area of <math>XYZ</math>, to achieve our original goal. | ||
+ | |||
+ | Note that, all triangles <math>PYX</math> are similar to each other if <math>Y</math>, <math>B</math>, and <math>X</math> are collinear. This is because <math>\angle PYB</math> is constant, and <math>\angle PXB</math> is also a constant value. Then we have <math>AA</math> similarity between this set of triangles. To maximize <math>XY</math>, we can instead maximize <math>PY</math>, which is simply the diameter of <math>\omega_{BC}</math>. From there, we can determine that <math>\angle PBY = 90^{\circ}</math>, and with similar logic, <math>PA</math>, <math>PB</math>, and <math>PC</math> are perpendicular to <math>ZX</math>, <math>XY</math>, and <math>YZ</math> respectively We have found our desired largest possible triangle <math>T</math>. | ||
+ | All we have to do now is to calculate <math>YZ</math>, and use ratios from similar triangles to determine the side length of the equilateral triangle inscribed within <math>S</math>. First of all, we will prove that <math>\angle ZPY = \angle ACB + \angle AXB</math>. By the properties of cyclic quadrilaterals, <math>\angle AXB = \angle PAB + \angle PBA</math>, which means that <math>\angle ACB + \angle AXB = 180^{\circ} - \angle PAC - \angle PBC</math>. Now we will show that <math>\angle ZPY = 180^{\circ} - \angle PAC - \angle PBC</math>. Note that, by cyclic quadrilaterals, <math>\angle YZP = \angle PAC</math> and <math>\angle ZYP = \angle PBC</math>. Hence, <math>\angle ZPY = 180^{\circ} - \angle PAC - \angle PBC</math> (since <math>\angle ZPY + \angle YZP + \angle ZYP = 180^{\circ}</math>), proving the aforementioned claim. Then, since <math>\angle ACB = 60^{\circ}</math> and <math>\angle AXB = \theta = 90^{\circ}</math>, <math>\angle ZPY = 150^{\circ}</math>. | ||
− | + | Now we calculate <math>PY</math> and <math>PZ</math>, which are simply the diameters of circumcircles <math>\omega_{BC}</math> and <math>\omega_{AC}</math>, respectively. By the extended law of sines, <math>PY = \frac{BC}{\sin{BPC}} = \frac{\sqrt{37}}{2\sqrt{3}}</math> and <math>PZ = \frac{CA}{\sin{CPA}} = \frac{\sqrt{37}}{5}</math>. | |
− | + | We can now solve for <math>ZY</math> with the law of cosines: | |
− | 3 | + | <cmath>(ZY)^2 = \frac{37}{25} + \frac{37}{12} - \left(\frac{37}{5\sqrt{3}}\right)\left(-\frac{\sqrt{3}}{2}\right)</cmath> |
− | + | <cmath>(ZY)^2 = \frac{37}{25} + \frac{37}{12} + \frac{37}{10}</cmath> | |
− | |||
+ | <cmath>(ZY)^2 = \frac{37 \cdot 67}{300}</cmath> | ||
− | + | <cmath>ZY = \sqrt{37} \cdot \frac{\sqrt{67}}{10\sqrt{3}}</cmath> | |
− | + | Now we will apply this discovery towards our original triangle <math>S</math>. Since the ratio between <math>ZY</math> and the hypotenuse of <math>S</math> is <math>\frac{\sqrt{67}}{10\sqrt{3}}</math>, the side length of the equilateral triangle inscribed within <math>S</math> must be <math>\frac{10\sqrt{3}}{\sqrt{67}}</math> (as <math>S</math> is simply as scaled version of <math>XYZ</math>, and thus their corresponding inscribed equilateral triangles must be scaled by the same factor). Then the area of the equilateral triangle inscribed within <math>S</math> is <math>\frac{75\sqrt{3}}{67}</math>, implying that the answer is <math>\boxed{145}</math>. | |
− | |||
− | |||
− | + | '''-Solution by TheBoomBox77''' | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | ''' | ||
==Solution 10== | ==Solution 10== | ||
+ | We will use coordinates. Let the right triangle's lower left point be at the origin. Notice that 2 points will determine a unique equilateral triangle. Let 2 points be on the x-axis (B) and y-axis (A) and label them (b, 0) and (0, a) respectively. The third point (C) will then be located on the hypotenuse. We proceed to find the third point's coordinates in terms of a and b. (There are many ways to do it the following is how I did it). | ||
− | |||
− | + | 1. Find the slope of AB and take the negative reciprocal of it to find the slope of the line containing C. Notice the line contains the midpoint of AB so we can then have an equation of the line. | |
+ | |||
+ | 2. Let AB=x. For ABC to be an equilateral triangle, the altitude from C to AB must be <cmath>x\sqrt{3}/2.</cmath> | ||
− | + | 3. We then have two equations and two unknowns and can solve for C's coordinates. | |
− | + | We can find C is <cmath>((a+b\sqrt{3})/2, (b+a\sqrt{3})/2).</cmath> | |
+ | Also, note that C must be on the hypotenuse of the triangle, whose equation is <cmath>x/5+y/(2\sqrt{3})=1.</cmath> We can plug in x and y as the coordinates of C. We can then simplify the equation to <cmath>11b+7\sqrt{3}a=20\sqrt{3}.</cmath> We aim to minimize the side length of the triangle, which is <cmath>\sqrt{a^2+b^2}.</cmath> This situation is perfect for Cauchy Schwartz Inequality. We can have the 2 sets being <cmath>(a, b), (11, 7\sqrt{3}).</cmath> Applying Cauchy Schwartz gives us the minimum value of the side is <cmath>300/67.</cmath> From here, we can find the minimum area is <cmath>\frac{75\sqrt{3}}{67}</cmath> which gives us the final answer of <cmath>\boxed{145}</cmath> | ||
− | + | -hi_im_bob | |
==See Also== | ==See Also== | ||
{{AIME box|year=2017|n=I|num-b=14|after=Last Problem}} | {{AIME box|year=2017|n=I|num-b=14|after=Last Problem}} | ||
{{MAA Notice}} | {{MAA Notice}} |
Revision as of 10:18, 6 February 2023
Contents
Problem 15
The area of the smallest equilateral triangle with one vertex on each of the sides of the right triangle with side lengths and
as shown, is
where
and
are positive integers,
and
are relatively prime, and
is not divisible by the square of any prime. Find
Solution 1
Lemma: If satisfy
, then the minimal value of
is
.
Proof: Recall that the distance between the point and the line
is given by
. In particular, the distance between the origin and any point
on the line
is at least
.
---
Let the vertices of the right triangle be and let
be the two vertices of the equilateral triangle on the legs of the right triangle. Then, the third vertex of the equilateral triangle is
. This point must lie on the hypotenuse
, i.e.
must satisfy
which can be simplified to
By the lemma, the minimal value of is
so the minimal area of the equilateral triangle is
and hence the answer is
.
Solution 2
Let ,
lies on
,
lies on
and
lies on
Set as the origin,
,
can be expressed as
in argand plane, the distance of
is
We know that . We know that the slope of
is
, we have that
, after computation, we have
Now the rest is easy with C-S inequality, so the smallest area is
, and the answer is
~bluesoul
Solution 3
Let be the right triangle with sides
,
, and
and right angle at
.
Let an equilateral triangle touch ,
, and
at
,
, and
respectively, having side lengths of
.
Now, call as
and
as
. Thus,
and
.
By Law of Sines on triangles and
,
and
.
Summing,
.
Now substituting ,
, and
and solving,
.
We seek to minimize .
This is equivalent to minimizing .
Using the lemma from solution 1, we conclude that
Thus, and our final answer is
- Awsomness2000
Solution 4 (Trigonometry)
Let
Then
By Law of Sines on triangle
we get
vladimir.shelomovskii@gmail.com, vvsss
Solution 5 (Complex numbers)
We will use complex numbers. Set the vertex at the right angle to be the origin, and set the axes so the other two vertices are and
, respectively. Now let the vertex of the equilateral triangle on the real axis be
and let the vertex of the equilateral triangle on the imaginary axis be
. Then, the third vertex of the equilateral triangle is given by:
.
For this to be on the hypotenuse of the right triangle, we also have the following:
Note that the area of the equilateral triangle is given by , so we seek to minimize
. This can be done by using the Cauchy Schwarz Inequality on the relation we derived above:
Thus, the minimum we seek is simply , so the desired answer is
.
Solution 6
In the complex plane, let the vertices of the triangle be
and
Let
be one of the vertices, where
is real. A point on the line passing through
and
can be expressed in the form
We want the third vertex
to lie on the line through
and
which is the imaginary axis, so its real part is 0.
Since the small triangle is equilateral,
or
Then the real part of
is
Solving for
in terms of
we find
Then
so
so
This quadratic is minimized when
and the minimum is
so the smallest area of the equilateral triangle is
Solution 7
We can use complex numbers. Set the origin at the right angle. Let the point on the real axis be and the point on the imaginary axis be
. Then, we see that
Now we switch back to Cartesian coordinates. The equation of the hypotenuse is
This means that the point
is on the line. Plugging the numbers in, we have
Now, we note that the side length of the equilateral triangle is
so it suffices to minimize that. By Cauchy-Schwarz, we have
Thus, the area of the smallest triangle is
so our desired answer is
.
(Solution by Pleaseletmetwin, but not added to the Wiki by Pleaseletmetwin)
Solution 8
Employ the same complex bash as in Solution 5, but instead note that minimizing is the same as minimizing the distance from
0,0 to x,y, since they are the same quantity. We use point to plane instead, which gives you the required distance.
Solution 9 (Non Analytic)
Let be the triangle with side lengths
and
.
We will think about this problem backwards, by constructing a triangle as large as possible (We will call it , for convenience) which is similar to
with vertices outside of a unit equilateral triangle
, such that each vertex of the equilateral triangle lies on a side of
. After we find the side lengths of
, we will use ratios to trace back towards the original problem.
First of all, let ,
, and
(These three angles are simply the angles of triangle
; out of these three angles,
is the smallest angle, and
is the largest angle). Then let us consider a point
inside
such that
,
, and
. Construct the circumcircles
and
of triangles
and
respectively.
From here, we will prove the lemma that if we choose points ,
, and
on circumcircles
and
respectively such that
,
, and
are collinear and
,
, and
are collinear, then
,
, and
must be collinear. First of all, if we let
, then
(by the properties of cyclic quadrilaterals),
(by adjacent angles),
(by cyclic quadrilaterals),
(adjacent angles), and
(cyclic quadrilaterals). Since
and
are supplementary,
,
, and
are collinear as desired. Hence,
has an inscribed equilateral triangle
.
In addition, now we know that all triangles (as described above) must be similar to triangle
, as
and
, so we have developed
similarity between the two triangles. Thus,
is the triangle similar to
which we were desiring. Our goal now is to maximize the length of
, in order to maximize the area of
, to achieve our original goal.
Note that, all triangles are similar to each other if
,
, and
are collinear. This is because
is constant, and
is also a constant value. Then we have
similarity between this set of triangles. To maximize
, we can instead maximize
, which is simply the diameter of
. From there, we can determine that
, and with similar logic,
,
, and
are perpendicular to
,
, and
respectively We have found our desired largest possible triangle
.
All we have to do now is to calculate , and use ratios from similar triangles to determine the side length of the equilateral triangle inscribed within
. First of all, we will prove that
. By the properties of cyclic quadrilaterals,
, which means that
. Now we will show that
. Note that, by cyclic quadrilaterals,
and
. Hence,
(since
), proving the aforementioned claim. Then, since
and
,
.
Now we calculate and
, which are simply the diameters of circumcircles
and
, respectively. By the extended law of sines,
and
.
We can now solve for with the law of cosines:
Now we will apply this discovery towards our original triangle . Since the ratio between
and the hypotenuse of
is
, the side length of the equilateral triangle inscribed within
must be
(as
is simply as scaled version of
, and thus their corresponding inscribed equilateral triangles must be scaled by the same factor). Then the area of the equilateral triangle inscribed within
is
, implying that the answer is
.
-Solution by TheBoomBox77
Solution 10
We will use coordinates. Let the right triangle's lower left point be at the origin. Notice that 2 points will determine a unique equilateral triangle. Let 2 points be on the x-axis (B) and y-axis (A) and label them (b, 0) and (0, a) respectively. The third point (C) will then be located on the hypotenuse. We proceed to find the third point's coordinates in terms of a and b. (There are many ways to do it the following is how I did it).
1. Find the slope of AB and take the negative reciprocal of it to find the slope of the line containing C. Notice the line contains the midpoint of AB so we can then have an equation of the line.
2. Let AB=x. For ABC to be an equilateral triangle, the altitude from C to AB must be
3. We then have two equations and two unknowns and can solve for C's coordinates.
We can find C is
Also, note that C must be on the hypotenuse of the triangle, whose equation is
We can plug in x and y as the coordinates of C. We can then simplify the equation to
We aim to minimize the side length of the triangle, which is
This situation is perfect for Cauchy Schwartz Inequality. We can have the 2 sets being
Applying Cauchy Schwartz gives us the minimum value of the side is
From here, we can find the minimum area is
which gives us the final answer of
-hi_im_bob
See Also
2017 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 14 |
Followed by Last Problem | |
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.