Abstract:Gradients of the perimeter and area of a polygon have straightforward geometric interpretations. The use of optimality conditions for constrained problems and basic ideas in triangle geometry show that polygons with prescribed area minimizing the perimeter must be regular.
What problem does this paper attempt to address?
This paper aims to solve the Polygonal Isoperimetric Inequality, that is, which \(n\)-gons have the minimum perimeter given a certain area. Specifically, for a simple \(n\)-gon \(P\) with \(n\) vertices and a fixed area \(A_0\), the paper explores the problem of the minimum value of the perimeter \(L(P)\) under this condition. Mathematically, this problem can be expressed as:
\[
\min_{\Omega \in P_n, A(P) = A_0} L(P) \tag{1}
\]
where \(P_n\) represents the set of all simple polygons with \(n\) vertices. Through geometric methods, the paper proves that, given the area \(A_0\), the \(n\)-gon with the minimum perimeter must be a regular \(n\)-gon. The author uses the optimality conditions in optimization theory and combines the basic knowledge of triangle geometry to give an intuitive geometric explanation of why the regular \(n\)-gon is the only solution that satisfies the conditions.
The paper first introduces the geometric interpretations of the gradients of the perimeter and area of a polygon, and then analyzes the relationships between these gradients. In particular, it uses the optimality condition:
\[
\nabla L(P^*) = \lambda \nabla A(P^*) \tag{3}
\]
where \(P^*\) is the optimal solution to problem (1), and \(\lambda\) is the Lagrange multiplier. By analyzing the directions and lengths of the gradients in detail, the author proves that in the optimal solution, the perimeter gradient and the area gradient at each vertex must be collinear and in the same direction. This further deduces that all side lengths of the optimal polygon are equal and all interior angles are equal, thus proving that the optimal solution must be a regular \(n\)-gon.
In conclusion, through geometric methods and optimization theory, this paper provides a concise and intuitive proof, showing that under the given area condition, the regular \(n\)-gon is the only polygon with the minimum perimeter.