Let me recall subj:


If $s>0$, $A$ and $B$ are two subsets of $\mathbb{S}^{n}$, $|A|=|B|$ ($|\cdot|$ stands for the Lebesgue measure on the sphere) and $B$ is a cup $B=\{ (x\_1,x\_2,\dots,x\_n)\in \mathbb{S}^n, x\_n\leq t \}$ (for some $t\in [-1,1]$), then $|A\_s|\geq |B\_s|$, where $A\_s$ means $s$-neighborhood of the set. 


It leads to measure concentration inequalities for the sphere and so has numerous applications. So I guess that Levy's initial proof was simplified, maybe not once. What is the easiest proof of the inequality and where to read it?



Levy's isoperimetric inequality for sphere
The shortest and most amazing proof (in my opinion) is by Steiner symmetrization around half of a great circle. Given $A$, and given a half great circle $\gamma$, rotate the sphere so that $\gamma$ is a meridian arc. Then for each latitude sphere $H$, you can replace $A \cap H$ by the spherical cap in $H$ centered at $H \cap \gamma$. Let $A'$ be the result. Then it is not hard to show that $|A'\_s| \le |A\_s|$ for all $s > 0$; in fact even each $|A'\_s \cap H| \le |A\_s \cap H|$. And you can show that you can pick a sequence of half great circles such that $A$ converges to $B$ under symmetrization, and that some of the inequalities are strict unless $A$ is congruent to $B$.


Of course this is just an outline, but it is an accurate summary (I hope) of the Steiner symmetrization argument. It also works in Euclidean or hyperbolic space using a line rather than half of a line.


