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 , henceFor 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
There are currently no matching articles.