Difference between revisions of "2022 AIME I Problems/Problem 15"
Oxymoronic15 (talk | contribs) (→See also) |
|||
Line 94: | Line 94: | ||
~bluesoul | ~bluesoul | ||
+ | |||
+ | ==Solution 4== | ||
+ | |||
+ | Denote <math>u = 1 - x</math>, <math>v = 1 - y</math>, <math>w = 1 - z</math>. | ||
+ | Hence, the system of equations given in the problem can be written as | ||
+ | <cmath> | ||
+ | \begin{align*} | ||
+ | \sqrt{(1-u)(1+v)} + \sqrt{(1+u)(1-v)} & = 1 \hspace{1cm} (1) \\ | ||
+ | \sqrt{(1-v)(1+w)} + \sqrt{(1+v)(1-w)} & = \sqrt{2} \hspace{1cm} (2) \\ | ||
+ | \sqrt{(1-w)(1+u)} + \sqrt{(1+w)(1-u)} & = \sqrt{3} . \hspace{1cm} (3) | ||
+ | \end{align*} | ||
+ | </cmath> | ||
+ | |||
+ | Each equation above takes the following form: | ||
+ | <cmath> | ||
+ | \[ | ||
+ | \sqrt{(1-a)(1+b)} + \sqrt{(1+a)(1-b)} = k . | ||
+ | \] | ||
+ | </cmath> | ||
+ | |||
+ | Now, we simplify this equation by removing radicals. | ||
+ | |||
+ | Denote <math>p = \sqrt{(1-a)(1+b)}</math> and <math>q = \sqrt{(1+a)(1-b)}</math>. | ||
+ | |||
+ | Hence, the equation above implies | ||
+ | <cmath> | ||
+ | \[ | ||
+ | \left\{ | ||
+ | \begin{array}{l} | ||
+ | p + q = k \\ | ||
+ | p^2 = (1-a)(1+b) \\ | ||
+ | q^2 = (1+a)(1-b) | ||
+ | \end{array} | ||
+ | \right.. | ||
+ | \] | ||
+ | </cmath> | ||
+ | |||
+ | Hence, <math>q^2 - p^2 = (1+a)(1-b) - (1-a)(1+b) = 2 (a-b)</math>. | ||
+ | Hence, <math>q - p = \frac{q^2 - p^2}{p+q} = \frac{2}{k} (a-b)</math>. | ||
+ | |||
+ | Because <math>p + q = k</math> and <math>q - p = \frac{2}{k} (a-b)</math>, we get <math>q = \frac{a-b}{k} + \frac{k}{2}</math>. | ||
+ | Plugging this into the equation <math>q^2 = (1+a)(1-b)</math> and simplifying it, we get | ||
+ | <cmath> | ||
+ | \[ | ||
+ | a^2 + \left( k^2 - 2 \right) ab + b^2 = k^2 - \frac{k^4}{4} . | ||
+ | \] | ||
+ | </cmath> | ||
+ | |||
+ | Therefore, the system of equations above can be simplified as | ||
+ | <cmath> | ||
+ | \begin{align*} | ||
+ | u^2 - uv + v^2 & = \frac{3}{4} \\ | ||
+ | v^2 + w^2 & = 1 \\ | ||
+ | w^2 + wu + u^2 & = \frac{3}{4} . | ||
+ | \end{align*} | ||
+ | </cmath> | ||
+ | |||
+ | Denote <math>w' = - w</math>. | ||
+ | The system of equations above can be equivalently written as | ||
+ | <cmath> | ||
+ | \begin{align*} | ||
+ | u^2 - uv + v^2 & = \frac{3}{4} \hspace{1cm} (1') \\ | ||
+ | v^2 + w'^2 & = 1 \hspace{1cm} (2') \\ | ||
+ | w'^2 - w'u + u^2 & = \frac{3}{4} \hspace{1cm} (3') . | ||
+ | \end{align*} | ||
+ | </cmath> | ||
+ | |||
+ | Taking <math>(1') - (3')</math>, we get | ||
+ | <cmath> | ||
+ | \[ | ||
+ | (v - w') (v + w' - u) = 0 . | ||
+ | \] | ||
+ | </cmath> | ||
+ | |||
+ | Thus, we have either <math>v - w' = 0</math> or <math>v + w' - u = 0</math>. | ||
+ | |||
+ | <math>\textbf{Case 1}</math>: <math>v - w' = 0</math>. | ||
+ | |||
+ | Equation (2') implies <math>v = w' = \pm \frac{1}{\sqrt{2}}</math>. | ||
+ | |||
+ | Plugging <math>v</math> and <math>w'</math> into Equation (2), we get contradiction. Therefore, this case is infeasible. | ||
+ | |||
+ | <math>\textbf{Case 2}</math>: <math>v + w' - u = 0</math>. | ||
+ | |||
+ | Plugging this condition into (1') to substitute <math>u</math>, we get | ||
+ | <cmath> | ||
+ | \[ | ||
+ | v^2 + v w' + w'^2 = \frac{3}{4} \hspace{1cm} (4) . | ||
+ | \] | ||
+ | </cmath> | ||
+ | |||
+ | Taking <math>(4) - (2')</math>, we get | ||
+ | <cmath> | ||
+ | \[ | ||
+ | v w' = - \frac{1}{4} . \hspace{1cm} (5) . | ||
+ | \] | ||
+ | </cmath> | ||
+ | |||
+ | Taking (4) + (5), we get | ||
+ | <cmath> | ||
+ | \[ | ||
+ | \left( v + w' \right)^2 = \frac{1}{2} . | ||
+ | \] | ||
+ | </cmath> | ||
+ | |||
+ | Hence, <math>u^2 = \left( v + w' \right)^2 = \frac{1}{2}</math>. | ||
+ | |||
+ | Therefore, | ||
+ | <cmath> | ||
+ | \begin{align*} | ||
+ | \left[ (1-x)(1-y)(1-z) \right]^2 | ||
+ | & = u^2 (vw)^2 \\ | ||
+ | & = u^2 (vw')^2 \\ | ||
+ | & = \frac{1}{2} \left( - \frac{1}{4} \right)^2 \\ | ||
+ | & = \frac{1}{32} . | ||
+ | \end{align*} | ||
+ | </cmath> | ||
+ | |||
+ | Therefore, the answer is <math>1 + 32 = \boxed{\textbf{(033) }}</math>. | ||
+ | \end{solution} | ||
+ | |||
+ | ~Steven Chen (www.professorchenedu.com) | ||
+ | |||
+ | ==Video Solution== | ||
+ | |||
+ | https://www.youtube.com/watch?v=ihKUZ5itcdA | ||
+ | |||
+ | ~Steven Chen (www.professorchenedu.com) | ||
==See also== | ==See also== |
Revision as of 23:14, 17 February 2022
Contents
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)
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
- kevinmathz
Solution 2 (pure algebraic trig, easy to follow)
(This eventually whittles down to the same concept as Solution 1)
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, taking the inverse sine of each equation yields a simple system: giving solutions , , . Since these unknowns are directly related to our original unknowns, there are consequent solutions for those: , , and . When plugging into the expression , noting that helps to simplify this expression into:
Now, all the cosines in here are fairly standard: , , and . With some final calculations: This is our answer in simplest form , so
-Oxymoronic15
solution 3
Let , rewrite those equations
;
square both sides, get three equations:
Getting that
Subtract first and third equation, getting ,
Put it in first equation, getting ,
Since , the final answer is the final answer is
~bluesoul
Solution 4
Denote , , . Hence, the system of equations given in the problem can be written as
Each equation above takes the following form:
Now, we simplify this equation by removing radicals.
Denote and .
Hence, the equation above implies
Hence, . Hence, .
Because and , we get . Plugging this into the equation and simplifying it, we get
Therefore, the system of equations above can be simplified as
Denote . The system of equations above can be equivalently written as
Taking , we get
Thus, we have either or .
: .
Equation (2') implies .
Plugging and into Equation (2), we get contradiction. Therefore, this case is infeasible.
: .
Plugging this condition into (1') to substitute , we get
Taking , we get
Taking (4) + (5), we get
Hence, .
Therefore,
Therefore, the answer is . \end{solution}
~Steven Chen (www.professorchenedu.com)
Video Solution
https://www.youtube.com/watch?v=ihKUZ5itcdA
~Steven Chen (www.professorchenedu.com)
See also
2021 AIME I (Problems • Answer Key • Resources) | ||
Preceded by 2021 AIME I, II |
Followed by 2022 AIME II | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
- 2021 AIME I Math Jam Transcript
- American Invitational Mathematics Examination
- AIME Problems and Solutions
- Mathematics competition resources
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.