Difference between revisions of "Mock AIME 3 2006-2007 Problems/Problem 11"
(→Solution 3 (Lagrange Multipliers): Upgrade solution to use matrices for faster algebra) |
|||
(2 intermediate revisions by the same user not shown) | |||
Line 40: | Line 40: | ||
<baker77> | <baker77> | ||
+ | |||
+ | == Solution 3 (Lagrange Multipliers) == | ||
+ | |||
+ | Since <math>x^2+y^2\ge0</math>, <math>(x^2 + y^2)^2</math> will be minimized when <math>x^2 + y^2</math> is at its minimum. | ||
+ | We construct the Lagrangian <math>\mathcal{L} = x^2 + y^2 - \lambda(x^2 - y^2 + 2xy - 6)</math> by taking our value to optimize and subtracting off <math>\lambda</math> times our constraint, which we've set equal to zero. Now we seek points where its gradient is zero to get the three equations: | ||
+ | <cmath>2x - 2\lambda x - 2\lambda y = 0</cmath> | ||
+ | <cmath>2y + 2\lambda y - 2\lambda x = 0</cmath> | ||
+ | <cmath>x^2 - y^2 + 2xy - 6 = 0</cmath> | ||
+ | All that is left to do is trudge through the algebra and solve for <math>x^2+y^2</math>. Adding and subtracting the first two equations, dividing by two, and setting <math>\mu = 2\lambda</math> for convenience yields: | ||
+ | <cmath>x + y = \mu x</cmath> | ||
+ | <cmath>x - y = \mu y</cmath> | ||
+ | We will use the last three equations to solve for <math>x^2+y^2</math>, then square the result for our answer. | ||
+ | These equations can be solved manually with some algebra, but there is a nicer way! Notice that this is actually the eigenvalue equation: | ||
+ | <cmath>\begin{bmatrix} 1 & 1 \\ 1 & -1 \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix} = \mu \begin{bmatrix} x \\ y \end{bmatrix} </cmath> | ||
+ | The matrix is <math>\sqrt 2 </math> times the reflection matrix across the <math>22.5^\circ</math> line, which means that <math>\mu = \sqrt2</math> and our <math>(x,y)</math> should be on that line as <math>(r\cos22.5, r\sin22.5)</math> (or on the perpendicular line with <math>\mu = -\sqrt2</math>, but the answers will be the same regardless). Plugging this into our other condition, we have: <cmath>r^2\cos^2 22.5 - r^2\sin^2 22.5 + 2r^2\cos22.5\sin22.5 - 6 = 0</cmath> <cmath>r^2 \cos 45 + r^2\sin 45 = 6</cmath> <cmath>r^2 = 3 \sqrt 2</cmath>. Since <math>(x^2+y^2)^2 = r^4</math>, our answer is thus <math>(3\sqrt2)^2 =\boxed{18}</math>. | ||
+ | QED. -eiis1000 |
Latest revision as of 00:53, 30 April 2022
Problem
If and are real numbers such that find the minimum value of .
Solution 1
Factoring the LHS gives .
Now converting to polar:
Since we want to find ,
Since we want the minimum of this expression, we need to maximize the denominator. The maximum of the sine function is 1
(one value of which produces this maximum is )
So the desired minimum is
Solution 2
Since , finding the minimum value of is similar to finding that of . Let , where is the minimum value. We can rewrite this as and . . . . We want this polynomial to factor in the form , where at least one of . ( If , the equations and have no real solutions). Since , both and , so .
We can now use the “discriminant” to determine acceptable values of . simplifies to . Therefore, the minimum value of .
<baker77>
Solution 3 (Lagrange Multipliers)
Since , will be minimized when is at its minimum. We construct the Lagrangian by taking our value to optimize and subtracting off times our constraint, which we've set equal to zero. Now we seek points where its gradient is zero to get the three equations: All that is left to do is trudge through the algebra and solve for . Adding and subtracting the first two equations, dividing by two, and setting for convenience yields: We will use the last three equations to solve for , then square the result for our answer. These equations can be solved manually with some algebra, but there is a nicer way! Notice that this is actually the eigenvalue equation: The matrix is times the reflection matrix across the line, which means that and our should be on that line as (or on the perpendicular line with , but the answers will be the same regardless). Plugging this into our other condition, we have: . Since , our answer is thus . QED. -eiis1000