Let $n\geq 3$ be an integer and $0<\alpha_1, \dots ,\alpha_{n-2}<1$. Let's say a tuple of positive numbers $(e_1,\dots, e_n)$ is *nice* if there is a convex $n$-gon $A_1\dots A_n$ such that $\hat A_i=\pi\alpha_i$ and edge lengths $\overline{A_iA_{i+1}}=e_i$.

(The convexity condition probably will make things rather more complicated, so I will be happy to drop that)

Pythagorean theorem says that with $n=3$ and $\alpha_1=1/2$, the nice tuples are precisely the intersection of the variety $e_2^2=e_1^2+e_3^2$ with the positive orthant. Of course similar result holds for any $\alpha_1$ and $n=3$.

Question: what about $n>3$? My guess is the set of nice tuples is still the intersection of an algebraic scheme with the positive orthant (or some polytope in it). If so, what is known about the equations defining such schemes (obviously they are homogenous, but what about things like degrees)? Any reference for such kind of problems?

(Update Apr 2021): I asked Hendrik Lenstra and he confirmed that the statement mentioned by Henri Cohen below appeared as a Proposition in his thesis (which unfortunately he has no copies left). Also according to Lenstra, it might have appeared in Nieuw Archief voor Wiskunde, but quite probably in Dutch, and I have not been able to track it down.