1973 IMO Problems/Problem 3
Let
and
be real numbers for which the equation
has at least one real solution. For all such pairs
, find the minimum value of
.
Solution
Substitute
to change the original equation into
. This equation has solutions
. We also know that
. So,
Rearranging and squaring both sides,
So,
.
Therefore, the smallest possible value of
is
, when
and
.
Borrowed from http://www.cs.cornell.edu/~asdas/imo/imo/isoln/isoln733.html