Is there a "simple" proof of the isoperimetric theorem for squares?

Question

"Simple" means that it doesn't use any integral or multivariable calculus concepts.

A friend of mine who's taking a differential calculus course came up with the problem

Prove that among all the quadrilaterals with a given perimeter, the one with the biggest area is the square.

I solved the problem with Lagrange multipliers, using $2h + 2b$ as the function and $hb = A$ as the constraint. But I'm the one who took the multivariable calculus course, not him.

So I'd like to know if there's a way of proving this theorem using differential calculus concepts, or even geometry and trigonometry.

Answer 1

In the case of rectangles, here's a solution of the dual problem: find the rectangle of smallest perimeter for a given area. The shapes should be the same.

Just complete the square (if you can pardon the expression). The width is $w$; the height is $A/w$ (where $A$ is the area). So the semi-circumference is $$ w + \frac A w = \left(w - 2\sqrt{A}+ \frac A w\right) + 2\sqrt{A} = \left(\sqrt{w} - \sqrt{\frac{A}{w}}\right)^2 + 2\sqrt{A}. $$ This is as small as possible when the expression that gets squared is $0$. So that $=0$ when $w=\text{what?}$

Later edit: Now let's try it more directly. The perimeter is $4\ell$. You have a rectangle with two opposite sides of length $k$ and and two of length $2\ell-k$. The area is $$ \begin{align} A & = k(2\ell-k) = -k^2 + 2k\ell = -\Big(k^2 - 2k\ell\Big) = -\Big(k^2 -2k\ell + \ell^2\Big) +\ell^2 \\[8pt] & = -\Big(k-\ell\Big)^2 + \ell^2. \end{align} $$ This is as big as possible when $k=\ell$, so you have a square.

We still have the case of non-rectangles to deal with.

Answer 2

This is essentially the arithmetic-geometric mean (AM-GM) inequality for lists of 2 numbers. http://en.wikipedia.org/wiki/Inequality_of_arithmetic_and_geometric_means#Geometric_interpretation

In higher dimensions, the inequality says that the hypercube has the most volume among all boxes where the sum of length + width + depth + ... is fixed.

The wiki page above has a bunch of proofs, many of which don't use calculus.

Answer 3

Since you mentioned being interested in a geometric proof, here's one that should be easy to understand (albeit with one sneaky detail swept under the rug). Start with a $w\times h$ rectangle, with $w\gt h$; we'll prove that there's another rectangle of the same perimiter but greater area. Since the area of the rectangle is twice the area of the triangle of base $w$ and height $h$, we can just consider the triangle's area. But now consider adding some small amount $x$ to the height $h$ and subtracting the same amount from the width $w$. This doesn't change the perimeter, since we're just redistributing a small segment, but we can see what it does to the area:

The area of the original triangle with base $w$ and height $h$ is the sum of the pink and green triangles, while the area of the new triangle with base $w-x$ and height $h+x$ is the sum of the pink and blue triangles. But as long as $w-x\gt h+x$, the blue triangle will have a greater area than the green one: they both have the same base ($x$) and the blue one has a greater height. This implies that as long as $w\gt h$, we can increase the area of the triangle (and thus the rectangle) by trading off some amount of width for the same amount of height, and that in turn implies that the maximum area must be achieved by the square.