Find the smallest positive number λ , such that for any complex numbers z1,z2,z3∈{z∈C∣z∣<1} ,if z1+z2+z3=0, then ∣z1z2+z2z3+z3z1∣2+∣z1z2z3∣2<λ.
A number or a short expression. Spacing and $ signs are ignored.
Solution
We aim to find the smallest positive number λ such that for any complex numbers z1,z2,z3∈{z∈C∣∣z∣<1} with z1+z2+z3=0, the following inequality holds: ∣z1z2+z2z3+z3z1∣2+∣z1z2z3∣2<λ.
First, we show that λ≥1. Consider z1=1−ϵ, z2=0, and z3=ϵ−1, where ϵ is a small positive real number. Then, z1+z2+z3=(1−ϵ)+0+(ϵ−1)=0. We have ∣z1z2+z2z3+z3z1∣2=∣(1−ϵ)(ϵ−1)∣2=(1−ϵ2)2, which can be made arbitrarily close to 1 as ϵ→0. Hence, λ≥1.
Now, we prove that λ=1 works. Let zk=rk(cosθk+isinθk) for k=1,2,3. Given z1+z2+z3=0, we have: k=1∑3rkcosθk=0andk=1∑3rksinθk=0.
Squaring and adding these equations, we get: r12+r22+2r1r2cos(θ2−θ1)=r32.
Thus, cos(θ2−θ1)=2r1r2r32−r12−r22.
We then have: 2r12r22cos(2θ2−2θ1)=2r12r22(2cos2(θ2−θ1)−1)=(r32−r12−r22)2−2r12r22=r14+r24+r34−2r12r32−2r22r32.
Adding cyclic permutations, we get: 1≤i<j≤3∑2ri2rj2cos(2θj−2θi)=3(r14+r24+r34)−4(r12r22+r22r32+r32r12).
Given z1+z2+z3=0, we can swap z1z2+z2z3+z3z1 with 21(z12+z22+z32). Thus, ∣z1z2+z2z3+z3z1∣2+∣z1z2z3∣2=41z12+z22+z322+∣z1z2z3∣2.
This simplifies to: 41((∑ri2cos2θi)2+(∑ri2sin2θi)2)+r12r22r32.
Using the identities and properties of trigonometric functions and binomial coefficients, we get: 41(r14+r24+r34+21≤i<j≤3∑ri2rj2cos(2θj−2θi))+r12r22r32.
This reduces to: r14+r24+r34−(r12r22+r22r32+r32r12)+r12r22r32≤1−(1−r12)(1−r22)(1−r32)≤1.
Thus, λ=1 works. Therefore, the smallest positive number λ is: 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.