Circle equality in the planar isoperimetric inequality
= Circle equality in the planar isoperimetric inequality
Equality in the Cauchy-Schwarz and periodic Wirtinger bounds makes the arclength boundary parametrization a first harmonic with orthogonal equal-length coefficient vectors. The boundary is therefore a circle, and the enclosed domain is a disc.