Maths Olympiad Prep

Library / Bay Area Mathematical Olympiad /45 of 79

Bay Area Mathematical Olympiad

Algebra Difficulty 6.9 National Olympiad Prove it United States

Problem:

Call a number TT persistent if the following holds: Whenever a,b,c,da, b, c, d are real numbers different from 00 and 11 such that
a+b+c+d=T a + b + c + d = T
and
1a+1b+1c+1d=T \frac{1}{a} + \frac{1}{b} + \frac{1}{c} + \frac{1}{d} = T
we also have
11−a+11−b+11−c+11−d=T. \frac{1}{1-a} + \frac{1}{1-b} + \frac{1}{1-c} + \frac{1}{1-d} = T.

a. If TT is persistent, prove that TT must be equal to 22.

b. Prove that 22 is persistent.

Solution

Solution:

a.
Suppose TT is persistent. Observe that for any uu satisfying ∣u∣≥2|u| \geq 2, the equation x+1/x=ux + 1/x = u has real solutions (because it can be written in the form x2−ux+1=0x^2 - u x + 1 = 0, which has discriminant u2−4u^2 - 4). Choose uu large enough so that both uu and v=T−uv = T - u have absolute value greater than 22. Then there exist real x,yx, y, not equal to 00 or 11, such that x+1/x=ux + 1/x = u and y+1/y=vy + 1/y = v. Let a=xa = x, b=1/xb = 1/x, c=yc = y, d=1/yd = 1/y. Then a+b+c+d=1/a+1/b+1/c+1/d=u+v=Ta + b + c + d = 1/a + 1/b + 1/c + 1/d = u + v = T, while
T=11−a+11−b+11−c+11−d=11−x+11−1/x+11−y+11−1/y=11−x+xx−1+11−y+yy−1=1−x1−x+1−y1−y=2, \begin{aligned} T &= \frac{1}{1-a} + \frac{1}{1-b} + \frac{1}{1-c} + \frac{1}{1-d} \\ &= \frac{1}{1-x} + \frac{1}{1-1/x} + \frac{1}{1-y} + \frac{1}{1-1/y} \\ &= \frac{1}{1-x} + \frac{x}{x-1} + \frac{1}{1-y} + \frac{y}{y-1} \\ &= \frac{1-x}{1-x} + \frac{1-y}{1-y} \\ &= 2, \end{aligned}
and we are finished.

b.
Now we will show that 22 is persistent.
Suppose a+b+c+d=2a + b + c + d = 2 and 1a+1b+1c+1d=2\frac{1}{a} + \frac{1}{b} + \frac{1}{c} + \frac{1}{d} = 2. Consider the monic polynomial f(x)f(x) with roots a,b,c,da, b, c, d. Let f(x)f(x) have expansion
f(x)=x4−e1x3+e2x2−e3x+e4 f(x) = x^4 - e_1 x^3 + e_2 x^2 - e_3 x + e_4
By Vieta's formulas, we have
e1=a+b+c+d=2 e_1 = a + b + c + d = 2
and
e3e4=bcd+cda+dab+abcabcd=1a+1b+1c+1d=2. \frac{e_3}{e_4} = \frac{b c d + c d a + d a b + a b c}{a b c d} = \frac{1}{a} + \frac{1}{b} + \frac{1}{c} + \frac{1}{d} = 2.
Thus, f(x)f(x) has the form x4−2x3+rx2−2sx+sx^4 - 2 x^3 + r x^2 - 2 s x + s.
Next, we consider the polynomial g(x)=f(1−x)g(x) = f(1-x), which is the monic polynomial with roots 1−a,1−b,1−c,1−d1-a, 1-b, 1-c, 1-d. We have
g(x)=(1−x)4−2(1−x)3+r(1−x)2−2s(1−x)+s=x4−2x3+rx2+(2−2r+2s)x−(1−r+s). \begin{aligned} g(x) &= (1-x)^4 - 2(1-x)^3 + r(1-x)^2 - 2s(1-x) + s \\ &= x^4 - 2 x^3 + r x^2 + (2 - 2r + 2s)x - (1 - r + s). \end{aligned}
By Vieta's formulas again, we have
11−a+11−b+11−c+11−d=−(2−2r+2s)−(1−r+s)=2. \begin{aligned} \frac{1}{1-a} + \frac{1}{1-b} + \frac{1}{1-c} + \frac{1}{1-d} &= \frac{-(2 - 2r + 2s)}{-(1 - r + s)} \\ &= 2. \end{aligned}
Therefore, 22 is persistent.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.