Is the area of a polygonal linkage maximized by having all vertices on a circle? - MathOverflow

Is the area of a polygonal linkage maximized by having all vertices on a circle?

2010-04-27T19:36:01Z

Consider a (non-stellated) polygon in the plane. Imagine that the edges are rigid, but that the vertices consist of flexible joints. That is, one is allowed to move the polygon around in such a way that the vertices stay a fixed distance from their adjacent neighbors. Such a system is called a polygonal linkage.

As the linkage varies in its embedding in the plane, the area of the interior varies. The question is, When is the area maximized?

I have a specific answer I suspect is correct, but I am having trouble showing. I believe it is true that every polygonal linkage has as embedding where all the vertices lie on one circle (this isn't hard to show in the case when the linkage starts non-stellated). My claim is that the area is maximized exactly when all the vertices lie on a circle.

I can show this for a 4-sided polygon, but with techniques that do not generalize.

Also, my requirement that the polygon be non-stellated was only so that it was clear that there was a way to flex it to have all vertices on a circle. This question extends to the stellated case, but the question there is whether every stellated linkage can be flexed to one which is non-stellated.

Answer by David Speyer for Is the area of a polygonal linkage maximized by having all vertices on a circle?

2010-04-27T20:19:47Z

If you can show it for a quadrilateral, then it is true in general.

Proof Sketch: by induction on the number of sides. The base case is $n=4$, which you say you have done. Let $X$ be the set of joints. By a compactness argument, the maximum is achieved; pick a particular placement which achieves the maximum.

Consider a new linkage $X'$ with $n-1$ vertices. The distance between $x'_i$ and $x'_{i+1}$ is the same as that between $x_i$ and $x_{i+1}$ ; the distance between $x'_1$ and $x'_{n-1}$ is the same as the distance between $x_1$ and $x_{n-1}$ in the chosen optimal placement. Then the chosen placement of the $x_i$'s must also be an optimal placement of the $x'_i$ 's; if not, we could keep $(x_1, x_{n-1}, x_n)$ in the same place and move the other $x_j$'s to a better placement for linkage $X'$, obtaining a better placement of $X$.

By induction, we see that $\{ x_1, x_2, \ldots, x_{n-1} \}$ lie on a circle. But the same applies to any index, so $X \setminus \{ x_i \}$ lies on a circle $C_i$ for any $i$. We see that $C_i$ and $C_j$ have $n-2$ points in common so (for $n>4$) they must be the same circle. So all the points lie on a circle.

As regards your other question, as to whether every closed linkage to be unfolded to lie on a circle, I believe the answer is also yes. Let $d_1$, $d_2$, ..., $d_n$ be the lengths of the sides. Without loss of generality, let $d_n = \max(d_i)$. Since your linkage closes, we have $d_n < \sum_{i <n} d_i$ by the triangle inequality.

Consider the function $f(R) = \sum 2 \sin^{-1}(d_i/(2R))$. When $R=d_n/2$, all the inverse sines are defined, and we have $$f(R) > \pi + 2 \sin^{-1} (\sum_{i<n} d_i/d_n) \geq 2 \pi,$$ where we have used the inequality $\sin^{-1}(x) + \sin^{-1}(y) \geq \sin^{-1}(x+y)$, following from the convexity of $\sin^{-1}$.

As $R$ goes to infinity, $f(R)$ goes to $0$. By the intermediate value theorem, $f(R)$ is $2 \pi$ somewhere; your linkage can be unfolded onto a circle of this radus $R$.

Answer by Gjergji Zaimi for Is the area of a polygonal linkage maximized by having all vertices on a circle?

2010-04-27T20:26:19Z

This is a theorem of Cramer. See here

For the quadrilateral case the quickest proof is using Brahmagupta's formula

$$Area=\sqrt{(s-a)(s-b)(s-c)(s-d)-abcd\cos^2 \theta}$$ where $a,b,c,d$ are the sides, $s$ is the half perimeter and $\theta$ is half the sum of opposite angles.

Edit: I wonder if this argument works: Pick four consecutive vertices and move the linkage made of these four vertices till it's cyclic. There will be a subsequence of the polygons we get after such operations which converges, by the Weierstrass theorem. In the limit the polygon will be cyclic otherwise you can find four consecutive vertices not on a circle and increase the area again.

Answer by Joseph Malkevitch for Is the area of a polygonal linkage maximized by having all vertices on a circle?

2010-04-27T20:32:24Z

A theorem of Connelly, Demaine, and Rote shows that a variety of plane linkages can be convexified or straightened:

http://erikdemaine.org/papers/Linkage/

Ileana Streinu recently won the Robbins Prize for very innovative approach to solving problems of this kind.

Answer by Robin Chapman for Is the area of a polygonal linkage maximized by having all vertices on a circle?

2010-04-27T21:06:29Z

There's a simple argument showing that from the quadrilateral case we can easily deduce the $n$-vertex case (at least in the convex case). We claim that in any configuration locally maximizing the area the vertices are concyclic. Take any four consectutive vertices $A$, $B$, $C$ and $D$. Then in at a local maximum of area $A$, $B$, $C$ and $D$ are concyclic lest we could raise the area by moving the edges $AB$, $BC$ and $CD$ (by the quadrilateral case). Hence the circumcircles of $ABC$ and $BCD$ coincide. So all the circumcircles of three consecutive vertices are the same circle: the vertices are concyclic.

Answer by Igor Pak for Is the area of a polygonal linkage maximized by having all vertices on a circle?

2010-04-28T06:24:30Z

Here is a general way to think about these kind of problems. The Minkowski theorem says that a polytope is uniquely determined by its normals and volumes of the facets. You can loose some of these conditions and ask for the optimum isoperimetric ratio. In this case, in $\Bbb R^2$ you forget normals and conclude that inscribed polygon with given side lengths is optimal. A classical Lindelöf theorem does the opposite: in $\Bbb R^d$, it says that the optimal polytope with prescribed normals are circumscribed around the sphere (see e.g. here, Section 18.3).