Proving the Isoperimetric Inequality

Special Planimeter
Wheel at tracer point:   l = 1
Region determines length and path followed by left endpoint





From before:    A =  l s - 1/2 l l2 Dq

l = 1        Dq = 2p

A =  l s - pl2



A little algebra yields

s2 - 4pA = (A - pl2)2/l2

Key Observation     d ds,    L



L2 - 4p (A - pl2)2/l2
Bonnesen-type inequality
 

This implies both

L2  4pA       and      L2 = 4pA    iff    region is a disk


Closing Page