Let be real numbers. Define the function
Prove that there exists an such that for all , we have .
Solution
If for some , then we have nothing to do. Assume now, that , . Consider the polynomial . It at most has roots and it is easy to verify that are roots. Hence, there is , such that for all . On the other hand, according to Cauchy-Schwartz inequality,
We are done.
Proof Details.
First, note that using Cauchy's inequality, it is sufficient to show that:
Let's denote this function by and define . This is a polynomial of degree with positive coefficients, and are its roots. If this polynomial is decreasing at and increasing at , then, there are at least two roots in this interval because the function is negative at the beginning of the interval and at the end of the interval, the function is also negative. By contradiction, if it becomes positive somewhere, by Intermediate Value Theorem (IVT) it must have at least two roots in this interval.
If the function is increasing or decreasing at both ends of an interval, it must have at least one root of this interval. For example, if it is increasing, then the sign of function near is positive and near is negative, and by intermediate value theorem it should have a root. According to the following claim, the function is decreasing at and increasing at . Therefore, if we group the points based on whether the function is increasing or decreasing, the number of increasing blocks and decreasing blocks are equal.
The function has one root in any interval where its ends are within a block, and two roots in any interval where its beginning is in a decreasing block and its end is in an increasing block. Therefore, we have at least roots inside intervals together with . We get roots for a polynomial of degree , contradiction.
Lemma.
The function is decreasing before and increasing after .
Proof.
First, note that:
is a polynomial of degree with roots. Its derivative therefore has one root in each interval . Since the derivative cannot have any other roots due to its degree, the polynomial itself is monotonic before and after . Therefore,
is also monotone. Since is an even degree polynomial with a positive leading coefficient, in the first interval, it is decreasing, and in the second interval, it must be increasing. ■