For the positively oriented simple closed boundary, the turning tangent theorem gives . If is its length, continuity gives a point with . The planar isoperimetric inequality gives , hence
For the reversed orientation the curvature integral is , so a point of nonpositive curvature already proves the stated positive upper bound. The region-bounding interpretation is the ordinary Jordan-curve one; self-intersections would require specifying a different notion of enclosed area.

Articles by others on the same topic (0)

There are currently no matching articles.