Intereting Posts

How many closed subsets of $\mathbb R$ are there up to homeomorphism?
Let $G$ be abelian, $H$ and $K$ subgroups of orders $n$, $m$. Then G has subgroup of order $\operatorname{lcm}(n,m)$.
Definition of definition
Every increasing function from a certain set to itself has at least one fixed point
Determining the coefficients of the reciprocal of a Dirichlet series
History of Lagrange Multipliers
if $f$ is differentiable at a point $x$, is $f$ also necessary lipshitz-continuous at $x$?
Discretize a circle on a sphere with a given center and radius
Probability event with $70$% success rate occurs three consecutive times for sample size $n$
Sphere close packing with cubic sheet
Finding circumference without using $\pi$
How to obtain equation of line of the form $ax + by + c = 0$?
A condition for a function to be constant
Does $c(f) = \gcd(\{ f(n) | n \in \mathbb{Z} \})$?
Ellipse with non-orthogonal minor and major axes?

In this wikipedia, article http://en.wikipedia.org/wiki/Circle#Area_enclosed its stated that the circle is the closed curve which has the maximum area for a given arc length. First, of all, I would like to see different proofs, for this result. (If there are any elementary ones!)

One, interesting observation, which one can think while seeing this problem, is: How does one propose such type of problem? Does, anyone take all closed curves, and calculate their area to come this conclusion? I don’t think that’s the right intuition.

- Establishing the inequality at the heart of a popular sequence which converges to powers of $e$
- How to show NLS conserves the energy?
- A-priori estimate help (something to do with Gronwall lemma)
- Convergence of Series
- Proof that a certain entire function is a polynomial
- Why isn't $f(x) = x\cos\frac{\pi}{x}$ differentiable at $x=0$, and how do we foresee it?

- how to compute the de Rham cohomology of the punctured plane just by Calculus?
- What is the practical difference between a differential and a derivative?
- Prove $\lim _{ n\to\infty } \sqrt { \sum _{ i=0 }^{ k } a_i ^n } =\max { \{{ a }_{ 1 }, \ldots ,{ a }_{ k }\} } $
- Calculation of $\int_0^{\pi} \frac{\sin^2 x}{a^2+b^2-2ab \cos x} dx\;,$
- Can distance between two closed sets be zero?
- Partial sum of a given series
- Calculus Integral from Partial Fractions
- Improve my proof about this $C^\infty$ function even more!
- Integral $\int_0^1\ln\ln\,_3F_2\left(\frac{1}{4},\frac{1}{2},\frac{3}{4};\frac{2}{3},\frac{4}{3};x\right)\,dx$
- Solving a second-order linear ODE: $\frac{d^2 y}{dx^2}+(x+1)\cdot \frac{dy}{dx}+5x^2\cdot y=0$

There are relatively simple proofs in textbooks on calculus of variations.

In more elementary approaches a convex figure is deformed, in discrete steps or through a continuous unbending process, toward a circle, and two things need to be proved: convergence to the circle, and increase of the isoperimetric ratio throughout the flow. Usually one step is easy and the other is difficult, requiring non-elementary methods to make rigorous. It is also necessary to make explicit what class of curves is considered: rectifiable, piecewise smooth, or something else.

The simplest argument I know that is elementary and rigorous is to prove the finite-dimensional approximation, that for fixed edge lengths of a polygon, there is a maximum area (by compactness) and (by elementary geometry or Lagrange multipliers) it is the one where all vertices are on a circle. Then, use this to prove that any smooth curve, if it beats the circle, has a finite polygonal approximation that beats the inscribed polygon.

Here is a physicist’s answer:

Imagine a rope enclosing a two-dimensional gas, with vacuum outside the rope. The gas will expand, pushing the rope to enclose a maximal area at equilibrium.

When the system is at equilibrium, the tension in the rope must be constant, because if there were a tension gradient at some point, there would be a non-zero net force at that point in the direction of the rope, but at equilibrium the net force must be zero in all directions.

The gas exerts a force outward on the rope, so tension must cancel this force. Take a small section of rope, so that it can be thought of as a part of some circle, called the osculating circle. The force on this rope segment due to pressure is $P l$, with $P$ pressure and $l$ the length. The net force due to tension is $2 T \sin(l/2R)$, with $T$ tension and $R$ the radius of the osculating circle.

Because the pressure is the same everywhere, and the force from pressure must be canceled by the force from tension, the net tension force must be the same for any rope segment of the same length. That means the radius of the osculating circle is the same everywhere, so the rope must be a circle.

Note: I’m not sure what the general attitude is here towards these sorts of physics-based intuitive answers; this is my first answer on math.SE. Please let me know if this sort of reasoning is not what this site looks for.

As Qiaochu Yuan pointed out, this is a consequence of the isoperimetric inequality that relates the length $L$ and the area $A$ for any closed curve $C$:

$$

4\pi A \leq L^2 \ .

$$

Taking a circumference of radius $r$ such that $2\pi r = L$, you obtain

$$

A \leq \frac{L^2}{4\pi} = \frac{4 \pi^2 r^2}{4\pi} = \pi r^2 \ .

$$

That is, the area $A$ enclosed by the curve $C$ is smaller than the area enclosed by the circumference of the same length.

**As for the proof of the isoperimetric inequality**, here is the one I’ve learnt as undergraduate, which is elementary and beautiful, I think.

Go round your curve $C$ counterclockwise. For a plane vector field $(P,Q)$, Green’s theorem says

$$

\oint_{\partial D}(Pdx + Qdy) = \int_D \left( \frac{\partial Q}{\partial x} – \frac{\partial P}{\partial y}\right) dxdy\ .

$$

Apply it for the vector field $(P,Q) = (-y,x)$ and when $D$ is the region enclosed by your curve $C = \partial D$. You obtain

$$

A = \frac{1}{2} \oint_{\partial D} (-ydx + xdy) \ .

$$

Now, parametrize $C= \partial D$ with arc length:

$$

\gamma : [0,L] \longrightarrow \mathbb{R}^2 \ ,\qquad \gamma (s) = (x(s), y(s)) \ .

$$

Taking into account that

$$

0= xy \vert_0^L = \int_0^L x'yds + \int_0^L xy'ds \ ,

$$

we get

$$

A = \int_0^L xy'ds = -\int_0^L x'yds \ .

$$

**So enough for now with our curve $C$. Let’s look for a nice circumference to compare with!**

First of all, $[0,L]$ being compact, the function $x: [0,L] \longrightarrow \mathbb{R}$ will have a global maximum and a global minimum. Changing the origin of our parametrization if necessary, me may assume the minimum is attained at $s=0$. Let the maximum be attained at $s=s_0 \in [0,L]$. Let $q = \gamma (0)$ and $p = \gamma (s_0)$. (If there are more than one minimum and more than one maximum, we choose one of each: the ones you prefer.)

Since $x'(0) = x'(s_0) = 0$, we have vertical tangent lines at both points $p,q$ of our curve $C$. Draw a circumference between these parallel lines, tangent to both of them (a little far away of $C$ to avoid making a mess). So the radius of this circumference will be $r = \frac{\| pq \|}{2}$.

Let’s take the origin of coordinates at the center of this circumference. We parametrize it with the same $s$, the arc length of $C$:

$$

\sigma (s) = (\overline{x}(s), \overline{y}(s)) \ , \quad s \in [0, L] \ .

$$

Of course, $\overline{x}(s)^2 + \overline{y}(s)^2 = r^2$ for all $s$. If we choose $\overline{x}(s) = x(s)$, this forces us to take $ \overline{y}(s) = \pm \sqrt{r^2 – \overline{x}(s)^2}$. In order that $\sigma (s)$ goes round all over our circumference counterclockwise too, we choose the minus sign if $0\leq s \leq s_0$ and the plus sign if $s_0 \leq s \leq L$.

**We are almost done, just a few computations left.**

Let $\overline{A}$ denote the area enclosed by our circumference. So, we have

$$

A = \int_0^L xy'ds = \int_0^L \overline{x}y'ds \qquad \text{and} \qquad \overline{A}= \pi r^2 = -\int_0^L\overline{y}\overline{x}'ds = -\int_0^L\overline{y} x'ds \ .

$$

Hence,

$$

\begin{align}

A + \pi r^2 &= A + \overline{A} = \int_0^L (\overline{x}y' – \overline{y}x')ds \\\

&\leq \int_0^L \vert \overline{x}y' – \overline{y}x'\vert ds \\\

&= \int_0^L \vert (\overline{x}, \overline{y})\cdot (y', -x')\vert ds \\\

&\leq \int_0^L \sqrt{\overline{x}^2 + \overline{y}^2} \cdot \sqrt{(y')^2+ (-x')^2}ds \\\

&= \int_0^L rds = rL \ .

\end{align}

$$

The last inequality is Cauchy-Schwarz’s one and the last but one equality is due to the fact that $s$ is the arc-length of $C$.

Summing up:

$$

A + \pi r^2 \leq rL \ .

$$

Now, since the geometric mean is always smaller than the arithmetic one,

$$

\sqrt{A\pi r^2} \leq \frac{A + \pi r^2}{2} \leq \frac{rL}{2} \ .

$$

Thus

$$

A \pi r^2 \leq \frac{r^2L^2}{4} \qquad \Longrightarrow \qquad 4\pi A \leq L^2 \ .

$$

As for the second question, the result is quite intuitive. First of all one can readily see that we can suppose WLOG that the curve is convex, so already it cannot be too far from being circle-like. Second, it’s not hard to see that stretching the curve out so as to make it non-uniform causes it to enclose less area, e.g. consider the analogous problem for rectangles (or even try it for $n$-gons). The intuition here is that a kink in the boundary of an area does not create much extra area but creates extra arc length.

Of course the hard part is to justify these intuitions. Probably the proof that comes closest proceeds via Steiner symmetrization; there is a link at the Wikipedia article. There is also a neat Fourier-analytic proof.

**Assuming that such a closed curve exists**, it is fairly straightforward to show that it must be a circle. For example, check out this page for a proof. It is interesting that the existence hypothesis is the *hard* part of the proof.

First you can propose this problem as: The area $A$ encompassed by any simple closed rectifiable curve $C$, of length $L$, satisfacts the inequality $A\geq \frac{L^2}{4\pi}$, and equality occurs, if and only if, $C$ is a circle.

The only proof I have done for this was using Parseval’s identity (and therefore Fourier series), so it’s not elementary (but it’s rather simple if you know the aforementioned identity). Thought if you want I can post that proof.

Here is the Fourier series proof, due to Hurwitz.

Let $f:[0,2\pi]\to\mathbb C$ be a $C^1$ curve parametrized by the arc length. Denote again by $f$ the corresponding $2\pi$-periodic function, and let $c_n$ be its $n$-th Fourier coefficient.

By Stokes’s and Parseval’s Formulas, the signed area enclosed is

$$

\frac{1}{2i}\ \int_0^{2\pi}\ f'(t)\ \overline{f(t)}\ dt

=\frac{\pi}{i}\ \sum_{n\in\mathbb Z}\ in\ |c_n|^2

=\pi\ \sum_{n\in\mathbb Z}\ n\ |c_n|^2

\le\pi\ \sum_{n\in\mathbb Z}\ n^2\ |c_n|^2=\pi,

$$

with equality if and only if $c_n=0$ for $n\not=0,1$, and $|c_1|=1$.

May I use an intuitive answer here because it may be easy enough for primary school students to think about.

Let’s imagine a wire which is bent into two sides. If we want to “enclose” an area as large as possible, any two adjacent sides must be as far away from each other as possible. (Compare with the “enclosed area” when the two sides are very close to each other.) That means the angle between two adjacent sides must tend to 180 degree. But since the length of the wire is fixed and the area need to be enclosed, each side should be as short as possible in order to get larger adjacent angles.

Eventually the shape will become a circle.

I will try to add “Easier” solution yet it requires 2 assumptions:

- The shape is formed of edges.
- Given a shape formed of $ n $ edges and perimeter $ P $ the largest area will be if all edges are equal in their length.

If we take those 2 assumptions something nice happens.

Since the shape is symmetric it has a center and the distance from its center to any vertex is equal.

Let’s define the distance to each vertex as $ r $.

What is formed is Isosceles Triangle composed from two edges of the length $ r $ and a base of the length $ \frac{P}{n} $.

The area of this triangle is given by $ {A}_{n} = \frac{r}{2} \cos \left( \frac{\pi}{n} \right) \frac{P}{n} $.

Since there are $ n $ triangles just like this the area is given by $ A = \frac{r}{2} \cos \left( \frac{\pi}{n} \right) $.

Now, to maximize the are one need to maximize the term $ \cos \left( \frac{\pi}{n} \right) $ which is maximized for $ n \to \infty $ which suggests a shape of a circle.

Dedicated with love to Renana!

- For which $s\in\mathbb R$, is $H^s(\mathbb T)$ a Banach algebra?
- Is the number $0.112358132134…$ rational or irrational?
- Probability of $5$ fair coin flips having strictly more heads than $4$ fair coin flips
- Proof: Categorical Product = Topological Product
- The other ways to calculate $\int_0^1\frac{\ln(1-x^2)}{x}dx$
- Find the sign of $\int_{0}^{2 \pi}\frac{\sin x}{x} dx$
- Uniform Spaces: Completeness
- Proof that all Cauchy sequences converge
- What space to use?
- What is limit superior and limit inferior?
- $\operatorname{Aut}(\mathbb Z_n)$ is isomorphic to $U_n$.
- Prove that $$ is not a compact subset of $\mathbb{R}$ with the lower limit topology, i.e. open sets are of the form $[a,b)$.
- Show that $ \{\lnot,\leftrightarrow\} $ is not functional complete
- No Smooth Onto Map from Circle to Torus
- $L^1$ convergence gives a pointwise convergent subsequence