Maths Olympiad Prep

Library / /17 of 34

, 2014

Algebra Difficulty 5.8 AIME, harder Prove it Austria

Determine all quadruples (a,b,c,d)(a, b, c, d) of real numbers satisfying the following system of equations.
ab+ac=3b+3cbc+bd=5c+5dac+cd=7a+7dad+bd=9a+9b \begin{aligned} ab + ac &= 3b + 3c \\ bc + bd &= 5c + 5d \\ ac + cd &= 7a + 7d \\ ad + bd &= 9a + 9b \end{aligned}

Solution

We first note that the first equation can be written in the form a(b+c)=3(b+c)a \cdot (b+c) = 3 \cdot (b+c) (and the others analogously)

* Case I: a+b0a+b \ne 0, b+c0b+c \ne 0, c+d0c+d \ne 0, d+a0d+a \ne 0. In this case we have (a,b,c,d)=(3,5,7,9)(a, b, c, d) = (3, 5, 7, 9).

* Case II: a+b=b+c=c+d=d+a=0a+b = b+c = c+d = d+a = 0. In this case we obtain solutions (a,b,c,d)=(t,t,t,t)(a, b, c, d) = (t, -t, t, -t), with any real values of tt.

* Case III: There exists a sum equal to 00 and there exists a sum not equal to 00. Let us assume that b+c=0b+c=0 and c+d0c+d \neq 0 hold. By the second equation we have b=5b=5 and therefore c=5(7)c=-5 (\neq 7). By the third equation, we therefore have d+a=0d+a=0. There are now two subcases to consider.

Subcase A) a+b=0a+b=0 with a=5a=-5, d=5d=5 and c+d=0c+d=0, which yields a contradiction.

We therefore have subcase B) a+b0a+b \neq 0 with d=9d=9, a=9a=-9.
We therefore have b+c=d+a=0b+c = d+a = 0, a+b0a+b \neq 0, c+d0c+d \neq 0 and (a,b,c,d)=(9,5,5,9)(a, b, c, d) = (-9, 5, -5, 9).

Starting with some other pair, analogous reasoning always yields: one sum equal to 00 and the next (cyclically) not equal to 00 implies that the one after this is again equal to 00, and the last again not equal to 00.

The only other case left is therefore given by c+d=a+b=0c+d = a+b = 0, b+c0b+c \neq 0, d+a0d+a \neq 0, and this yields (a,b,c,d)=(3,3,7,7)(a, b, c, d) = (3, -3, 7, -7).

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