z21z2z3+z22z1z3+z23z1z2=z31+z32+z33z1z2z3=−1 eşitliğini yazıp bir kenara koyalım ve devam edelim.
(z1+z2+z3)3z1z2z3=z31+z32+z33+3(z21z2+z21z3+z1z22+z22z3+z1z23+z2z23)+6(z1z2z3)z1z2z3=5+3(z1z2+z1z3+z2z1+z2z3+z3z1+z3z2) olarak düzenleyelim. Eğer
z1=cisαz2=cisβz3=cisθ
dersek yukarıdaki eşitliği
5+cos(α−β)+i.sin(α−β)+cos(α−θ)+i.sin(α−θ)+cos(β−θ)+i.sin(β−θ)+cos(−α+β)+i.sin(−α+β)+cos(−α+θ)+i.sin(−α+θ)+cos(−β+θ)+i.sin(−β+θ)=5+6(cos(α−β)+cos(α−θ)+cos(β−θ)) olara yazabiliriz.
Bu durumda linkteki soruya bağlı olarak (talep olursa çözümünü yazarım)
−4≤5+6(cos(α−β)+cos(α−θ)+cos(β−θ))=(z1+z2+z3)3z1z2z3≤23 olur.
|z1|=|z2|=|z3|=1 olduğundan |z1z2z3|=1 olmalıdır. Yani |(z1+z2+z3)3z1z2z3|=|(z1+z2+z3)3| diyebiliriz. Yukarıki eşitsizlikten 0≤|(z1+z2+z3)|≤3√23 kapalı aralığını buluruz.