 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.