Maths Olympiad Prep

Library / China Team Selection Test /91 of 92

China Team Selection Test

Algebra Difficulty 9.1 IMO level Find the answer

Find the smallest positive number λ\lambda , such that for any complex numbers z1,z2,z3∈{z∈C∣∣z∣<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+z3z1∣2+∣z1z2z3∣2<λ.\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. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

We aim to find the smallest positive number λ\lambda such that for any complex numbers z1,z2,z3∈{z∈C∣∣z∣<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+z3z1∣2+∣z1z2z3∣2<λ. \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+z3z1∣2=∣(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=0and∑k=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)=r32−r12−r222r1r2. \cos(\theta_2 - \theta_1) = \frac{r_3^2 - r_1^2 - r_2^2}{2r_1r_2}.

We then have:
2r12r22cos⁡(2θ2−2θ1)=2r12r22(2cos⁡2(θ2−θ1)−1)=(r32−r12−r22)2−2r12r22=r14+r24+r34−2r12r32−2r22r32. 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:
∑1≤i<j≤32ri2rj2cos⁡(2θj−2θ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+z3z1∣2+∣z1z2z3∣2=14∣z12+z22+z32∣2+∣z1z2z3∣2. \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((∑ri2cos⁡2θi)2+(∑ri2sin⁡2θ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+2∑1≤i<j≤3ri2rj2cos⁡(2θj−2θ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)+r12r22r32≤1−(1−r12)(1−r22)(1−r32)≤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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.