Olympiad Maths Prep

Track / Stage 6 / 374 of 400 #1374 of 2000

Problem 1374

National olympiad, first round
Algebra Difficulty 6.9 Prove it Ireland · Ireland

Let aa, bb, cc, dd be real numbers, with at least one of aa or cc non-zero, such that
a2+ac+c2+1=b2+bd+d2,and2ab+ad+2cd+bc=0. a^2 + ac + c^2 + 1 = b^2 + bd + d^2, \quad \text{and} \quad 2ab + ad + 2cd + bc = 0.
Show that ac<0ac < 0 or (3a2b2+1)(3c2d2+1)0(3a^2 - b^2 + 1)(3c^2 - d^2 + 1) \le 0.

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

Notice that b0b \neq 0 or d0d \neq 0 as a2+ac+c2+1=(a+c/2)2+(3/4)c2+1>0a^2 + ac + c^2 + 1 = (a + c/2)^2 + (3/4)c^2 + 1 > 0. Suppose that c=0c = 0. By assumption, we then have a0a \neq 0 and the second equation becomes 2ab+ad=02ab + ad = 0, hence b=d/2b = -d/2. Substituting this into the first equation gives d2=(4/3)(a2+1)d^2 = (4/3)(a^2 + 1). So b2=(a2+1)/3b^2 = (a^2 + 1)/3 and
(3a2b2+1)(3c2d2+1)=19(8a2+2)(14a2)<0, (3a^2 - b^2 + 1)(3c^2 - d^2 + 1) = \frac{1}{9}(8a^2 + 2)(-1 - 4a^2) < 0,

(2a+c)b=(a+2c)d. (2a + c)b = -(a + 2c)d.
Since b0b \neq 0 or d0d \neq 0, and (2a+c)(a+2c)=2(a+c)2+ac>0(2a + c)(a + 2c) = 2(a + c)^2 + ac > 0, we deduce that bd<0bd < 0. Consider the complex numbers z=a+ibz = a + ib and w=c+idw = c + id. Then
z2+zw+w2=(a2b2+acbd+c2d2)+i(2ab+ad+bc+2cd)=1. z^2 + zw + w^2 = (a^2 - b^2 + ac - bd + c^2 - d^2) + i(2ab + ad + bc + 2cd) = -1.

So
(z3+z)(w3+w)=(zw)(z2+zw+w2+1)=0. (z^3 + z) - (w^3 + w) = (z - w)(z^2 + zw + w^2 + 1) = 0.
Now
z3+z=a(a23b2+1)+ib(3a2b2+1),w3+w=c(c23d2+1)+id(3c2d2+1). \begin{aligned} z^3 + z &= a(a^2 - 3b^2 + 1) + ib(3a^2 - b^2 + 1), \\ w^3 + w &= c(c^2 - 3d^2 + 1) + id(3c^2 - d^2 + 1). \end{aligned}
In particular d(3c2d2+1)=b(3a2b2+1)d(3c^2 - d^2 + 1) = b(3a^2 - b^2 + 1). But bd<0bd < 0. So
(3a2b2+1)(3c2d2+1)0. (3a^2 - b^2 + 1)(3c^2 - d^2 + 1) \le 0.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.