Evaluate $|z_1 + z_2 + z_3|$ on unit circle given $\frac{ z_1^2}{z_2 z_3} + \frac{ z_2^2}{z_1 z_3} + \frac{ z_3^2}{z_1 z_2} +1 =0$

given three complex numbers $$(z_1 , z_2 , z_3)$$ lying on the unit circle and related by the equation $$\frac{ z_1^2}{z_2 z_3} + \frac{ z_2^2}{z_1 z_3} + \frac{ z_3^2}{z_1 z_2} +1 =0$$, find the sum of all possible values of $$|z_1 + z_2 + z_3|$$

I have no idea how to solve it systematically but with some guessing I found that $$(1,1,-1)$$ is a solution triplet for this constraint. And, if $$(1,1,-1)$$ is a solution then by the symmetry of how the equation is, it means that $$(-1,1,1)$$ and $$(1,-1,1)$$ are also solutions.

But, I'm not sure how to rule out/ find more solutions. Ideally, the answer I"m looking for is a general method to approach these kind of questions.

• Are you sure about the equation that there is no typo? – SarGe Jul 17 '20 at 13:03
• why do you say that? – Buraian Jul 17 '20 at 13:04
• I'm not sure but just because they are not in cyclic order. – SarGe Jul 17 '20 at 13:05
• Are you sure your statement is correct? The indices are 113, 213, 311. I don't see any symmetry. – marty cohen Jul 17 '20 at 13:05
• yea fixed it now – Buraian Jul 17 '20 at 13:07

Let us define the angles $$\alpha$$ and $$\beta$$ as $$\begin{eqnarray} \alpha &=& \mathrm{Arg}\left[\frac{z_2}{z_1}\right] \, , \\ \beta &=& \mathrm{Arg}\left[\frac{z_3}{z_1}\right] \, . \end{eqnarray}$$ Both the condition and the norm $$|z_1 + z_2 + z_3|$$ can be written in terms of only $$\alpha$$ and $$\beta$$ since $$\begin{eqnarray} 0 &=& \frac{z^2_1}{z_2 z_3} + \frac{z^2_2}{z_3 z_1} + \frac{z^2_3}{z_1 z_2} + 1 \, \\ &=& \frac{1}{\frac{z_2}{z_1} \frac{z_3}{z_1}} + \frac{\left(\frac{z_2}{z_1}\right)^2}{\frac{z_3}{z_1}} + \frac{\left(\frac{z_3}{z_1}\right)^2}{\frac{z_2}{z_1}} + 1 \, , \end{eqnarray}$$ and $$$$|z_1 + z_2 + z_3| = |z_1|\left|1 + \frac{z_2}{z_1} + \frac{z_3}{z_1}\right| = \left|1 + \frac{z_2}{z_1} + \frac{z_3}{z_1}\right| \, .$$$$ This means that for each pair of values of $$\alpha$$ and $$\beta$$ that solve the condition above, $$z_1$$ (or, equivalently, its $$\mathrm{Arg}$$) still remains an unconstrained degree of freedom, which is probably considered a redundancy when computing the sum that the exercise asks for.

An additional source or redundancy is the fact that $$\alpha$$ and $$\beta$$ that solve the condition above are interchangeable, given the symmetry of the expression.

If we focus on only the ranges $$0 \leq \alpha < 2 \pi$$ and $$0 \leq \beta < 2 \pi$$, the pairs of values that solve the condition are $$$$\left( \pi, \pi \right), \left( 0, \pi \right), \left( \frac{\pi}{3} , \frac{2\pi}{3} \right) , \left( \frac{\pi}{3} , \frac{5\pi}{3} \right), \left( \frac{4\pi}{3} , \frac{5\pi}{3} \right) \, ,$$$$ where, again, each can be either $$\alpha$$ or $$\beta$$. The corresponding values of $$|z_1 + z_2 + z_3|$$ are $$$$1, 1, 2, 2, 2.$$$$ From here it's not completely clear how much redundancy should we consider in order to compute the sum, but the fundamental components are there. If we are expected to sum each possible value of the norm once then we get $$1+2 = 3$$.

• my only question is how did you solve for the pairs satisfying the condition – Buraian Jul 17 '20 at 22:14

Let $$\frac{z_1}{z_2}=e^{i \alpha}$$, $$\frac{z_2}{z_3}= e^{i \beta}$$ and $$\frac{z_3}{z_1}= e^{i \gamma}$$. WLOG, $$\alpha +\beta +\gamma=2\pi$$, $$\alpha,\beta,\gamma\ge 0$$. Then, from the given

$$e^{i(\alpha-\gamma)}+ e^{i(\beta-\alpha)}+ e^{i(\gamma-\beta)}+1=0$$

or

$$\sin (\alpha-\gamma) + \sin(\beta-\alpha)+ \sin(\gamma-\beta)=0$$ $$\cos (\alpha-\gamma) + \cos(\beta-\alpha)+ \cos(\gamma-\beta)+1=0$$

Factorize $$\sin \frac{\alpha-\gamma}2 \sin\frac{\beta-\alpha}2\sin\frac{\gamma-\beta}2=0$$ $$\cos \frac{\alpha-\gamma}2 \cos\frac{\beta-\alpha}2\cos\frac{\gamma-\beta}2=0$$

which, along with $$\alpha +\beta +\gamma=2\pi$$, yield the solutions for $$(\alpha,\beta,\gamma)$$

$$(\pi,0,\pi),(\pi,\pi,0) ,(0,\pi,\pi), (\frac\pi3,\frac\pi3,\frac{4\pi}3), (\frac\pi3,\frac{4\pi}3, \frac\pi3), (\frac{4\pi}3, \frac\pi3,\frac\pi3)$$

As expected, they are symmetric with respect to $$\alpha,\beta,\gamma$$, and it suffices to evaluate below with $$(\pi,0,\pi)$$ and $$(\frac\pi3,\frac{4\pi}3, \frac\pi3)$$ only to obtain

$$$$|z_1 + z_2 + z_3| = |1+e^{-i\alpha}+e^{i \gamma}|= 1,2$$$$

• How exactly did you solve the equations? – Buraian Jul 17 '20 at 17:36
• @DDD4C4U - 6 combinations from the 2 factorized equations. For example, $\sin\frac{\alpha-\gamma}2= \cos\frac{\beta-\alpha}2 =0$ yields $(\pi,0,\pi),\>(\frac\pi3,\frac{4\pi}3, \frac\pi3)$ – Quanto Jul 17 '20 at 19:04
• why $\alpha + \beta + \gamma = 2 \pi$ – Buraian Jul 18 '20 at 9:05
• @DDD4C4U - because $e^{i \alpha} e^{i \beta} e^{i \gamma} =1$ – Quanto Jul 18 '20 at 12:14