There is a unit-radius circle and you must form a polygon all of whose vertices are located on the circle, such as below:
What is the biggest possible value of the sum of squares of side lengths of such a polygon?
Puzzling Stack Exchange is a question and answer site for those who create, solve, and study puzzles. It only takes a minute to sign up.
Sign up to join this communityThere is a unit-radius circle and you must form a polygon all of whose vertices are located on the circle, such as below:
What is the biggest possible value of the sum of squares of side lengths of such a polygon?
The greatest possible sum of the squares of the side lengths is
9, constructed using an equilateral triangle.
Details below; I have no spoilered them; read on at your peril.
Lemma If our polygon has any obtuse angle, we may remove an obtuse-angled vertex without reducing the sum of squared side lengths. (Nitpick: Not if it has only three vertices and we aren't prepared to consider degenerate two-sided "polygons".)
Proof Cosine rule.
Corollary A sum-of-squares-maximizing polygon either has only non-obtuse angles or is a triangle.
Corollary A sum-of-squares-maximizing polygon is a triangle or rectangle.
Thanks to Pythagoras, any rectangle has the same sum of squared side-lengths — namely, 8. Let us now consider triangles:
If the triangle's angles are $\alpha,\beta,\gamma$ then the sum of squares is $2(\sin^2\alpha+\sin^2\beta+\sin^2\gamma)$. Maximizing this is the same as minimizing $S=\cos a+\cos b+\cos c$ where $a=2\alpha$ etc., so therefore $a+b+c=2\pi$.
We can't change $a,b,c$ independently because their sum is fixed. What happens if we increase $a$ a bit and decrease $b$ a bit? Well, $\frac{dS}{da}-\frac{dS}{db}=\sin b-\sin a$, so in an optimal triangle all of $a,b,c$ have the same sine; that is, any two of them differ by an even multiple of $\pi$ or add up to an odd multiple of $\pi$. Since they're all positive and add up to $2\pi$, this means that any pair are equal or add up to $\pi$.
If two of them add up to $\pi$ then the third must equal $\pi$. Therefore we have a right-angled triangle (remember that $a,b,$ and $c$ are double the angles of the triangle), and thanks to Pythagoras any such has the same sum of squared side-lengths, namely 8.
Otherwise, all the angles are equal, and we have an equilateral triangle, where all the sides have length $\sqrt{3}$, for a sum-of-squares of 9. This is clearly better than 8.
The maximum value you can get is
9, from a triangle
Because
As you increase the number of sides, the square of the sides gets smaller faster than the increase in the number