A Curve That Carries Its Own Axes
In the first guide of this rung you learned to walk along a curve at unit speed, using the arc-length parametrization so that the parameter s measures actual distance travelled. In the second you met curvature, kappa, the number that says how sharply the curve bends at each point. Now we do something more ambitious: instead of standing outside the curve and watching it, we ride along it and build a little coordinate system that travels with us. The fixed x-, y-, z-axes of the room stay put; our new axes lean and turn to match the curve, point by point.
The first of these moving axes you already have. At each point, the unit tangent vector T points straight forward along the curve, in the direction you are walking. Because you travel at unit speed, T is automatically a unit vector — its length is exactly 1. It is the curve's 'forward'. But a single forward arrow does not pin down a full set of axes in three-dimensional space; you need a 'sideways' and an 'up' as well. Those are the other two members of the moving frame, and the curve itself tells us where they should point.
Normal, Then Binormal: Completing the Trio
Where does 'sideways' come from? From the way T itself changes. As you walk, the forward arrow T swings around — and the rate at which it swings is exactly the curvature you met last time. The derivative dT/ds (how T changes per unit distance) points in the direction the tip of T is heading, which is the direction the curve is bending into. Normalizing that to length 1 gives the principal normal vector N. It always points toward the inside of the bend — toward the centre of the osculating circle that hugs the curve there.
There is a clean reason N is perpendicular to T, not a coincidence to memorize. Because T has constant length 1, the dot product T . T equals 1 always. Differentiate both sides with respect to s: the left gives 2 (T . dT/ds) and the right gives 0. So T . dT/ds = 0, meaning dT/ds — and hence N — is genuinely perpendicular to T. A vector of fixed length can only change by turning, never by stretching, and turning is always sideways. That single fact, that a unit vector's derivative is perpendicular to it, is the quiet workhorse behind this whole guide.
Now we have a forward T and a sideways N, both unit length and perpendicular to each other. They span a plane — the osculating plane, the flat sheet that the curve momentarily lives in at that point. To finish the frame we need one more arrow, perpendicular to both, an 'up' out of that plane. The cross product hands it to us for free: define the binormal vector B = T x N. By the nature of the cross product, B is automatically a unit vector perpendicular to both T and N, and the three together, in the order T, N, B, form a right-handed set just like the standard x-, y-, z-axes.
Torsion: How the Curve Twists Out of Its Plane
Here is the new idea this guide is really about. Curvature kappa measured bending within the osculating plane. But a curve in space can do something a flat curve never can: it can lift out of that plane, twisting like the thread of a screw. The number that measures this twisting is the torsion, written tau. Think of the binormal B as the 'flagpole' standing perpendicular to the plane the curve is momentarily in. If the curve stayed flat, B would never tip — it would point the same way forever. Torsion is precisely the rate at which B tips as you move along.
We can be precise about which way B tips. Apply the same trick as before: B is a unit vector, so dB/ds is perpendicular to B. A short calculation also shows dB/ds is perpendicular to T. Being perpendicular to both B and T, it must lie along the only remaining direction — along N. So dB/ds is a multiple of N, and we write that multiple as -tau: the equation dB/ds = -tau N is the definition of torsion. The minus sign is a universal convention, chosen so that a right-handed helix (a standard screw) comes out with positive torsion.
The Frenet-Serret Formulas: How the Whole Frame Spins
We now have the derivatives of two of our three arrows. From the second guide, the forward arrow turns toward the inside of the bend at a rate set by curvature: dT/ds = kappa N. From this guide, the flagpole tips toward N at a rate set by torsion: dB/ds = -tau N. There is exactly one piece left — how does the sideways arrow N change? Because N = B x T, you can differentiate it using the other two results, and after the dust settles you find dN/ds = -kappa T + tau B. These three equations together are the celebrated Frenet-Serret formulas.
The Frenet-Serret formulas (curve at unit speed, parameter s): dT/ds = kappa N dN/ds = -kappa T + tau B dB/ds = -tau N Notice the antisymmetric pattern: kappa couples T and N, tau couples N and B, and the matrix of coefficients is skew-symmetric (the diagonal is all zeros).
Read the formulas as a description of pure rotation. At each instant the entire frame T, N, B is spinning rigidly, and the two numbers kappa and tau are simply the components of how fast it spins. Curvature couples T to N — it is the bending you see in the osculating plane. Torsion couples N to B — it is the twisting that lifts the frame out of that plane. There is no third number hiding anywhere: bending and twisting, kappa and tau, are the complete local story of a curve in space, and the Frenet-Serret formulas are the machine that turns those two numbers back into the curve's motion.
A Worked Example and an Honest Caveat
The cleanest curve to feel all this on is the circular helix — a point spiralling up a cylinder, like a coil spring or the rail of a spiral staircase. Walk along it and you bend at a steady rate (you are always curving around the cylinder) and you twist at a steady rate (you are always climbing). So a helix has constant curvature and constant torsion, both nonzero, and it is essentially the only curve that does. Squash a helix flat and the climb disappears, tau drops to 0, and you are left with a plain circle — pure bending, no twist. Stretch it tall and thin and the bending fades while the twisting dominates.
- Start from a unit-speed parametrization so the parameter is true arc length s; if your curve is given at some other speed, reparametrize first (the previous guides showed how).
- Differentiate the position to get T, the unit tangent — it already has length 1 thanks to unit speed.
- Differentiate T; its length is the curvature kappa, and the unit vector in its direction is the principal normal N.
- Form the binormal B = T x N, then read off torsion from dB/ds = -tau N (or equivalently tau = -dB/ds . N).
One honest caveat keeps the Frenet frame trustworthy, and it is easy to forget. The whole construction needs N to exist, and N is defined by normalizing dT/ds — so it breaks down wherever kappa = 0. At a point where the curve does not bend at all (an inflection, or a perfectly straight stretch), dT/ds is the zero vector, it has no direction, and there is no principal normal to point sideways. The frame is genuinely undefined there, not merely awkward. This is a real limitation, not a technicality to wave away; curves with isolated straight spots need a more careful tool, such as a smoothly chosen frame that does not rely on the bending. With that caution noted, the payoff is enormous: kappa and tau, two functions of arc length, capture the entire shape of a space curve — and the next guide turns that promise into a precise theorem.