Maths Olympiad Prep

Library / /8 of 15

Algebra Difficulty 4.9 AIME Prove it United States

Problem:

Let abcda \leq b \leq c \leq d be real numbers such that

a+b+c+d=0 and 1a+1b+1c+1d=0 a+b+c+d=0 \quad \text{ and } \quad \frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}=0

Prove that a+d=0a+d=0.

Solutions — 2

Solution 1

Solution:

Let us rearrange the first equation to read
a+b=(c+d) a+b=-(c+d)
and the second to give
1a+1b=1c1da+bab=c+dcd \begin{aligned} \frac{1}{a}+\frac{1}{b} & =-\frac{1}{c}-\frac{1}{d} \\ \frac{a+b}{a b} & =-\frac{c+d}{c d} \end{aligned}
If a+b0a+b \neq 0, then we can divide (1) by (2) to yield ab=cda b=c d. So we conclude that
a+b=0 or ab=cd a+b=0 \quad \text{ or } \quad a b=c d
In exactly the same manner, we derive that
a+c=0 or ac=bd a+c=0 \quad \text{ or } \quad a c=b d
and
a+d=0 or ad=bc (this equation will not be needed).  a+d=0 \quad \text{ or } \quad a d=b c \quad \text{ (this equation will not be needed). }
For the sake of contradiction, we are assuming that a+d0a+d \neq 0. Suppose that a+c=0a+c=0 holds; since a+b+c+d=0a+b+c+d=0, we get b+d=0b+d=0, whereas we know aba \leq b and cdc \leq d. We conclude that a=ba=b and c=dc=d, whence a+d=a+c=0a+d=a+c=0. Thus a+c0a+c \neq 0, and for similar reasons a+b0a+b \neq 0.
Multiplying together the equations ab=cda b=c d and ac=bda c=b d and canceling the nonzero (why?) factor bcb c gives a2=d2a^{2}=d^{2}. So either a=da=-d, which is what we assumed impossible, or a=da=d, which yields the absurdity a=b=c=d=0a=b=c=d=0.

Solution 2

Solution:

Consider the polynomial
f(x)=(xa)(xb)(xc)(xd) f(x)=(x-a)(x-b)(x-c)(x-d)
with roots a,b,c,da, b, c, d. The cubic coefficient of ff is (a+b+c+d)=0-(a+b+c+d)=0; the linear coefficient is
(abc+abd+acd+bcd)=abcd(1a+1b+1c+1d)=0. -(a b c+a b d+a c d+b c d)=-a b c d\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}\right)=0 .
Consequently ff has the form f(x)=x4+px2+qf(x)=x^{4}+p x^{2}+q, and there are complex numbers uu and vv such that
f(x)=(x2)2+px2+q=(x2u)(x2v)=(x+u)(xu)(xv)(x+v). f(x)=\left(x^{2}\right)^{2}+p x^{2}+q=\left(x^{2}-u\right)\left(x^{2}-v\right)=(x+\sqrt{u})(x-\sqrt{u})(x-\sqrt{v})(x+\sqrt{v}) .
Since ff has only real roots, uu and vv must be real and nonnegative. WLOG uvu \leq v; then vuuv-\sqrt{v} \leq-\sqrt{u} \leq \sqrt{u} \leq \sqrt{v} and we can identify the two factorizations of ff :
a=v,b=u,c=u,d=v. a=-\sqrt{v}, \quad b=-\sqrt{u}, \quad c=\sqrt{u}, \quad d=\sqrt{v} .
Hence a+d=0a+d=0.

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

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