What about the proof of the isoperimetric inequality using Fourier analysis?