Difference between revisions of "1983 USAMO Problems/Problem 2"
(→Solution) |
(→Solution) |
||
(15 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
− | == | + | == Problem == |
Prove that the zeros of | Prove that the zeros of | ||
Line 7: | Line 7: | ||
==Solution== | ==Solution== | ||
+ | We prove the contrapositive: if the polynomial in question has the five real roots <math>x_1, x_2, x_3, x_4, x_5</math>, then <math>5b \le 2a^2</math>. | ||
+ | Because <math>a = -(x_1 + x_2 + x_3 + x_4 + x_5)</math> and <math>b = x_1x_2 + x_1x_3 + ... + x_4x_5</math> by Vieta's Formulae, we have | ||
+ | |||
+ | <cmath>2b = 2x_1x_2 + 2x_1x_3 + ... + 2x_4x_5 = (x_1 + x_2 + x_3 + x_4 + x_5)^2 - (x_1^2 + x_2^2 + x_3^2 + x_4^2 + x_5^2)</cmath> | ||
+ | <cmath>=a^2 - \frac{(1+1+1+1+1)(x_1^2 + x_2^2 + x_3^2 + x_4^2 + x_5^2)}{5}</cmath> | ||
+ | <cmath>\le a^2 - \frac{(x_1 + x_2 + x_3 + x_4 + x_5)^2}{5}</cmath> (by Cauchy-Schwarz) | ||
+ | <cmath>=\frac{4a^2}{5},</cmath> | ||
+ | |||
+ | so <math>5b \le 2a^2</math>, as desired. | ||
+ | |||
+ | ==Solution 2== | ||
'''Lemma:''' | '''Lemma:''' | ||
− | For all real numbers <math>x_1,x_2,\cdots | + | For all real numbers <math>x_1,x_2,\cdots x_5</math>, |
<cmath>2(x_1^2+x_2^2+\cdots+x_5^2)\ge</cmath> | <cmath>2(x_1^2+x_2^2+\cdots+x_5^2)\ge</cmath> | ||
Line 17: | Line 28: | ||
<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, | ||
− | |||
− | |||
− | + | <cmath>x^2+y^2\ge 2xy \Rightarrow \frac{x^2}{2} + \frac{y^2}{2} \ge xy</cmath> | |
Making such an inequality for all the variable pairs and summing them, we find the lemma is true. | Making such an inequality for all the variable pairs and summing them, we find the lemma is true. | ||
− | Now, | + | Now, let our roots be <math>x_1,x_2,\cdots,x_5</math>. By Vieta's, <math>a=x_1+x_2+\cdots+x_5</math> and <math>b=x_1x_2+x_1x_3+\cdots+x_4x_5</math> |
If we show that for all real <math>x_1,x_2,\cdots, x_5</math> that <math>2a^2\ge 5b</math>, then we have a contradiction and all of <math>x_1,x_2,\cdots, x_5</math> cannot be real. We start by rewriting <math>2a^2\ge 5b</math> as | If we show that for all real <math>x_1,x_2,\cdots, x_5</math> that <math>2a^2\ge 5b</math>, then we have a contradiction and all of <math>x_1,x_2,\cdots, x_5</math> cannot be real. We start by rewriting <math>2a^2\ge 5b</math> as | ||
Line 43: | Line 48: | ||
<cmath>x_1^2+x_2^2+\cdots+x_5^2+2(x_1x_2+x_1x_3+\cdots+x_4x_5)\ge\frac{5}{2}(x_1x_2+x_1x_3+\cdots+x_4x_5)</cmath> | <cmath>x_1^2+x_2^2+\cdots+x_5^2+2(x_1x_2+x_1x_3+\cdots+x_4x_5)\ge\frac{5}{2}(x_1x_2+x_1x_3+\cdots+x_4x_5)</cmath> | ||
− | We subtract | + | We subtract the sum in brackets, and then multiply by <math>2</math> to find |
<cmath>2x_1^2+2x_2^2+\cdots+2x_5^2\ge x_1x_2+x_1x_3+\cdots+x_4x_5</cmath> | <cmath>2x_1^2+2x_2^2+\cdots+2x_5^2\ge x_1x_2+x_1x_3+\cdots+x_4x_5</cmath> | ||
which is true by our lemma. | which is true by our lemma. | ||
+ | |||
+ | == See Also == | ||
+ | {{USAMO box|year=1983|num-b=1|num-a=3}} | ||
+ | {{MAA Notice}} | ||
+ | |||
+ | [[Category:Olympiad Algebra Problems]] | ||
+ | [[Category:Olympiad Inequality Problems]] |
Latest revision as of 15:40, 19 April 2014
Contents
Problem
Prove that the zeros of
cannot all be real if .
Solution
We prove the contrapositive: if the polynomial in question has the five real roots , then
.
Because and
by Vieta's Formulae, we have
(by Cauchy-Schwarz)
so , as desired.
Solution 2
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, let our roots be . By Vieta's,
and
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 the sum in brackets, and then multiply by to find
which is true by our lemma.
See Also
1983 USAMO (Problems • Resources) | ||
Preceded by Problem 1 |
Followed by Problem 3 | |
1 • 2 • 3 • 4 • 5 | ||
All USAMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.