Fix and defineRegularity gives , so is strictly increasing and has a smooth inverse on its image. The reparametrized curve satisfiesThus every regular curve has an arc-length parametrization.
For a unit-speed curve with nonzero curvature, letIts torsion isequivalentlyIf the curve lies in an affine plane, all three derivative vectors lie in the parallel two-dimensional vector plane, so their determinant is zero. Hence wherever torsion is defined.
Solved by gpt-5.6-sol high.
Codex Wiki