Difference between revisions of "2022 AIME I Problems/Problem 15"
Oxymoronic15 (talk | contribs) (→Solution 1 (easy to follow)) |
Kevinmathz (talk | contribs) |
||
| Line 8: | Line 8: | ||
Then <math>\left[ (1-x)(1-y)(1-z) \right]^2</math> can be written as <math>\frac{m}{n},</math> where <math>m</math> and <math>n</math> are relatively prime positive integers. Find <math>m+n.</math> | Then <math>\left[ (1-x)(1-y)(1-z) \right]^2</math> can be written as <math>\frac{m}{n},</math> where <math>m</math> and <math>n</math> are relatively prime positive integers. Find <math>m+n.</math> | ||
| − | ==Solution 1 (easy to follow)== | + | ==Solution 1 (geometric interpretation)== |
| + | |||
| + | Favorite problem on the test. Extremely clean. (Solution close to that in post #2) | ||
| + | |||
| + | First, we note that we can let a triangle exist with side lengths <math>\sqrt{2x}</math>, <math>\sqrt{2z}</math>, and opposite altitude <math>\sqrt{xz}</math>. This shows that the third side, which is the nasty square-rooted sum, is going to have the length equal to the sum on the right - let this be <math>l</math> for symmetry purposes. So, we note that if the angle opposite the side with length <math>\sqrt{2x}</math> has a value of <math>\sin(\theta)</math>, then the altitude has length <math>\sqrt{2z} \cdot \sin(\theta) = \sqrt{xz}</math> and thus <math>\sin(\theta) = \sqrt{\frac{x}{2}}</math> so <math>x=2\sin^2(\theta)</math> and the triangle side with length <math>\sqrt{2x}</math> is equal to <math>2\sin(\theta)</math>. | ||
| + | |||
| + | We can symmetrically apply this to the two other triangles, and since by law of sines, we have <math>\frac{2\sin(\theta)}{\sin(\theta)} = 2R \to R=1</math> is the circumradius of that triangle. Hence. we calculate that with <math>l=1, \sqrt{2}</math>, and <math>\sqrt{3}</math>, the angles from the third side with respect to the circumcenter are <math>120^{\circ}, 90^{\circ}</math>, and <math>60^{\circ}</math>. This means that by half angle arcs, we see that we have in some order, <math>x=2\sin^2(\alpha)</math>, <math>x=2\sin^2(\beta)</math>, and <math>z=2\sin^2(\gamma)</math> (not necessarily this order, but here it does not matter due to symmetry), satisfying that <math>\alpha+\beta=180^{\circ}-\frac{120^{\circ}}{2}</math>, <math>\beta+\gamma=180^{\circ}-\frac{90^{\circ}}{2}</math>, and <math>\gamma+\alpha=180^{\circ}-\frac{60^{\circ}}{2}</math>. Solving, we get <math>\alpha=\frac{135^{\circ}}{2}</math>, <math>\beta=\frac{105^{\circ}}{2}</math>, and <math>\gamma=\frac{165^{\circ}}{2}</math>. | ||
| + | |||
| + | We notice that <cmath>[(1-x)(1-y)(1-z)]^2=[\sin(2\alpha)\sin(2\beta)\sin(2\gamma)]^2=[\sin(135^{\circ})\sin(105^{\circ})\sin(165^{\circ})]^2</cmath> <cmath>=\left(\frac{\sqrt{2}}{2} \cdot \frac{\sqrt{6}-\sqrt{2}}{4} \cdot \frac{\sqrt{6}+\sqrt{2}}{4}\right)^2 = \left(\frac{\sqrt{2}}{8}\right)^2=\frac{1}{32} \to \boxed{033}. \blacksquare</cmath> | ||
| + | |||
| + | ==Solution 2 (easy to follow)== | ||
Note that in each equation in this system, it is possible to factor <math>\sqrt{x}</math>, <math>\sqrt{y}</math>, or <math>\sqrt{z}</math> from each term (on the left sides), since each of <math>x</math>, <math>y</math>, and <math>z</math> are positive real numbers. After factoring out accordingly from each terms one of <math>\sqrt{x}</math>, <math>\sqrt{y}</math>, or <math>\sqrt{z}</math>, the system should look like this: | Note that in each equation in this system, it is possible to factor <math>\sqrt{x}</math>, <math>\sqrt{y}</math>, or <math>\sqrt{z}</math> from each term (on the left sides), since each of <math>x</math>, <math>y</math>, and <math>z</math> are positive real numbers. After factoring out accordingly from each terms one of <math>\sqrt{x}</math>, <math>\sqrt{y}</math>, or <math>\sqrt{z}</math>, the system should look like this: | ||
Revision as of 20:37, 17 February 2022
Problem
Let
and
be positive real numbers satisfying the system of equations:
Then
can be written as
where
and
are relatively prime positive integers. Find
Solution 1 (geometric interpretation)
Favorite problem on the test. Extremely clean. (Solution close to that in post #2)
First, we note that we can let a triangle exist with side lengths
,
, and opposite altitude
. This shows that the third side, which is the nasty square-rooted sum, is going to have the length equal to the sum on the right - let this be
for symmetry purposes. So, we note that if the angle opposite the side with length
has a value of
, then the altitude has length
and thus
so
and the triangle side with length
is equal to
.
We can symmetrically apply this to the two other triangles, and since by law of sines, we have
is the circumradius of that triangle. Hence. we calculate that with
, and
, the angles from the third side with respect to the circumcenter are
, and
. This means that by half angle arcs, we see that we have in some order,
,
, and
(not necessarily this order, but here it does not matter due to symmetry), satisfying that
,
, and
. Solving, we get
,
, and
.
We notice that
Solution 2 (easy to follow)
Note that in each equation in this system, it is possible to factor
,
, or
from each term (on the left sides), since each of
,
, and
are positive real numbers. After factoring out accordingly from each terms one of
,
, or
, the system should look like this:
This should give off tons of trigonometry vibes. To make the connection clear,
,
, and
is a helpful substitution:
From each equation
can be factored out, and when every equation is divided by 2, we get:
which simplifies to (using the Pythagorean identity
):
which further simplifies to (using sine addition formula
):
Without loss of generality, we can take the inverse sine of each equation. The resulting system is simple:
giving solutions
,
,
. Since these unknowns are directly related to our original unknowns, we also have solutions for those:
,
, and
. When plugging into the expression
(Still editing) - Oxymoronic15