Let be distinct real numbers. Prove that the equation
has four distinct real solutions.
Problem 1616
Official solution
1. Let . This is a polynomial of degree 5.
2. The given equation can be rewritten as:
3. Notice that each term in the equation is a product of four linear factors, which can be seen as the derivative of . Specifically, the polynomial in question is , the derivative of .
4. Since are distinct real numbers, has five distinct real roots. By Rolle's Theorem, between every pair of consecutive roots of , there must be at least one root of .
5. Since there are five distinct roots of , there are four intervals between these roots. By Rolle's Theorem, there must be at least one root of in each of these four intervals.
6. Therefore, has at least four distinct real roots.
7. Since is a polynomial of degree 4, it can have at most four roots. Thus, has exactly four distinct real roots.