What Are the Unit Tangent and Principal Normal Vectors?
For a moving point r(t) = ⟨x(t), y(t)⟩, the velocity r′(t) points along the direction of travel. Stripping away the speed leaves pure direction, the unit tangent vector:
T(t) = r′(t) / |r′(t)|
As the point moves, T swings around, and the direction in which it turns defines the principal unit normal N(t) = T′(t)/|T′(t)|, a unit vector perpendicular to T that always points toward the concave side of the curve, the side you lean toward in a turning car. Together T and N form the moving Frenet frame of the curve, the natural coordinate system for describing motion: acceleration decomposes as a = (d|v|/dt)T + κ|v|²N, tangential speeding-up plus centripetal turning. This calculator differentiates your curve symbolically, normalizes to get T, differentiates T to get N, reports speed and curvature, verifies T ⊥ N, and draws both vectors riding on the curve.
How to Use the Unit Tangent Vector Calculator
Enter the parametric components x(t) and y(t) and the parameter value t₀. The steps display the velocity r′(t) as a symbolic vector, its magnitude (the speed), the normalized tangent, the derivative T′ with its magnitude, and finally N with the curvature κ = |T′|/|r′| and radius of curvature 1/κ. The plot shows a window of the curve with the tangent arrow in teal and the normal arrow in red, always at right angles, with the normal pointing into the bend. If the curve is momentarily straight, T′ = 0, the tool says so and explains why N is undefined there.
Worked Example
Take the semicubical parabola r(t) = ⟨t², t³⟩ at t = 1. The velocity is r′ = ⟨2t, 3t²⟩ = ⟨2, 3⟩ with speed √13, so
T(1) = ⟨2/√13, 3/√13⟩ ≈ ⟨0.5547, 0.8321⟩
Differentiating the normalized tangent and normalizing again gives N(1) ≈ ⟨0.8321, −0.5547⟩, perpendicular to T (their dot product is 0) and pointing down-right, into the concave side of the rising branch. The curvature works out to κ ≈ 0.128, a radius of curvature near 7.8: at this point the curve bends like a circle of that radius. On the circle chip, symmetry makes the answer transparent: T is always tangent to the circle, N points straight at the center, and the radius of curvature is exactly 3 at every t.
The Frenet Frame and the Decomposition of Acceleration
Why carry two unit vectors along a curve? Because they split any motion into meaningful parts. Differentiating v = |v|T once more gives the celebrated decomposition a = aTT + aNN with aT = d|v|/dt (rate of change of speed) and aN = κ|v|² (turning acceleration). A car braking on a straightaway has only aT; the same car rounding a bend at constant speed has only aN, of magnitude v²/R, the formula every driver feels and every highway engineer designs around. In three dimensions the frame gains a third member, the binormal B = T × N, and the Frenet-Serret formulas describe how the whole frame rotates with curvature and torsion, the differential-geometric skeleton behind flight dynamics, camera paths in graphics, and protein-backbone geometry. In the plane, everything you need is already in T and N.
Common Mistakes to Avoid
- Normalizing before differentiating incorrectly. N is the normalized derivative of T, not the derivative of r′/|r′| taken casually. |r′| depends on t, and forgetting that when hand-differentiating T is the most common source of a non-perpendicular "normal."
- Expecting N from the velocity alone. Rotating T by ninety degrees gives a unit normal, but with an ambiguous sign. The principal normal is specific: it points where T is turning, toward concavity. On an inflection the turning vanishes and no principal normal exists.
- Evaluating at a cusp or stop. Where r′(t) = 0, like t = 0 on the semicubical parabola or the cycloid's cusps, the curve has no direction and T is undefined. This tool refuses those points with an explanation instead of dividing by zero.
- Confusing parameter speed with geometry. Reparametrizing the same path (say t → 2t) changes speed but leaves T, N, and κ at each geometric point unchanged. These are properties of the road, not the driving schedule.
- Dropping the chain rule in |r′|. The speed √(x′² + y′²) must be differentiated as a composite when computing T′ by hand; the calculator sidesteps the algebra with a high-precision numerical derivative of T.
Real-World Applications
The T-N frame is the working language of motion design. Highway and railway engineers specify horizontal curves by curvature and design speed, since passengers feel aN = v²κ; transition spirals exist precisely to ramp N-direction acceleration gradually. Robotics and CNC machining plan tool paths with continuous T (no direction jumps) and bounded κ (no impossible turns), while drone and camera-path software in film and games interpolates splines whose Frenet frames keep the shot level through curves. Orbital mechanics decomposes thrust into along-track (T) and cross-track (N) components because each has a distinct effect on the orbit. Even roller-coaster design is applied Frenet geometry: the loop shapes that feel smooth are clothoids whose curvature grows linearly, keeping the N-component of acceleration continuous. Related tools: the parametric derivative calculator for dy/dx along the same curves, and the position-velocity-acceleration calculator for the straight-line story.
Frequently Asked Questions
Why divide by |r′(t)| to get the tangent?
The velocity mixes two pieces of information: where you are headed and how fast. Dividing by the magnitude removes the speed, leaving a pure direction of length 1. That normalization is what lets T be compared fairly between points and between differently parametrized versions of the same path.
Why is N defined through T′ instead of just rotating T by 90°?
Rotation gives two candidate normals and no way to choose. T′ breaks the tie physically: since |T| is constant, T′ is automatically perpendicular to T, and it points in the direction T is actually swinging, toward the inside of the bend. The principal normal is the turning direction, not merely a perpendicular.
What happens to N at an inflection point?
The curve is momentarily straight, T′ = 0, and N is undefined: there is no concave side to point toward. Crossing the inflection, N flips from one side of the curve to the other. The parabola chip at its vertex shows the opposite extreme, maximal turning and a cleanly defined N.
How are T and N related to curvature?
Curvature measures how fast the tangent turns per unit of distance traveled: κ = |T′|/|r′|. The same |T′| that defines N's direction supplies, after dividing by speed, the bending rate, and R = 1/κ is the radius of the osculating circle whose center lies along N.
Is T always a unit vector, even for weird parametrizations?
Yes, by construction, wherever r′(t) ≠ 0. Reparametrizing changes r′ but the normalization cancels the change, so T at a geometric point is intrinsic to the curve (up to direction of travel: reversing orientation negates T but leaves N unchanged).
What does the decomposition a = aTT + aNN tell me?
It separates change of speed from change of direction. aT = d|v|/dt is what a speedometer's needle motion reports; aN = κ|v|² is the sideways push of turning, felt even at constant speed. Any acceleration a vehicle undergoes is exactly one of these two effects or a mix.
Why does this tool compute T′ numerically rather than symbolically?
Differentiating r′/|r′| symbolically produces bulky quotient-and-chain-rule expressions that obscure the steps. A central difference with a tiny step evaluates T′ to about ten significant figures, which the orthogonality check T · N ≈ 0 then validates. The definitions displayed remain the exact symbolic ones.
What are cusps and why do they break the computation?
Points where r′(t) = 0, so the moving point halts and the path can reverse sharply, as the cycloid does where its wheel-point touches the ground. With zero velocity there is no direction, hence no T. The cycloid chip is set at the crest, where the motion is smooth and fastest, on purpose.
How does this extend to curves in 3D space?
The same formulas define T and N for r(t) = ⟨x, y, z⟩, and a third vector B = T × N completes an orthonormal frame. The Frenet-Serret equations then track the frame's rotation with two scalars, curvature and torsion; torsion measures the curve's escape from its own plane and is identically zero for the planar curves handled here.
Which direction does T point if I reverse the parametrization?
Backward: traversing the same path in reverse flips r′ and hence T. The principal normal survives the reversal, since turning toward the concave side does not depend on travel direction, and the curvature is unchanged. Orientation-dependent quantities and intrinsic ones are worth keeping mentally separate.