Frenet–Serret formulas

In differential geometry, the Frenet–Serret formulas describe the kinematic properties of a particle moving along a differentiable curve in three-dimensional Euclidean space , or the geometric properties of the curve itself irrespective of any motion. More specifically, the formulas describe the derivatives of the so-called tangent, normal, and binormal unit vectors in terms of each other. The formulas are named after the two French mathematicians who independently discovered them: Jean Frédéric Frenet, in his thesis of 1847, and Joseph Alfred Serret, in 1851. Vector notation and linear algebra currently used to write these formulas were not yet available at the time of their discovery. The tangent, normal, and binormal unit vectors, often called T, N, and B, or collectively the Frenet–Serret frame or TNB frame, together form an orthonormal basis spanning and are defined as follows: T is the unit vector tangent to the curve, pointing in the direction of motion. N is the normal unit vector, the derivative of T with respect to the arclength parameter of the curve, divided by its length. B is the binormal unit vector, the cross product of T and N. The Frenet–Serret formulas are: where d/ds is the derivative with respect to arclength, κ is the curvature, and τ is the torsion of the curve. The two scalars κ and τ effectively define the curvature and torsion of a space curve. The associated collection, T, N, B, κ, and τ, is called the Frenet–Serret apparatus. Intuitively, curvature measures the failure of a curve to be a straight line, while torsion measures the failure of a curve to be planar. Let r(t) be a curve in Euclidean space, representing the position vector of the particle as a function of time. The Frenet–Serret formulas apply to curves which are non-degenerate, which roughly means that they have nonzero curvature. More formally, in this situation the velocity vector r′(t) and the acceleration vector r′′(t) are required not to be proportional. Let s(t) represent the arc length which the particle has moved along the curve in time t.