Parametric Curves – Arc Length
When a curve is described parametrically — meaning both x and y are given as functions of a third variable t — finding its length requires a different approach than the familiar arc-length formula for y = f(x). Instead of measuring along a single axis, we track how the curve moves through the plane as t increases, accumulating tiny straight-line distances along the way. This is the essence of arc length for parametric curves, and it connects the geometry of curves to integral calculus in a beautiful way. The key idea is to approximate the curve by many tiny line segments. Each segment has a horizontal component dx and a vertical component dy, so its length is √(dx² + dy²) by the Pythagorean theorem. Expressing dx and dy in terms of the parameter t and integrating over the appropriate interval of t gives an exact formula for the total length of the curve. This concept appears throughout mathematics, physics, and engineering. Computing the length of a planetary orbit (an ellipse given parametrically), the length of a rollercoaster track, or the arc length of a helix in three dimensions all rely on this same integral. Mastering parametric arc length builds fluency with both parametric representations and definite integrals, two cornerstones of higher mathematics.
- Set Up Parametric Coordinates
- Approximate with Line Segments
- Apply the Mean Value Theorem
- Write the Definite Integral
- Check for Smooth Traversal
Set Up Parametric Coordinates
Suppose the curve C is described by x = f(t) and y = g(t) for t in [a, b]. As t increases from a to b, the point (f(t), g(t)) traces the curve in the plane. We assume f and g are continuously differentiable, meaning their derivatives f'(t) and g'(t) exist and are continuous on [a, b].
Approximate with Line Segments
Divide [a, b] into n subintervals of width Δt. On the k-th subinterval, the curve moves from (f(t_{k-1}), g(t_{k-1})) to (f(t_k), g(t_k)). The length of this tiny segment is Δs_k = √((Δx_k)² + (Δy_k)²), where Δx_k = f(t_k) − f(t_{k-1}) and Δy_k = g(t_k) − g(t_{k-1}).
Apply the Mean Value Theorem
By the Mean Value Theorem, Δx_k = f'(t_k)·Δt and Δy_k = g'(t_k<strong>)·Δt for some points t_k and t_k in the k-th subinterval. So Δs_k ≈ √((f'(t_k*))² + (g'(t_k**))²)·Δt. As Δt → 0, both sample points converge, and the sum becomes a definite integral.
Write the Definite Integral
Taking the limit as n → ∞ gives the exact arc length: L = ∫[a to b] √((dx/dt)² + (dy/dt)²) dt. This is the fundamental arc length formula for parametric curves. It reduces to the usual formula L = ∫√(1 + (dy/dx)²) dx when y is expressed as a function of x, since dx/dt cancels appropriately.
Check for Smooth Traversal
The formula assumes the curve is traversed exactly once and does not double back. If the curve retraces itself, the integral counts the retraced portion twice, giving total distance traveled rather than geometric length. Always check whether (dx/dt, dy/dt) = (0, 0) at any interior point, which would indicate a cusp or stopping point that may need special handling.
The Key Equation
- L — Arc length (same unit as x and y): The total length of the curve traced from t = a to t = b.
- dx/dt — Rate of change of x (units of x per unit of t): The derivative of the x-coordinate function with respect to the parameter t.
- dy/dt — Rate of change of y (units of y per unit of t): The derivative of the y-coordinate function with respect to the parameter t.
- a, b — Parameter bounds (units of t): The starting and ending values of the parameter t that define the portion of the curve being measured.
Worked Example
Problem. Find the arc length of the circle defined by x = 3cos(t), y = 3sin(t) for t ∈ [0, 2π].
Answer. The arc length of the full circle is 6π units.
Origins · 1 minGottfried Wilhelm Leibniz and how this was discovered
Leibniz co-invented calculus independently of Newton and introduced the notation dx, dy, and ∫ that we still use today. His notation made it natural to express arc length as ∫√(dx² + dy²), a form that directly motivates the parametric arc length integral. His systematic approach to infinitesimals gave a rigorous foundation for the limit arguments behind these formulas. Leibniz designed a mechanical calculator called the Stepped Reckoner that could multiply and divide — a marvel of 17th-century engineering. He also served as a diplomat and philosopher, writing extensively on metaphysics alongside his mathematical work.
Related Concepts
- Introduction to Parametric Curves — Parametric arc length requires fluency with parametric representations x = f(t), y = g(t), which are introduced in this foundational concept.
- Differentiation of Parametric Functions — The arc length formula uses dx/dt and dy/dt, so computing derivatives of parametric functions is an essential prerequisite skill.
- Definite Integrals — Arc length is expressed as a definite integral, so understanding integration techniques and the Fundamental Theorem of Calculus is necessary to evaluate L.
- Arc Length of Cartesian Curves — The Cartesian arc length formula L = ∫√(1 + (dy/dx)²) dx is a special case of the parametric formula, and comparing the two deepens understanding of both.
- Pythagorean Trigonometric Identities — Simplifying (dx/dt)² + (dy/dt)² for trigonometric parametric curves — like circles and ellipses — relies on sin²(t) + cos²(t) = 1 and related identities.