Difference between revisions of "1983 USAMO Problems/Problem 2"
Danielguo94 (talk | contribs) (→Solution) |
Danielguo94 (talk | contribs) |
||
Line 7: | Line 7: | ||
==Solution== | ==Solution== | ||
− | |||
'''Lemma:''' | '''Lemma:''' | ||
Line 16: | Line 15: | ||
<cmath>x_1x_2+x_1x_3+\cdots+x_4x_5</cmath> | <cmath>x_1x_2+x_1x_3+\cdots+x_4x_5</cmath> | ||
− | |||
− | |||
− | |||
− | |||
By the trivial inequality, | By the trivial inequality, |
Revision as of 17:56, 14 June 2012
1983 USAMO Problem 2
Prove that the zeros of
cannot all be real if .
Solution
Lemma:
For all real numbers ,
By the trivial inequality,
Making such an inequality for all the variable pairs and summing them, we find the lemma is true.
Now, we start by plugging in our Vieta's: Let our roots be . This means be Vieta's that
If we show that for all real that
, then we have a contradiction and all of
cannot be real. We start by rewriting
as
We divide by and find
Expanding the LHS, we have
We subtract out the second symmetric sums, and then multiply by to find
which is true by our lemma.