1
$\begingroup$

Suppose for $n\geq 3$ we have, $z_1,\ldots ,z_n\in\mathbb{C}$ and $|z_1|=|z_2|=\cdots=|z_n|=1$. Now I need to determine a property $P$ such that the following is true :

$$\sum_{i=1}^n z_i=0\Longleftrightarrow z_1,\ldots ,z_n\mbox{ are the vertices of a polygon satisfying } P$$

I have solved the cases for $n=3$ and $n=4$, in the first case, $P$ is equilateral triangle and for the second, $P$ is rectangle. But my methods does not generalize for general case. Can we solve it for general $n$ ? At least I would like to know what happens for $n=5$.

  • 0
    Two (venial) sins that I hope you will **not** repeat: 1. using a title that is entirely in $\LaTeX$, and 2. having the $\LaTeX$ in the title in `\displaystyle` or enclosed in `$$`.2012-08-04
  • 0
    If you know physics, consider this: how must $n$ people be arranged around a circle if each one is pulling at an object at the center of the circle with a force of $1 \mbox{N}$, such that the net force on the object is zero (i.e., their tugging effectively gets cancelled out).2012-08-04
  • 0
    @J.M.:Thanks for the suggestions, I will not repeat these. But may I know why is this important2012-08-04
  • 0
    1. Titles that are entirely in $\LaTeX$ are annoying to right-click on for, say, opening in new windows or tabs. 2. Titles with `\displaystyle` $\LaTeX$ look rather disruptive on the front page.2012-08-04
  • 0
    Since no one has still answered the question, I'll say it now. The property is that the polygon is regular.2012-08-04
  • 3
    @lada, that's not even true for $n=4$, where, as OP knows, rectangles work. It gets worse for larger $n$.2012-08-05

1 Answers 1

1

You can get all the solutions for $n=5$, but it isn't pretty.

There must be a sector of size $4\pi/5$ containing at least 3 of the points. By rotating and reflecting, if necessary, we may assume $z_j=e^{2\pi i\theta_j}$ with $\theta_1=0$, $0\le\theta_1\le1/5$, $\theta_1\le\theta_2\le2/5$. Now provided only that $$|z_1+z_2+z_3|\le2$$ we can find unique $\theta_4\le\theta_5$ to make $\sum^5z_j=0$.

Thinking of $\theta_1$ and $\theta_2$ as parameters, this gives a 2-parameter family of solutions to $$z_1+z_2+z_3+z_4+z_5=0,\qquad|z_j|=1$$