Problem:
Let be real numbers such that
Prove that .
Problem:
Let be real numbers such that
Prove that .
Solution:
Let us rearrange the first equation to read
and the second to give
If , then we can divide (1) by (2) to yield . So we conclude that
In exactly the same manner, we derive that
and
For the sake of contradiction, we are assuming that . Suppose that holds; since , we get , whereas we know and . We conclude that and , whence . Thus , and for similar reasons .
Multiplying together the equations and and canceling the nonzero (why?) factor gives . So either , which is what we assumed impossible, or , which yields the absurdity .
Solution:
Consider the polynomial
with roots . The cubic coefficient of is ; the linear coefficient is
Consequently has the form , and there are complex numbers and such that
Since has only real roots, and must be real and nonnegative. WLOG ; then and we can identify the two factorizations of :
Hence .