In vector calculus, the Frenet-Serret formulas describe the dynamic properties of a particle which moves along a continuous, differentiable curve in three-dimensional space . More specifically, the formulas describe the derivatives of the tangent, normal, and binormal unit vectors in terms of each other. The formulas are named after their (independent) discoverers: the Frenchmen Jean Frédéric Frenet and Joseph Alfred Serret.

Let s(t) represent the distance which the particle has moved along the curve. Let r(t) represent the position vector of the particle. Then the tangent unit vector T is defined as

The normal unit vector N is defined as

and the binormal unit vector B is defined as

From equation (2) it follows, since T always has unit magnitude, that N is always perpendicular to T. From equation (3) it follows that B is always perpendicular to both T and N. Thus, the three unit vectors T, N, and B are all perpendicular to each other.

It can be proven, from the above, that

and

.

Then the Frenet-Serret formulas are:

The three vectors: tangent, normal, and binormal, are collectively called the Frenet vectors. Together they form a basis for 3-space, which in turn defines a reference frame with its own coordinate system. The reference frame is called a Frenet frame, and it is neither static nor inertial, since the Frenet frame moves tangentially to the (non-straight) curve, so that it is constantly accelerating. (The curve can be assumed to be parametrically dependent on time: i.e. the Frenet frame can be visualized kinematically).

The Frenet-Serret formulas are also known as Frenet-Serret theorem, and can be stated more concisely using matrix notation:

Proof

Part One

First prove equations (4) and (5). From equation (3) it follows that

.

An identity from vector calculus states that

Applying identity (7) to equation (6) yields

but N and T are perpendicular so that their dot product is zero. Also, T is always a unit vector, so the dot product of T with itself is always one. Therefore equation (8) simplifies to equation (4).

Now prove equation (5). From equation (4) it follows that

Applying identity (7) to equation (9) produces

but T and B are perpendicular so that their dot product is zero, and B is always a unit vector so that the dot product of B with itself is always unity. Therefore equation (10) simplifies to equation (5).

Equations (4) and (5) should be intuitively rather obvious.

Part Two

Let κ equal the magnitude of dT / ds. Then the first Frenet-Serret formula follows from equation (2), where κ is the curvature of the particle's path.

Now prove the third Frenet-Serret formula. From equation (3) it follows that

Applying the chain rule for the cross product to this last equation yields

Applying the first Frenet-Serret formula to this last equation yields

but the cross product of any vector with itself must be zero (due to an identity of vector calculus), so that equation (11) becomes

The cross product of two vectors must necessarily be perpendicular to both vectors, so that dB/ds must be perpendicular to T, but it must also be perpendicular to B, since B is always a unit vector, so that dB/ds must be parallel to N. Let

where τ is torsion, so that the third Frenet-Serret formula has been proven.

Lastly, prove the second Frenet-Serret formula. Equation (4) implies that

Applying the chain rule for the cross product to this last equation yields

Next, substitute the third and first Frenet-Serret formulas into equation (12), producing

Then, applying equations (3) and (5) to the last equation yields the second Frenet-Serret formula. Q.E.D.

Alternative proof

A different proof applies the chain rule to dot products instead of to cross products. Let us restate the definitions:

These five quantities: the (1) tangent, (2) normal and (3) binormal vector fields and the (4) curvature and (5) torsion scalar fields are collectively known as the Frenet-Serret apparatus of the curve. By these definitions, T and N must be unit vectors, and then B must be a unit vector as well since it is the cross product of unit vectors.

From the definitions of N and κ the first Frenet-Serret formula follows immediately:

To prove the third Frenet-Serret formula, notice that

The last term on the right side is equal to zero and can be dropped: B is a unit vector so its derivative B′ must be perpendicular to B, i.e. . The product in the second term on the right is equal to −τ by the definition of torsion. Now for the dot product in the first term. Due to the chain rule for the dot product, it is known that

but so . Applying the first Frenet-Serret formula, , and the first term also drops out. We are left with the third Frenet-Serret formula:

To prove the second Frenet-Serret formula, notice that

The second term on the right drops out: N is a unit vector so its derivative N′ must be perpendicular to N, thus . From application of the chain rule we know that

therefore

Applying the first and third Frenet-Serret formulas, this last equation reduces to

which is the second Frenet-Serret formula, Q.E.D.

See also: Frenet frame.

References

• Salas and Hille's Calculus -- One and Several Variables. Seventh Edition. Revised by Garret J. Etgen. John Wiley & Sons, 1995. p. 896.
• Elements of Differential Geometry, by Richard S. Millman and George D. Parker.

External link

• Rudy Rucker's KappaTau Paper.