Maths Olympiad Prep

Track / Stage 7 / 216 of 300 #1616 of 1964

Problem 1616

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.

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 and solution reproduced as published; topic, difficulty and ordering added by this site.