Difference between revisions of "1988 USAMO Problems/Problem 2"
(Created page with "==Problem== The cubic polynomial <math>x^3+ax^2+bx+c</math> has real coefficients and three real roots <math>r\ge s\ge t</math>. Show that <math>k=a^2-3b\ge 0</math> and that <ma...") |
DeathLlama9 (talk | contribs) (→Solution) |
||
(5 intermediate revisions by 4 users not shown) | |||
Line 3: | Line 3: | ||
==Solution== | ==Solution== | ||
− | {{ | + | ===Solution 1=== |
+ | By Vieta's Formulas, <math>a=-r-s-t</math>, <math>b=rs+st+rt</math>, and <math>c=-rst</math>. | ||
+ | Now we know <math>k=a^2-3b</math>; in terms of r, s, and t, then, | ||
+ | <cmath>k=(-r-s-t)^2-3(rs+st+rt)</cmath> | ||
+ | <cmath>k=r^2+s^2+t^2-rs-st-rt</cmath> | ||
+ | Now notice that we can multiply both sides by 2, and rearrange terms to get | ||
+ | <math>2k=(r-s)^2+(s-t)^2+(r-t)^2</math>. | ||
+ | But since <math>r, s, t\in \mathbb{R}</math>, the three terms of the RHS are all non-negative (as the square of a real number is always non-negative), and therefore their sum is also non-negative -- that is, <math>2k\ge 0 \Rightarrow k\ge 0</math>. | ||
+ | |||
+ | Now, we will show that <math>\sqrt k\le r-t</math>. | ||
+ | We can square both sides, and the inequality will hold since they are both non-negative (it is given that <math>r\ge t</math>, therefore <math>r-t\ge 0</math>). This gives <math>k \le r^2-2rt+t^2</math>. | ||
+ | Now we already have <math>k=r^2+s^2+t^2-rs-st-rt</math>, so substituting this for k gives | ||
+ | <cmath>r^2+s^2+t^2-rs-st-rt \le r^2-2rt+t^2</cmath> | ||
+ | <cmath>s^2-rs-st+rt \le 0</cmath> | ||
+ | <cmath>s^2-(r+t)s+rt \le 0</cmath> | ||
+ | Note that this is a quadratic. Since its leading coefficient is positive, its value is less than 0 when s is between the two roots. Using the quadratic formula: | ||
+ | <cmath>s=\frac {r+t\pm \sqrt {(-r-t)^2-4rt} } 2</cmath> | ||
+ | <cmath>s=\frac {r+t\pm \sqrt {r^2-2rt+t^2} } 2</cmath> | ||
+ | <cmath>s=\frac {r+t\pm (r-t) } 2</cmath> | ||
+ | <cmath>s \in \{r, t\}</cmath> | ||
+ | The quadratic is 0 when s is equal to r or t, and the inequality | ||
+ | holds when its value is less than or equal to 0 -- that is, <math>r\ge s\ge t</math>. | ||
+ | (Its value is less than or equal to 0 when s is between the roots, since the | ||
+ | graph of the quadratic opens upward.) | ||
+ | In fact, the problem tells us this is true. Q.E.D. | ||
+ | |||
+ | ===Solution 2=== | ||
+ | From Vieta's Formula (which tells us that <math>a = -(r+s+t)</math> and <math>b = rs + st + rt</math>), we have that | ||
+ | <cmath>k = a^2 - 3b = r^2 + s^2 + t^2 - rs - st - rt = \frac{1}{2} ((r-s)^2 + (s-t)^2 + (r-t)^2),</cmath> | ||
+ | clearly non-negative. To prove <math>\sqrt{k} \le r - t</math>, it suffices to prove the square of this relation, or <cmath>r^2 + s^2 + t^2 - rs - st - rt \le r^2 - 2rt + t^2.</cmath> This in turn simplifies to <cmath>rs + st - rt - s^2 \ge 0,</cmath> or <cmath>(r - s)(s - t) \ge 0,</cmath> which is clearly true as <math>r \ge s \ge t</math>. This completes the proof. | ||
+ | |||
+ | ==Solution 3== | ||
+ | By Vieta's Formulas, <math>a = -(r+s+t)</math> and <math>b = rs + st + rt</math>. <math>k = (r+s+t)^2 - 3(rs + st + rt) = r^2+s^2+t^2-rs-st-rt = \frac{(r-s)^2 + (s-t)^2 + (r-t)^2}{2}</math>. | ||
+ | |||
+ | To show that <math>k \ge 0</math>, simply note that by the trivial inequality, all three squares are greater than <math>0</math> as they are the squares of real numbers. | ||
+ | |||
+ | To show that <math>\sqrt{k} \le r-t</math>, since both are positive, it is sufficient to show that <math>k \le (r-t)^2</math>. <math>\frac{(r-s)^2 + (s-t)^2 + (r-t)^2}{2} \le (r-t)^2</math> implies that <math>k \le (r-t)^2</math>. <math>\frac{(r-s)^2 + (s-t)^2 - (r-t)^2}{2} \le 0</math>. Let <math>y = r-s</math> and <math>z = s-t</math>. We then have <math>\frac{y^2 + z^2 - (y+z)^2}{2} \le 0 \implies -2yz \le 0</math>, which is clearly true as both <math>y</math> and <math>z</math> are positive. | ||
==See Also== | ==See Also== | ||
{{USAMO box|year=1988|num-b=1|num-a=3}} | {{USAMO box|year=1988|num-b=1|num-a=3}} | ||
+ | {{MAA Notice}} | ||
[[Category:Olympiad Algebra Problems]] | [[Category:Olympiad Algebra Problems]] |
Latest revision as of 17:17, 13 June 2017
Problem
The cubic polynomial has real coefficients and three real roots . Show that and that .
Solution
Solution 1
By Vieta's Formulas, , , and . Now we know ; in terms of r, s, and t, then, Now notice that we can multiply both sides by 2, and rearrange terms to get . But since , the three terms of the RHS are all non-negative (as the square of a real number is always non-negative), and therefore their sum is also non-negative -- that is, .
Now, we will show that . We can square both sides, and the inequality will hold since they are both non-negative (it is given that , therefore ). This gives . Now we already have , so substituting this for k gives Note that this is a quadratic. Since its leading coefficient is positive, its value is less than 0 when s is between the two roots. Using the quadratic formula: The quadratic is 0 when s is equal to r or t, and the inequality holds when its value is less than or equal to 0 -- that is, . (Its value is less than or equal to 0 when s is between the roots, since the graph of the quadratic opens upward.) In fact, the problem tells us this is true. Q.E.D.
Solution 2
From Vieta's Formula (which tells us that and ), we have that clearly non-negative. To prove , it suffices to prove the square of this relation, or This in turn simplifies to or which is clearly true as . This completes the proof.
Solution 3
By Vieta's Formulas, and . .
To show that , simply note that by the trivial inequality, all three squares are greater than as they are the squares of real numbers.
To show that , since both are positive, it is sufficient to show that . implies that . . Let and . We then have , which is clearly true as both and are positive.
See Also
1988 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.