Olympiad Maths Prep

Track / Stage 6 / 242 of 400 #1242 of 2000

Problem 1242

National olympiad, first round
Algebra Difficulty 6.4 Prove it

9.1. Given various real numbers a,b,ca, b, c. Prove that at least two of the equations (xa)(xb)=xc,(xb)(xc)=(x-a)(x-b)=x-c,(x-b)(x-c)= =xa,(xc)(xa)=xb=x-a,(x-c)(x-a)=x-b have a solution. (I. Bogdanov)

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

The first solution. Let f1(x)=(xb)(xc)(xa)f_{1}(x)=(x-b)(x-c)-(x-a), f2(x)=(xc)(xa)(xb)f_{2}(x)=(x-c)(x-a)-(x-b), and f3(x)=(xa)(xb)(xc)f_{3}(x)=(x-a)(x-b)-(x-c). Suppose the statement of the problem is false, that is, the maximum of one of these functions is a root. Then, two of them, say f1f_{1} and f2f_{2}, do not have roots. Since the leading coefficients of these quadratic polynomials are positive, we get that f1(x)>0f_{1}(x)>0 and f2(x)>0f_{2}(x)>0 for all xx. However, the polynomial

f1(x)+f2(x)=(xc)(xb+xa)(xa+xb)==(2xab)(xc1) \begin{gathered} f_{1}(x)+f_{2}(x)=(x-c)(x-b+x-a)-(x-a+x-b)= \\ =(2 x-a-b)(x-c-1) \end{gathered}

has, for example, a root x0=c+1x_{0}=c+1; hence, it is false that f1(x0)>0f_{1}\left(x_{0}\right)>0 and f2(x0)>0f_{2}\left(x_{0}\right)>0. Contradiction.

The second solution. Let, for definiteness, a<b<ca < b < c. Consider the functions fa(x)=(xb)(xc)(xa)f_{a}(x)=(x-b)(x-c)-(x-a), fb(x)=(xc)(xa)(xb)f_{b}(x)=(x-c)(x-a)-(x-b), and fc(x)=(xa)(xb)(xc)f_{c}(x)=(x-a)(x-b)-(x-c). The function fa(x)f_{a}(x) is a parabola opening upwards, and its vertex lies above the x-axis: fa(a)=0f_{a}(a)=0, fa(b)>0f_{a}(b)>0, and fa(c)>0f_{a}(c)>0. The function fb(x)f_{b}(x) is also a parabola opening upwards, and its vertex lies below the x-axis: fb(a)<0f_{b}(a)<0, fb(b)=0f_{b}(b)=0, and fb(c)>0f_{b}(c)>0. Therefore, the equation fa(x)=fb(x)f_{a}(x)=f_{b}(x) has a root on the interval [a,b][a, b] (see Fig. 1).

Similarly, the function fc(x)f_{c}(x) is a parabola opening upwards, and its vertex lies below the x-axis: fc(a)>0f_{c}(a)>0, fc(b)<0f_{c}(b)<0, and fc(c)=0f_{c}(c)=0. The function fac(x)=(xb)(xc)(xa)f_{a c}(x)=(x-b)(x-c)-(x-a) is a parabola opening upwards, and its vertex lies above the x-axis: fac(a)=0f_{a c}(a)=0, fac(b)<0f_{a c}(b)<0, and fac(c)>0f_{a c}(c)>0. Therefore, the equation fac(x)=fb(x)f_{a c}(x)=f_{b}(x) also has a root on the interval [a,b][a, b] (see Fig. 2).

The third solution. As in the first solution, suppose that f1(x)f_{1}(x) and f2(x)f_{2}(x) do not have roots. Then their discriminants are negative, that is, (b+c+1)2<4(bc+a)(b+c+1)^{2}<4(b c+a) and (c+a+1)2<4(ca+b)(c+a+1)^{2}<4(c a+b). These inequalities can be rewritten as (bc1)2<4a4b(b-c-1)^{2}<4 a-4 b and (ca+1)2<4b4a(c-a+1)^{2}<4 b-4 a. Therefore, both numbers on the right-hand sides are positive; however, their sum is zero. Contradiction.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.