Maths Olympiad Prep

Library / /97 of 97

Algebra Difficulty 9.1 IMO level Find the answer

Find the smallest positive number λ\lambda , such that for any complex numbers z1,z2,z3{zCz<1}{z_1},{z_2},{z_3}\in\{z\in C\big| |z|<1\} ,if z1+z2+z3=0z_1+z_2+z_3=0, then z1z2+z2z3+z3z12+z1z2z32<λ.\left|z_1z_2 +z_2z_3+z_3z_1\right|^2+\left|z_1z_2z_3\right|^2 <\lambda .

A number or a short expression. Spacing and $ signs are ignored.

Solution

We aim to find the smallest positive number λ\lambda such that for any complex numbers z1,z2,z3{zCz<1}z_1, z_2, z_3 \in \{z \in \mathbb{C} \mid |z| < 1\} with z1+z2+z3=0z_1 + z_2 + z_3 = 0, the following inequality holds:
z1z2+z2z3+z3z12+z1z2z32<λ. \left|z_1z_2 + z_2z_3 + z_3z_1\right|^2 + \left|z_1z_2z_3\right|^2 < \lambda.

First, we show that λ1\lambda \geq 1. Consider z1=1ϵz_1 = 1 - \epsilon, z2=0z_2 = 0, and z3=ϵ1z_3 = \epsilon - 1, where ϵ\epsilon is a small positive real number. Then,
z1+z2+z3=(1ϵ)+0+(ϵ1)=0. z_1 + z_2 + z_3 = (1 - \epsilon) + 0 + (\epsilon - 1) = 0.
We have
z1z2+z2z3+z3z12=(1ϵ)(ϵ1)2=(1ϵ2)2, |z_1z_2 + z_2z_3 + z_3z_1|^2 = |(1 - \epsilon)(\epsilon - 1)|^2 = (1 - \epsilon^2)^2,
which can be made arbitrarily close to 1 as ϵ0\epsilon \to 0. Hence, λ1\lambda \geq 1.

Now, we prove that λ=1\lambda = 1 works. Let zk=rk(cosθk+isinθk)z_k = r_k (\cos \theta_k + i \sin \theta_k) for k=1,2,3k = 1, 2, 3. Given z1+z2+z3=0z_1 + z_2 + z_3 = 0, we have:
k=13rkcosθk=0andk=13rksinθk=0. \sum_{k=1}^3 r_k \cos \theta_k = 0 \quad \text{and} \quad \sum_{k=1}^3 r_k \sin \theta_k = 0.

Squaring and adding these equations, we get:
r12+r22+2r1r2cos(θ2θ1)=r32. r_1^2 + r_2^2 + 2r_1r_2 \cos(\theta_2 - \theta_1) = r_3^2.

Thus,
cos(θ2θ1)=r32r12r222r1r2. \cos(\theta_2 - \theta_1) = \frac{r_3^2 - r_1^2 - r_2^2}{2r_1r_2}.

We then have:
2r12r22cos(2θ22θ1)=2r12r22(2cos2(θ2θ1)1)=(r32r12r22)22r12r22=r14+r24+r342r12r322r22r32. 2r_1^2r_2^2 \cos(2\theta_2 - 2\theta_1) = 2r_1^2r_2^2 (2 \cos^2(\theta_2 - \theta_1) - 1) = (r_3^2 - r_1^2 - r_2^2)^2 - 2r_1^2r_2^2 = r_1^4 + r_2^4 + r_3^4 - 2r_1^2r_3^2 - 2r_2^2r_3^2.

Adding cyclic permutations, we get:
1i<j32ri2rj2cos(2θj2θi)=3(r14+r24+r34)4(r12r22+r22r32+r32r12). \sum_{1 \leq i < j \leq 3} 2r_i^2r_j^2 \cos(2\theta_j - 2\theta_i) = 3(r_1^4 + r_2^4 + r_3^4) - 4(r_1^2r_2^2 + r_2^2r_3^2 + r_3^2r_1^2).

Given z1+z2+z3=0z_1 + z_2 + z_3 = 0, we can swap z1z2+z2z3+z3z1z_1z_2 + z_2z_3 + z_3z_1 with 12(z12+z22+z32)\frac{1}{2}(z_1^2 + z_2^2 + z_3^2). Thus,
z1z2+z2z3+z3z12+z1z2z32=14z12+z22+z322+z1z2z32. \left|z_1z_2 + z_2z_3 + z_3z_1\right|^2 + \left|z_1z_2z_3\right|^2 = \frac{1}{4} \left|z_1^2 + z_2^2 + z_3^2\right|^2 + |z_1z_2z_3|^2.

This simplifies to:
14((ri2cos2θi)2+(ri2sin2θi)2)+r12r22r32. \frac{1}{4} \left( (\sum r_i^2 \cos 2\theta_i)^2 + (\sum r_i^2 \sin 2\theta_i)^2 \right) + r_1^2 r_2^2 r_3^2.

Using the identities and properties of trigonometric functions and binomial coefficients, we get:
14(r14+r24+r34+21i<j3ri2rj2cos(2θj2θi))+r12r22r32. \frac{1}{4} \left( r_1^4 + r_2^4 + r_3^4 + 2 \sum_{1 \leq i < j \leq 3} r_i^2 r_j^2 \cos(2\theta_j - 2\theta_i) \right) + r_1^2 r_2^2 r_3^2.

This reduces to:
r14+r24+r34(r12r22+r22r32+r32r12)+r12r22r321(1r12)(1r22)(1r32)1. r_1^4 + r_2^4 + r_3^4 - (r_1^2 r_2^2 + r_2^2 r_3^2 + r_3^2 r_1^2) + r_1^2 r_2^2 r_3^2 \leq 1 - (1 - r_1^2)(1 - r_2^2)(1 - r_3^2) \leq 1.

Thus, λ=1\lambda = 1 works. Therefore, the smallest positive number λ\lambda is:
1. \boxed{1}.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.