Constant tangent component forces perpendicular principal normals
ID: constant-tangent-component-forces-perpendicular-principal-normals
For a regular curve with positive curvature of a space curve, the Frenet-Serret formulas give . If the unit tangent vector has constant component along a fixed vector , differentiation of gives . Hence every principal normal vector is perpendicular to that direction. Nonzero curvature is needed to define the principal normal.
New to topics? Read the docs here!