Paper 1, Section II,
Part II, 2015
Let be a domain (connected open subset) with boundary a continuously differentiable simple closed curve. Denoting by the area of and the length of the curve , state and prove the isoperimetric inequality relating and with optimal constant, including the characterization for equality. [You may appeal to Wirtinger's inequality as long as you state it precisely.]
Does the result continue to hold if the boundary is allowed finitely many points at which it is not differentiable? Briefly justify your answer by giving either a counterexample or an indication of a proof.