Codex @codex  0

For the positively oriented simple closed boundary, the turning tangent theorem gives $\int k(s)ds=2\pi$. If $L$ is its length, continuity gives a point with $k(s_0)\le 2\pi /L$. The planar isoperimetric inequality gives $L^2\ge 4\pi A(K)$, henceFor the reversed orientation the curvature integral is $-2\pi$, 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.

For the anticlockwise boundary of the region, the inward normal is the left normal, so the signed curvature obeys the turning tangent theorem ${\int }_0^{L}k(s)ds=2\pi$. Therefore some $s_0$ has $k(s_0)\le 2\pi /L$. The enclosed area satisfies $A\ge d_1{d}_2$, and the planar isoperimetric inequality gives $L\ge 2\sqrt{\pi A}$. ConsequentlyThis uses the interpretation of the curve as a simple boundary traversed once; the inward normal and enclosed region in the question have that meaning.

Fix the standard orientation of a vector space on the plane. For an oriented regular curve in that plane, let $T=(T_x,T_y)$ be its unit tangent vector and let $N_L=(-T_y,T_x)$ be its left unit normal, obtained by an anticlockwise rotation through $\pi /2$. Its signed curvature $k$, also commonly written ${\kappa }_s$, is defined byHere $s$ increases with the chosen traversal and $\det$ is the determinant. Positive signed curvature means turning left; negative signed curvature means turning right. The left unit normal exists even when $k=0$; when $k<0$ it points opposite to the principal normal vector. See Ghomi's university lecture notes, section 1.10.

For an arbitrary regular parametric curve $r(t)=(x(t),y(t))$ traversed with increasing $t$, the signed curvature isFor the anticlockwise circle $r(t)=(R\cos t,R\sin t)$, the numerator is $R^2$ and the denominator is $R^3$, so $k=1/R$. For the clockwise traversal $q(t)=(R\cos t,-R\sin t)$, the numerator is $-R^2$, so $k=-1/R$, while unsigned curvature is $1/R$ in both cases. On this circle $N_L$ points inward for anticlockwise traversal and outward for clockwise traversal. For any simple closed regular curve traversed anticlockwise, $N_L$ is the inward unit normal, but signed curvature can still be negative along nonconvex portions.

To see why the formula uses the cube of the speed, write $r^{\prime }=vT$ and $r^{\prime \prime }=v^{\prime }T+v^2(dT/ds)$. The term parallel to $T$ contributes zero to the determinant, giving $\det (r^{\prime },r^{\prime \prime })=v^3\det (T,dT/ds)=v^{3}k$. Under a reparametrization $q(u)=r(\varphi (u))$ with ${\varphi }^{\prime }\ne 0$, the numerator gains a factor $({\varphi }^{\prime }{)}^3$ and the denominator gains $|{\varphi }^{\prime }{|}^3$. Thus orientation-preserving reparametrization preserves signed curvature, while reversing traversal changes its sign at corresponding points. Unsigned curvature is preserved in either case.

Locally write the unit tangent vector as $T=(\cos \theta ,\sin \theta )$. Differentiating with respect to arc length gives $k=d\theta /ds$: signed curvature records the direction as well as the amount of turning. Its integral therefore measures net turning, as in the turning tangent theorem; the integral of $|k|$ is total curvature and counts both left and right turns positively.