Are functions that sum to zero over vertices of similar polygons identically zero?

To visualize what subrosar probably meant with his "regular $n$-gon"-technique, I created the following picture for the case of the 7-gon

In his post, subrosar used the same technique for the triangle.

You create $n$ copies of the $n$-gone, so that they all meat in a single vertex, and you arrange them in a symmetric pattern (the black 7-gons in the picture). You then "cancel out" all vertices but the central one by inserting further concentric $n$-gons. This works similar for all regular $n$-gons, but it is best seen for odd $n$, as then no additional vertices coincide.

This technique can be generalized to polygons in which all vertices lie on a common circle, e.g. for this irregular 5-gon:

enter image description here And in fact, there is an even more general way to do this that works for all polygons, convex and non-convex:

Let $P$ be a polygon with vertices $v_1,...,v_n$. Choose a point $x\in\Bbb R^2$ that is not a vertex of $P$. Now, for each vertex $v_i$ of $P$, place a polygon $P_i$ in $\Bbb R^2$, that is congruent to $P$ (by rotation and scaling, no mirroring), and has its vertex $v_1^i$ (its version of the vertex $v_1$) at $x$, and its vertex $v_2^i$ at $v_i$.

The points $\{v_k^i\mid i=2,...,n\}$ now form the vertices of a polygon $\bar P_k$, that is congruent to $P$.

If $x$ is choosen to be the circumcenter of the polygon and all vertices of the polygon are on that circumcircle, we just obtain the same technique as above.

So, indeed, the task can be stated with any polygon (or if you want so, with any set of points of size at least three).


Let me reformulate M. Winter's answer as follows.

Embed $\mathbb R^2$ to $\mathbb C$, the original question can be restated as below:

Let $f : \mathbb C \to \mathbb R$ be a function. Suppose there exists pairwise distinct $v_0 = 0$ and $v_1 \cdots, v_n \in \mathbb C$ such that $$\sum_{i=0}^n f(z+\alpha v_i) = 0$$ for all $\alpha \neq 0 \in \mathbb C$ and $z \in \mathbb C$. Show that $f \equiv 0$.

Without loss of generality, suppose none of $v_i$ is $-1$. For $0 \leq i,j \leq n$ Let $w_{ij} = v_i(v_j + 1)$. From the definition of $f$, for $0 \leq j \leq n$, $$ \sum_{i=0}^n f(w_{ij}) = \sum_{i=0}^n f(0+(v_j + 1)v_i) = 0. $$

Similarly, for $1 \leq i \leq n$, $$ \sum_{j=0}^n f(w_{ij}) = \sum_{j=0}^n f(v_i + v_iv_j) = 0. $$

Then $$ \begin{aligned} (n+1)f(0) &= \text{(the sum of the $n+1$ equations in the top)}\\ &- \text{(the sum of the $n$ equations in the bottom)} = 0. \end{aligned} $$

So $f(0) = 0$, in the same manner $f(z) = 0$ for all $z \in \mathbb C$.