Mock AIME 3 2006-2007 Problems/Problem 11
Problem
If and are real numbers such that find the minimum value of
Solution
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