Hurwitz proof of the planar isoperimetric inequality

ID: hurwitz-proof-of-the-planar-isoperimetric-inequality

Parametrize a positively oriented closed plane curve at constant arc length speed on , and let be its complex-position Fourier coefficients. Green's theorem and Parseval's identity give and . Since for integers, the planar isoperimetric inequality follows. Equality leaves only the constant and positive first harmonic, a translated circle.

New to topics? Read the docs here!