Maths Olympiad Prep

Library / /139 of 156

Algebra Difficulty 6.2 National Olympiad Prove it China

Suppose a,bRa, b \in \mathbb{R}. If equation

(z2+az+b)(z2+az+2b)=0(z^2 + az + b)(z^2 + az + 2b) = 0

about zz has four mutually different complex roots z1,z2,z3,z4z_1, z_2, z_3, z_4 and their corresponding points in the complex plane are exactly four vertices of a square with side length 11, then find the value of z1+z2+z3+z4|z_1| + |z_2| + |z_3| + |z_4|.

Solution

Denote quadratic equations E1:z2+az+b=0E_1: z^2 + az + b = 0, E2:z2+az+2b=0E_2: z^2 + az + 2b = 0. Let z1,z2z_1, z_2 be solutions of E1E_1 and z3,z4z_3, z_4 be solutions of E2E_2.
If z1,z2,z3,z4z_1, z_2, z_3, z_4 are all real numbers, then their corresponding points on the complex plane are all on the real axis, which is not consistent with the question. If z1,z2,z3,z4z_1, z_2, z_3, z_4 are imaginary numbers, then their corresponding points on the complex plane are all on line Rez=a2\operatorname{Re} z = -\frac{a}{2}, which does not fit the question. Therefore, there are two real numbers and two imaginary numbers in z1,z2,z3,z4z_1, z_2, z_3, z_4.
This shows that discriminant a24ba^2-4b of equation E1E_1 and the discriminant a28ba^2-8b of E2E_2 have different signs.
At this point, there must be b>0b > 0 (if b0b \le 0, then a24b0a^2 - 4b \ge 0 and a28b0a^2 - 8b \ge 0, a contradiction), so
a24b0>a28b. a^2 - 4b \ge 0 > a^2 - 8b.
Hence, z1,2=a±a24b2z_{1,2} = \frac{-a \pm \sqrt{a^2 - 4b}}{2}, z3,4=a±8ba22z_{3,4} = \frac{-a \pm \sqrt{8b - a^2}}{2}.
It is evident that z1+z22=z3+z42=a2\frac{z_1 + z_2}{2} = \frac{z_3 + z_4}{2} = -\frac{a}{2}. Since the side length of the square is 11, there is
z1z2=a24b=2, |z_1 - z_2| = \sqrt{a^2 - 4b} = \sqrt{2},
z3z4=8ba2=2, |z_3 - z_4| = \sqrt{8b - a^2} = \sqrt{2},
namely, a24b=8ba2=2a^2 - 4b = 8b - a^2 = 2, and the solutions are a2=6,b=1a^2 = 6, b = 1.
Noticing that z1,z2z_1, z_2 have the same sign and z3=z4|z_3| = |z_4|, we know that
z1+z2+z3+z4=z1+z2+2z3=a+a2+(8ba2)=6+22. \begin{aligned} |z_1| + |z_2| + |z_3| + |z_4| &= |z_1 + z_2| + 2|z_3| \\ &= |-a| + \sqrt{a^2 + (8b - a^2)} \\ &= \sqrt{6} + 2\sqrt{2}. \end{aligned}

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.