Largest Rectangle with Given Perimeter is Square

Theorem
Let $\SS$ be the set of all rectangles with a given perimeter $L$.

The element of $\SS$ with the largest area is the square with length of side $\dfrac L 4$.

Proof
Consider an arbitrary element $R$ of $\SS$.

Let $B$ be half the perimeter of $R$.

Let $x$ be the length of one side of $R$.

Then the length of an adjacent side is $B - x$.

The area $\AA$ of $R$ is then given by:
 * $\AA = x \paren {B - x}$

Let $\AA$ be expressed in functional notation as:
 * $\map f x = x \paren {B - x}$

We have:

Thus from Derivative at Maximum or Minimum, when $B - 2 x = 0$, the area of $R$ is at a maximum or a minimum.

That is:
 * $x = \dfrac B 2 = \dfrac L 4$

Geometrical analysis shows that for this length of side the area is not a minimum because that happens when $x = 0$ or $x = B$.

Hence the result.