History<\/b><\/p>\n
In two-dimensions, the isoperimetric inequality essentially asks \u201cgiven all the closed curves with some perimeter, which one has the maximal area?\u201d. Now, this question has been asked since the beginning of mathematics itself. The legend of the Phoenician princess Dido tells the story of a princess who was given a length of rope to enclose an area as her territory. The question is then, what shape maximizes this area? The answer was theorized to be a circle, but for around two thousand years, the answer remained unknown.<\/span><\/p>\n The same idea from the isoperimetric inequality shows up in physics\u2014what is the maximal area for a perimeter is equivalent to the question of what is the minimum perimeter given a certain area. This idea of minimizing a parameter\u2014called the <\/span>principle of least action<\/span><\/i>, the least amount of work necessary to achieve some change\u2014is hugely important in physics. It is the foundation of Lagrangian and Hamiltonian mechanics, which are the formulations of physics that allow us to solve advanced classical systems and even approach basic quantum mechanical systems.\u00a0<\/span><\/p>\n Figure 1<\/span><\/p>\n Depiction of Princess Dido Laying Rope Around Carthage<\/span><\/p>\n Source: <\/span>[Worldhistory.org – <\/span><\/i>https:\/\/www.worldhistory.org\/uploads\/images\/14289.png<\/span><\/i><\/a>]\u00a0<\/span><\/i><\/p>\n The Solution<\/b><\/p>\n The problem was finally approached for the first time in 1838 by Jacob Steiner, a Swiss geometer. It relied on two principles – the idea that a non-convex shape can be made convex by \u201cflipping\u201d the dents, and that any elongated convex shape can be made more round, increasing area while keeping the perimeter the same. But then, any figure in the plane can be made convex, and then any elongated convex shape can be made more round with the same perimeter, and this increases the area. So, the maximal area should be given when we round the shape as much as possible\u2014and the most round shape is the circle. Therefore, <\/span>the figure with the most area per perimeter should be a circle. <\/span><\/i>The mathematical formulation of these ideas is called Steiner symmetrization, and can be generalized to the n-th dimension.\u00a0<\/span><\/p>\n However, Steiner symmetrization didn\u2019t fully prove the inequality by itself\u2014they still had to rigorize the ideas of Steiner Symmetrization and apply it to the isoperimetric problem. Eventually, other mathematicians did this, completing the proof of the isoperimetric problem. Letting A being the area and P the perimeter, mathematicians\u2019 long-held conjecture was finally proven true:\u00a0 <\/span>4<\/span>A<\/span>P<\/span>2<\/span>1<\/span>. The ideas from Steiner symmetrization are depicted in the below image:<\/span><\/p>\n Figure 2<\/span><\/p>\n Depiction of \u201cFlipping a Dent\u201d and \u201cRounding the Curve\u201d\u00a0<\/span><\/p>\n Source: <\/span>[Oleg Alexandrov – <\/span><\/i>https:\/\/commons.wikimedia.org\/wiki\/File:Isoperimetric_inequality_illustr2.png<\/span><\/i><\/a>, <\/span><\/i>https:\/\/commons.wikimedia.org\/wiki\/File:Isoperimetric_inequality_illustr1.svg<\/span><\/i><\/a>]<\/span><\/i><\/p>\n <\/p>\n Extension<\/b><\/p>\n It turns out that different isoperimetric inequalities hold in higher dimensions. This isoperimetric equation in higher dimension is the following: given dimension n, surface area A, volume S, and volume of a sphere in the n-th dimension B, we have <\/span>n<\/span>S<\/span>(n-1)\/n<\/span> B<\/span>1\/n<\/span> A<\/span>, and that both sides of the equations are equal when the figure is a sphere. What is higher-dimensional volume and area? There is no good answer to that question, but a common view is that higher-dimensional volume represents \u201chow much is there\u201d, while area represents \u201chow much is enclosing it\u201d.\u00a0 Additionally, the isoperimetric inequality has been solved for things that aren\u2019t our regular real numbers as well. On Hadamard manifolds (spaces that look locally like the real numbers), the previous isoperimetric inequality has been proved in dimensions 3 and 4 as well, and many conjectures exist for other spaces.<\/span><\/p>\n <\/p>\n Conclusion\u00a0<\/b><\/p>\n In this article, we have discussed the history, solution, and extensions of the isoperimetric inequality. The legend of princess Dido and the city of Carthage, the backstory of Steiner symmetrization, and the extension of isoperimetric inequalities to R<\/span>n<\/span> and Hadamard manifolds revolutionized modern geometry. The isoperimetric inequality shows up in various places in mathematics, and is an incredibly interesting result considering what it means for many other problems.<\/span><\/p>\n <\/p>\n References and Sources<\/strong><\/p>\n <\/p>\n Source 1\u00a0 Beltr\u00e1n, C., & Olmo, I. (2021, January 4). <\/span>Sobre Mates y Mitos<\/span><\/i>. El Pa\u00eds. https:\/\/elpais.com\/ciencia\/2021-01-04\/sobre-mates-y-mitos.html\u00a0<\/span><\/p>\n Source 2\u00a0 Feynman, R. (n.d.). <\/span>The Principle of Least Action<\/span><\/i>. The Feynman Lectures on Physics Vol. II Ch. 19: The Principle of Least Action. https:\/\/www.feynmanlectures.caltech.edu\/II_19.html\u00a0<\/span><\/p>\n Source 3 http:\/\/shell.cas.usf.edu\/~dkhavins\/papers\/isoperimetric.pdf<\/span><\/p>\n <\/p>\n","protected":false},"excerpt":{"rendered":" Written by Karthik Prasad Introduction\u00a0 Perimeter and area are two fundamental values associated with any 2D figure, but how are they related? It seems simple, but it turns out that this question is much more complicated than most have previously thought\u2014it took mathematicians thousands<\/p>\n","protected":false},"author":930,"featured_media":1932,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[11],"tags":[],"class_list":["post-1928","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-math"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts\/1928","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/users\/930"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/comments?post=1928"}],"version-history":[{"count":2,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts\/1928\/revisions"}],"predecessor-version":[{"id":1933,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts\/1928\/revisions\/1933"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/media\/1932"}],"wp:attachment":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/media?parent=1928"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/categories?post=1928"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/tags?post=1928"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}![\"\"](\"http:\/\/sites.imsa.edu\/hadron\/files\/2024\/04\/HadronMarFig1-300x149.png\")
<\/p>\n![\"\"](\"https:\/\/www.worldhistory.org\/uploads\/images\/14289.png\")
<\/p>\n
![https:\/\/commons.wikimedia.org\/wiki\/File:Isoperimetric_inequality_illustr2.png<\/span><\/i><\/a>, <\/span><\/i>https:\/\/commons.wikimedia.org\/wiki\/File:Isoperimetric_inequality_illustr1.svg<\/span><\/i><\/a>]<\/span><\/i><\/p>\n <\/p>\nExtension<\/b><\/p>\nIt turns out that different isoperimetric inequalities hold in higher dimensions. This isoperimetric equation in higher dimension is the following: given dimension n, surface area A, volume S, and volume of a sphere in the n-th dimension B, we have <\/span>n<\/span>S<\/span>(n-1)\/n<\/span> B<\/span>1\/n<\/span> A<\/span>, and that both sides of the equations are equal when the figure is a sphere. What is higher-dimensional volume and area? There is no good answer to that question, but a common view is that higher-dimensional volume represents \u201chow much is there\u201d, while area represents \u201chow much is enclosing it\u201d.\u00a0 Additionally, the isoperimetric inequality has been solved for things that aren\u2019t our regular real numbers as well. On Hadamard manifolds (spaces that look locally like the real numbers), the previous isoperimetric inequality has been proved in dimensions 3 and 4 as well, and many conjectures exist for other spaces.<\/span><\/p>\n <\/p>\nConclusion\u00a0<\/b><\/p>\nIn this article, we have discussed the history, solution, and extensions of the isoperimetric inequality. The legend of princess Dido and the city of Carthage, the backstory of Steiner symmetrization, and the extension of isoperimetric inequalities to R<\/span>n<\/span> and Hadamard manifolds revolutionized modern geometry. The isoperimetric inequality shows up in various places in mathematics, and is an incredibly interesting result considering what it means for many other problems.<\/span><\/p>\n <\/p>\nReferences and Sources<\/strong><\/p>\n <\/p>\nSource 1\u00a0 Beltr\u00e1n, C., & Olmo, I. (2021, January 4). <\/span>Sobre Mates y Mitos<\/span><\/i>. El Pa\u00eds. https:\/\/elpais.com\/ciencia\/2021-01-04\/sobre-mates-y-mitos.html\u00a0<\/span><\/p>\nSource 2\u00a0 Feynman, R. (n.d.). <\/span>The Principle of Least Action<\/span><\/i>. The Feynman Lectures on Physics Vol. II Ch. 19: The Principle of Least Action. https:\/\/www.feynmanlectures.caltech.edu\/II_19.html\u00a0<\/span><\/p>\nSource 3 http:\/\/shell.cas.usf.edu\/~dkhavins\/papers\/isoperimetric.pdf<\/span><\/p>\n <\/p>\n","protected":false},"excerpt":{"rendered":"Written by Karthik Prasad Introduction\u00a0 Perimeter and area are two fundamental values associated with any 2D figure, but how are they related? It seems simple, but it turns out that this question is much more complicated than most have previously thought\u2014it took mathematicians thousands<\/p>\n","protected":false},"author":930,"featured_media":1932,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[11],"tags":[],"class_list":["post-1928","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-math"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts\/1928","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/users\/930"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/comments?post=1928"}],"version-history":[{"count":2,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts\/1928\/revisions"}],"predecessor-version":[{"id":1933,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts\/1928\/revisions\/1933"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/media\/1932"}],"wp:attachment":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/media?parent=1928"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/categories?post=1928"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/tags?post=1928"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}](\"https:\/\/commons.wikimedia.org\/wiki\/File:Isoperimetric_inequality_illustr2.png\"){kind=link}
![https:\/\/commons.wikimedia.org\/wiki\/File:Isoperimetric_inequality_illustr1.svg<\/span><\/i><\/a>]<\/span><\/i><\/p>\n <\/p>\nExtension<\/b><\/p>\nIt turns out that different isoperimetric inequalities hold in higher dimensions. This isoperimetric equation in higher dimension is the following: given dimension n, surface area A, volume S, and volume of a sphere in the n-th dimension B, we have <\/span>n<\/span>S<\/span>(n-1)\/n<\/span> B<\/span>1\/n<\/span> A<\/span>, and that both sides of the equations are equal when the figure is a sphere. What is higher-dimensional volume and area? There is no good answer to that question, but a common view is that higher-dimensional volume represents \u201chow much is there\u201d, while area represents \u201chow much is enclosing it\u201d.\u00a0 Additionally, the isoperimetric inequality has been solved for things that aren\u2019t our regular real numbers as well. On Hadamard manifolds (spaces that look locally like the real numbers), the previous isoperimetric inequality has been proved in dimensions 3 and 4 as well, and many conjectures exist for other spaces.<\/span><\/p>\n <\/p>\nConclusion\u00a0<\/b><\/p>\nIn this article, we have discussed the history, solution, and extensions of the isoperimetric inequality. The legend of princess Dido and the city of Carthage, the backstory of Steiner symmetrization, and the extension of isoperimetric inequalities to R<\/span>n<\/span> and Hadamard manifolds revolutionized modern geometry. The isoperimetric inequality shows up in various places in mathematics, and is an incredibly interesting result considering what it means for many other problems.<\/span><\/p>\n <\/p>\nReferences and Sources<\/strong><\/p>\n <\/p>\nSource 1\u00a0 Beltr\u00e1n, C., & Olmo, I. (2021, January 4). <\/span>Sobre Mates y Mitos<\/span><\/i>. El Pa\u00eds. https:\/\/elpais.com\/ciencia\/2021-01-04\/sobre-mates-y-mitos.html\u00a0<\/span><\/p>\nSource 2\u00a0 Feynman, R. (n.d.). <\/span>The Principle of Least Action<\/span><\/i>. The Feynman Lectures on Physics Vol. II Ch. 19: The Principle of Least Action. https:\/\/www.feynmanlectures.caltech.edu\/II_19.html\u00a0<\/span><\/p>\nSource 3 http:\/\/shell.cas.usf.edu\/~dkhavins\/papers\/isoperimetric.pdf<\/span><\/p>\n <\/p>\n","protected":false},"excerpt":{"rendered":"Written by Karthik Prasad Introduction\u00a0 Perimeter and area are two fundamental values associated with any 2D figure, but how are they related? It seems simple, but it turns out that this question is much more complicated than most have previously thought\u2014it took mathematicians thousands<\/p>\n","protected":false},"author":930,"featured_media":1932,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[11],"tags":[],"class_list":["post-1928","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-math"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts\/1928","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/users\/930"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/comments?post=1928"}],"version-history":[{"count":2,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts\/1928\/revisions"}],"predecessor-version":[{"id":1933,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/posts\/1928\/revisions\/1933"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/media\/1932"}],"wp:attachment":[{"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/media?parent=1928"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/categories?post=1928"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.imsa.edu\/hadron\/wp-json\/wp\/v2\/tags?post=1928"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}](\"https:\/\/commons.wikimedia.org\/wiki\/File:Isoperimetric_inequality_illustr1.svg\"){kind=link}