Maths Olympiad Prep

Track / Stage 7 / 240 of 300 #1640 of 1964

Problem 1640

National Olympiad second round; IMO P1/P4
Algebra Difficulty 7.5 Prove it

Let a,b,c,d,ea, b, c, d, e be distinct real numbers. Prove that the equation
(xa)(xb)(xc)(xd)+(xa)(xb)(xc)(xe)(x - a)(x - b)(x - c)(x - d) + (x - a)(x - b)(x - c)(x - e)
+(xa)(xb)(xd)(xe)+(xa)(xc)(xd)(xe)+(x - a)(x - b)(x - d)(x - e) + (x - a)(x - c)(x - d)(x - e)
+(xb)(xc)(xd)(xe)=0+(x - b)(x - c)(x - d)(x - e) = 0
has four distinct real solutions.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

1. Let P(x)=(xa)(xb)(xc)(xd)(xe) P(x) = (x - a)(x - b)(x - c)(x - d)(x - e) . This is a polynomial of degree 5.
2. The given equation can be rewritten as:
(xa)(xb)(xc)(xd)+(xa)(xb)(xc)(xe)+(xa)(xb)(xd)(xe)+(xa)(xc)(xd)(xe)+(xb)(xc)(xd)(xe)=0 (x - a)(x - b)(x - c)(x - d) + (x - a)(x - b)(x - c)(x - e) + (x - a)(x - b)(x - d)(x - e) + (x - a)(x - c)(x - d)(x - e) + (x - b)(x - c)(x - d)(x - e) = 0
3. Notice that each term in the equation is a product of four linear factors, which can be seen as the derivative of P(x) P(x) . Specifically, the polynomial in question is P(x) P'(x) , the derivative of P(x) P(x) .
4. Since a,b,c,d,e a, b, c, d, e are distinct real numbers, P(x) P(x) has five distinct real roots. By Rolle's Theorem, between every pair of consecutive roots of P(x) P(x) , there must be at least one root of P(x) P'(x) .
5. Since there are five distinct roots of P(x) P(x) , there are four intervals between these roots. By Rolle's Theorem, there must be at least one root of P(x) P'(x) in each of these four intervals.
6. Therefore, P(x) P'(x) has at least four distinct real roots.
7. Since P(x) P'(x) is a polynomial of degree 4, it can have at most four roots. Thus, P(x) P'(x) has exactly four distinct real roots.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.