evan's notes
cal 3discreteodeenv systems

On this page

  • Differentiation rules
  • Sums and scalar multiples
  • Dot and cross products
  • The chain rule
  • Example: changing the parameter of a helix
  • Constant length and perpendicular velocity
  • Example: a curve on the unit sphere
  • Integrating vector-valued functions
  • Example: recover position from acceleration
  • Arc length: add up speed
  • Example: one turn of a helix
  • Example: tracing a circle twice
  • Example: the circumference of an ellipse
  • The arc-length function
  • Parametrizing by arc length
  • Changing to an arc-length parameter
  • Example: a unit-speed helix

Intermediate Calculus

§7 Derivatives, Integrals, and Arc Length

Evan Luo · Sep 28, 2026

Intermediate Calculus

§7 Derivatives, Integrals, and Arc Length

Evan LuoSep 28, 2026

14 min read

A vector derivative tells us how a point moves along a curve. We can now use it in familiar calculus operations: differentiate products and compositions, integrate to recover motion, and add up speed to measure distance traveled.

Differentiation rules

Let u(t)\mathbf u(t)u(t) and v(t)\mathbf v(t)v(t) be differentiable vector-valued functions, let f(t)f(t)f(t) be a differentiable scalar-valued function, and let ccc be a constant real number. The usual sum, product, and chain rules still work. The main extra care is deciding which kind of multiplication is involved.

Sums and scalar multiples

Differentiate sums component by component. A constant scalar stays outside the derivative:

ddt(u(t)+v(t))=u′(t)+v′(t),\frac{d}{dt}\bigl(\mathbf u(t)+\mathbf v(t)\bigr) =\mathbf u'(t)+\mathbf v'(t), dtd​(u(t)+v(t))=u′(t)+v′(t), ddt(cu(t))=cu′(t).\frac{d}{dt}\bigl(c\mathbf u(t)\bigr)=c\mathbf u'(t). dtd​(cu(t))=cu′(t).

If the scalar changes with ttt, use the product rule instead:

ddt(f(t)u(t))=f′(t)u(t)+f(t)u′(t).\boxed{ \frac{d}{dt}\bigl(f(t)\mathbf u(t)\bigr) =f'(t)\mathbf u(t)+f(t)\mathbf u'(t). } dtd​(f(t)u(t))=f′(t)u(t)+f(t)u′(t).​

Each term on the right is a scalar times a vector, so the result is a vector.

Dot and cross products

A dot product is scalar-valued. Its derivative is

ddt(u(t)⋅v(t))=u′(t)⋅v(t)+u(t)⋅v′(t).\boxed{ \frac{d}{dt}\bigl(\mathbf u(t)\cdot\mathbf v(t)\bigr) =\mathbf u'(t)\cdot\mathbf v(t) +\mathbf u(t)\cdot\mathbf v'(t). } dtd​(u(t)⋅v(t))=u′(t)⋅v(t)+u(t)⋅v′(t).​

For vectors in R3\mathbb R^3R3, a cross product is vector-valued:

ddt(u(t)×v(t))=u′(t)×v(t)+u(t)×v′(t).\boxed{ \frac{d}{dt}\bigl(\mathbf u(t)\times\mathbf v(t)\bigr) =\mathbf u'(t)\times\mathbf v(t) +\mathbf u(t)\times\mathbf v'(t). } dtd​(u(t)×v(t))=u′(t)×v(t)+u(t)×v′(t).​

Keep the factors in their original order in both terms. Swapping the factors of a cross product changes its sign; unlike a dot product, it is not commutative.

The chain rule

In a composition u(f(t))\mathbf u(f(t))u(f(t)), the scalar function fff changes the input to the vector function u\mathbf uu. Assume the values of fff lie in the domain of u\mathbf uu. Then

ddtu(f(t))=u′(f(t))f′(t).\boxed{ \frac{d}{dt}\mathbf u(f(t))=\mathbf u'(f(t))f'(t). } dtd​u(f(t))=u′(f(t))f′(t).​

The final multiplication is scalar multiplication, not a dot product: u′(f(t))\mathbf u'(f(t))u′(f(t)) is a vector and f′(t)f'(t)f′(t) is a real number.

To see why the rule works, write u(t)=⟨x(t),y(t),z(t)⟩\mathbf u(t)=\langle x(t),y(t),z(t)\rangleu(t)=⟨x(t),y(t),z(t)⟩. Applying the ordinary chain rule to each component gives

ddtu(f(t))=ddt⟨x(f(t)),y(f(t)),z(f(t))⟩=⟨x′(f(t))f′(t),y′(f(t))f′(t),z′(f(t))f′(t)⟩=u′(f(t))f′(t).\begin{aligned} \frac{d}{dt}\mathbf u(f(t)) &=\frac{d}{dt}\langle x(f(t)),y(f(t)),z(f(t))\rangle\\ &=\langle x'(f(t))f'(t),y'(f(t))f'(t),z'(f(t))f'(t)\rangle\\ &=\mathbf u'(f(t))f'(t). \end{aligned} dtd​u(f(t))​=dtd​⟨x(f(t)),y(f(t)),z(f(t))⟩=⟨x′(f(t))f′(t),y′(f(t))f′(t),z′(f(t))f′(t)⟩=u′(f(t))f′(t).​

Example: changing the parameter of a helix

Take

u(t)=⟨cos⁡t,sin⁡t,t⟩,f(t)=t2.\mathbf u(t)=\langle\cos t,\sin t,t\rangle, \qquad f(t)=t^2. u(t)=⟨cost,sint,t⟩,f(t)=t2.

The composition is

u(f(t))=⟨cos⁡(t2),sin⁡(t2),t2⟩.\mathbf u(f(t))=\langle\cos(t^2),\sin(t^2),t^2\rangle. u(f(t))=⟨cos(t2),sin(t2),t2⟩.

First differentiate the outer function, then evaluate that derivative at t2t^2t2, and finally multiply by 2t2t2t:

ddtu(t2)=⟨−sin⁡(t2),cos⁡(t2),1⟩(2t)=⟨−2tsin⁡(t2),2tcos⁡(t2),2t⟩.\begin{aligned} \frac{d}{dt}\mathbf u(t^2) &=\langle-\sin(t^2),\cos(t^2),1\rangle(2t)\\ &=\boxed{\langle-2t\sin(t^2),2t\cos(t^2),2t\rangle.} \end{aligned} dtd​u(t2)​=⟨−sin(t2),cos(t2),1⟩(2t)=⟨−2tsin(t2),2tcos(t2),2t⟩.​​

Differentiating the three components directly gives the same answer. The factor 2t2t2t belongs in every component, including the last one.

Constant length and perpendicular velocity

If the length of a position vector stays constant, its endpoint cannot move toward or away from the origin. Its velocity must point along the sphere instead.

More precisely, if r\mathbf rr is differentiable and ∥r(t)∥=c\lVert\mathbf r(t)\rVert=c∥r(t)∥=c is constant, then

r(t)⋅r′(t)=0.\boxed{\mathbf r(t)\cdot\mathbf r'(t)=0.} r(t)⋅r′(t)=0.​

Thus r(t)\mathbf r(t)r(t) and r′(t)\mathbf r'(t)r′(t) are orthogonal. A vector can change direction even when its length does not change; constant length does not mean constant vector.

Constant distance from the origin

Constant distance from the originA sphere centered at the origin. A radial position vector meets a tangent velocity vector at a right angle on the surface. The rear equator is dashed.
r(t)\mathbf r(t)r(t)
r′(t)\mathbf r'(t)r′(t)
OOO
A curve on a sphere has velocity perpendicular to its radius: r(t)⋅r′(t)=0\mathbf r(t)\cdot\mathbf r'(t)=0r(t)⋅r′(t)=0. The position vector keeps its length while its direction changes.

The dot-product rule makes the proof short. Instead of differentiating a square root, differentiate the squared length:

r(t)⋅r(t)=c2.\mathbf r(t)\cdot\mathbf r(t)=c^2. r(t)⋅r(t)=c2.

Because ccc is constant,

0=ddt(r(t)⋅r(t))=r′(t)⋅r(t)+r(t)⋅r′(t)=2r(t)⋅r′(t).\begin{aligned} 0 &=\frac{d}{dt}\bigl(\mathbf r(t)\cdot\mathbf r(t)\bigr)\\ &=\mathbf r'(t)\cdot\mathbf r(t) +\mathbf r(t)\cdot\mathbf r'(t)\\ &=2\mathbf r(t)\cdot\mathbf r'(t). \end{aligned} 0​=dtd​(r(t)⋅r(t))=r′(t)⋅r(t)+r(t)⋅r′(t)=2r(t)⋅r′(t).​

Dividing by 222 gives the result. When c>0c>0c>0, the curve lies on the sphere of radius ccc centered at the origin. If r′(t)≠0\mathbf r'(t)\ne\mathbf0r′(t)=0, it gives a tangent direction there. The dot-product identity still holds when the derivative is zero, but the zero vector has no direction. If c=0c=0c=0, the position vector is identically zero.

Example: a curve on the unit sphere

Consider

r(t)=⟨cos⁡2t,cos⁡tsin⁡t,sin⁡t⟩.\mathbf r(t)=\langle\cos^2t,\cos t\sin t,\sin t\rangle. r(t)=⟨cos2t,costsint,sint⟩.

Its components do not look like a simple circle, but its squared length simplifies:

∥r(t)∥2=cos⁡4t+cos⁡2tsin⁡2t+sin⁡2t=cos⁡2t(cos⁡2t+sin⁡2t)+sin⁡2t=cos⁡2t+sin⁡2t=1.\begin{aligned} \lVert\mathbf r(t)\rVert^2 &=\cos^4t+\cos^2t\sin^2t+\sin^2t\\ &=\cos^2t(\cos^2t+\sin^2t)+\sin^2t\\ &=\cos^2t+\sin^2t\\ &=1. \end{aligned} ∥r(t)∥2​=cos4t+cos2tsin2t+sin2t=cos2t(cos2t+sin2t)+sin2t=cos2t+sin2t=1.​

So its endpoint stays on the unit sphere, and the theorem tells us immediately that r(t)⋅r′(t)=0\mathbf r(t)\cdot\mathbf r'(t)=0r(t)⋅r′(t)=0. There is no need to expand the derivative just to establish orthogonality.

Integrating vector-valued functions

Integration works component by component too. If v(t)=⟨v1(t),v2(t),v3(t)⟩\mathbf v(t)=\langle v_1(t),v_2(t),v_3(t)\ranglev(t)=⟨v1​(t),v2​(t),v3​(t)⟩ and V1V_1V1​, V2V_2V2​, and V3V_3V3​ are antiderivatives of its components, then

∫v(t) dt=⟨V1(t),V2(t),V3(t)⟩+C,\int\mathbf v(t)\,dt =\langle V_1(t),V_2(t),V_3(t)\rangle+\mathbf C, ∫v(t)dt=⟨V1​(t),V2​(t),V3​(t)⟩+C,

where C=⟨C1,C2,C3⟩\mathbf C=\langle C_1,C_2,C_3\rangleC=⟨C1​,C2​,C3​⟩ is an arbitrary constant vector. Each component has its own constant; there is no reason for the three constants to be equal.

For continuous components on [a,b][a,b][a,b], the definite integral is

∫abv(t) dt=⟨∫abv1(t) dt,∫abv2(t) dt,∫abv3(t) dt⟩.\int_a^b\mathbf v(t)\,dt =\left\langle \int_a^b v_1(t)\,dt, \int_a^b v_2(t)\,dt, \int_a^b v_3(t)\,dt \right\rangle. ∫ab​v(t)dt=⟨∫ab​v1​(t)dt,∫ab​v2​(t)dt,∫ab​v3​(t)dt⟩.

The Fundamental Theorem of Calculus (FTC) applies componentwise. In particular, if r\mathbf rr is continuously differentiable on [a,b][a,b][a,b], then

∫abr′(t) dt=r(b)−r(a).\boxed{\int_a^b\mathbf r'(t)\,dt=\mathbf r(b)-\mathbf r(a).} ∫ab​r′(t)dt=r(b)−r(a).​

For motion, integrating velocity gives displacement: the change from the initial position to the final position. This is a vector, not the total distance traveled along the curve.

Example: recover position from acceleration

A particle moves for t≥0t\ge0t≥0 with acceleration

a(t)=r′′(t)=⟨cos⁡t,0,1(1+t)2⟩.\mathbf a(t)=\mathbf r''(t) =\left\langle\cos t,0,\frac1{(1+t)^2}\right\rangle. a(t)=r′′(t)=⟨cost,0,(1+t)21​⟩.

Its initial velocity and position are

v(0)=⟨0,1,−1⟩,r(0)=⟨1,1,0⟩,\mathbf v(0)=\langle0,1,-1\rangle, \qquad \mathbf r(0)=\langle1,1,0\rangle, v(0)=⟨0,1,−1⟩,r(0)=⟨1,1,0⟩,

where v=r′\mathbf v=\mathbf r'v=r′ is velocity and a=v′\mathbf a=\mathbf v'a=v′ is acceleration. We need two integrations: one to find velocity, then another to find position. Each integration introduces a new constant vector.

First integrate acceleration:

v(t)=⟨sin⁡t+C1, C2, −11+t+C3⟩.\mathbf v(t) =\left\langle \sin t+C_1,\ C_2,\ -\frac1{1+t}+C_3 \right\rangle. v(t)=⟨sint+C1​, C2​, −1+t1​+C3​⟩.

Set t=0t=0t=0 and match the components to the initial velocity:

v(0)=⟨C1,C2,C3−1⟩=⟨0,1,−1⟩,\mathbf v(0)=\langle C_1,C_2,C_3-1\rangle =\langle0,1,-1\rangle, v(0)=⟨C1​,C2​,C3​−1⟩=⟨0,1,−1⟩,

so C1=0C_1=0C1​=0, C2=1C_2=1C2​=1, and C3=0C_3=0C3​=0. Therefore

v(t)=⟨sin⁡t,1,−11+t⟩.\mathbf v(t)=\left\langle\sin t,1,-\frac1{1+t}\right\rangle. v(t)=⟨sint,1,−1+t1​⟩.

Now integrate velocity, using fresh constants:

r(t)=⟨−cos⁡t+C4,t+C5,−ln⁡(1+t)+C6⟩.\mathbf r(t)=\langle-\cos t+C_4,t+C_5,-\ln(1+t)+C_6\rangle. r(t)=⟨−cost+C4​,t+C5​,−ln(1+t)+C6​⟩.

Because t≥0t\ge0t≥0, we have 1+t>01+t>01+t>0, so the logarithm does not need absolute-value bars on this interval. Apply the initial position:

r(0)=⟨C4−1,C5,C6⟩=⟨1,1,0⟩.\mathbf r(0)=\langle C_4-1,C_5,C_6\rangle =\langle1,1,0\rangle. r(0)=⟨C4​−1,C5​,C6​⟩=⟨1,1,0⟩.

This gives C4=2C_4=2C4​=2, C5=1C_5=1C5​=1, and C6=0C_6=0C6​=0, hence

r(t)=⟨2−cos⁡t,t+1,−ln⁡(1+t)⟩,t≥0.\boxed{ \mathbf r(t)=\langle2-\cos t,t+1,-\ln(1+t)\rangle, \qquad t\ge0. } r(t)=⟨2−cost,t+1,−ln(1+t)⟩,t≥0.​

Check the answer in both directions. At t=0t=0t=0 it gives the required initial position. Differentiating once gives the velocity above, including its initial value, and differentiating twice gives the specified acceleration. In particular, the second position component must be t+1t+1t+1: its derivative has to be the constant velocity 111.

Arc length: add up speed

To find how far a particle travels, we need the length along the curve, not just the distance between its endpoints. A particle can return to its starting point with zero displacement after traveling a nonzero distance.

Let r(t)\mathbf r(t)r(t) be a continuously differentiable curve for a≤t≤ba\le t\le ba≤t≤b, with a<ba<ba<b. Its speed is ∥r′(t)∥\lVert\mathbf r'(t)\rVert∥r′(t)∥. Over a short forward interval from t1t_1t1​ to t2t_2t2​, set Δt=t2−t1>0\Delta t=t_2-t_1>0Δt=t2​−t1​>0. If speed changes little over that interval, then

distance over the short interval≈∥r′(t1)∥Δt.\text{distance over the short interval} \approx\lVert\mathbf r'(t_1)\rVert\Delta t. distance over the short interval≈∥r′(t1​)∥Δt.

This is the familiar “speed times time” calculation. It is exact at constant speed and an approximation when we use the speed at the start of a varying-speed interval.

A short distance is approximately speed times time

A short distance is approximately speed times timeA curve with endpoints a and b and nearby parameter values t1 and t2. The highlighted short arc is approximated by a tangent step whose vector is velocity at t1 times the small parameter change.
r(a)\mathbf r(a)r(a)
r(t1)\mathbf r(t_1)r(t1​)
r(t2)\mathbf r(t_2)r(t2​)
r(b)\mathbf r(b)r(b)
r′(t1)Δt\mathbf r'(t_1)\Delta tr′(t1​)Δt
r(t)\mathbf r(t)r(t)
The arrow represents r′(t1)Δt\mathbf r'(t_1)\Delta tr′(t1​)Δt, a tangent approximation to the short motion. Its length is ∥r′(t1)∥Δt\lVert\mathbf r'(t_1)\rVert\Delta t∥r′(t1​)∥Δt. Adding these estimates and taking a limit gives arc length.

Divide the full interval into nnn equal pieces, with endpoints ti=a+iΔtt_i=a+i\Delta tti​=a+iΔt and Δt=(b−a)/n\Delta t=(b-a)/nΔt=(b−a)/n. Adding the short-distance estimates gives

L≈∑i=1n∥r′(ti−1)∥Δt.L\approx\sum_{i=1}^{n}\lVert\mathbf r'(t_{i-1})\rVert\Delta t. L≈i=1∑n​∥r′(ti−1​)∥Δt.

As n→∞n\to\inftyn→∞, the pieces become smaller and this Riemann sum approaches the arc length of the parametrized motion:

L=∫ab∥r′(t)∥ dt.\boxed{L=\int_a^b\lVert\mathbf r'(t)\rVert\,dt.} L=∫ab​∥r′(t)∥dt.​

In three dimensions, this is

L=∫ab(x′(t))2+(y′(t))2+(z′(t))2 dt.L=\int_a^b\sqrt{(x'(t))^2+(y'(t))^2+(z'(t))^2}\,dt. L=∫ab​(x′(t))2+(y′(t))2+(z′(t))2​dt.

The order of operations matters: take the length of the velocity vector before integrating. Compare

∫abr′(t) dt⏟displacement vectorand∫ab∥r′(t)∥ dt⏟distance traveled.\underbrace{\int_a^b\mathbf r'(t)\,dt}_{\text{displacement vector}} \qquad\text{and}\qquad \underbrace{\int_a^b\lVert\mathbf r'(t)\rVert\,dt}_{\text{distance traveled}}. displacement vector∫ab​r′(t)dt​​anddistance traveled∫ab​∥r′(t)∥dt​​.

If the parametrization retraces part of the curve, the length integral counts that travel again. It measures the full motion, not just the length of the set of distinct points visited.

Example: one turn of a helix

For the helix r(t)=⟨cos⁡t,sin⁡t,t⟩\mathbf r(t)=\langle\cos t,\sin t,t\rangler(t)=⟨cost,sint,t⟩, one turn corresponds to 0≤t≤2π0\le t\le2\pi0≤t≤2π. Its velocity is r′(t)=⟨−sin⁡t,cos⁡t,1⟩\mathbf r'(t)=\langle-\sin t,\cos t,1\rangler′(t)=⟨−sint,cost,1⟩, so

∥r′(t)∥=(−sin⁡t)2+(cos⁡t)2+1=2.\lVert\mathbf r'(t)\rVert =\sqrt{(-\sin t)^2+(\cos t)^2+1} =\sqrt2. ∥r′(t)∥=(−sint)2+(cost)2+1​=2​.

The speed is constant, so speed times time gives the exact length:

L=∫02π2 dt=2π2.L=\int_0^{2\pi}\sqrt2\,dt=2\pi\sqrt2. L=∫02π​2​dt=2π2​.

Example: tracing a circle twice

Consider

r(t)=⟨cos⁡(2t),sin⁡(2t)⟩,0≤t≤2π.\mathbf r(t)=\langle\cos(2t),\sin(2t)\rangle, \qquad 0\le t\le2\pi. r(t)=⟨cos(2t),sin(2t)⟩,0≤t≤2π.

The points lie on the unit circle, but the angle 2t2t2t runs from 000 to 4π4\pi4π. The particle makes two full turns, not one.

One circle, two trips around it

One circle, two trips around itA unit circle centered at the origin. The parametrization makes two full turns over the stated parameter interval, so the distance traveled is twice the circumference of the visible circle.
xxx
yyy
111
As 0≤t≤2π0\le t\le2\pi0≤t≤2π, the point makes two full turns along this same trace. Its distance traveled is 4π4\pi4π, not the circle's circumference 2π2\pi2π.

Differentiating and taking the norm gives

r′(t)=⟨−2sin⁡(2t),2cos⁡(2t)⟩,\mathbf r'(t)=\langle-2\sin(2t),2\cos(2t)\rangle, r′(t)=⟨−2sin(2t),2cos(2t)⟩, ∥r′(t)∥=(−2sin⁡(2t))2+(2cos⁡(2t))2=2.\lVert\mathbf r'(t)\rVert =\sqrt{(-2\sin(2t))^2+(2\cos(2t))^2} =2. ∥r′(t)∥=(−2sin(2t))2+(2cos(2t))2​=2.

Therefore

L=∫02π2 dt=4π.L=\int_0^{2\pi}2\,dt=4\pi. L=∫02π​2dt=4π.

The circle has circumference 2π2\pi2π, but the distance traveled is 4π4\pi4π. The same geometric curve can give different travel distances when the parameter interval includes different numbers of trips around it.

Example: the circumference of an ellipse

Let a>0a>0a>0 and b>0b>0b>0 be the horizontal and vertical semiaxis lengths of the ellipse

(xa)2+(yb)2=1.\left(\frac{x}{a}\right)^2+\left(\frac{y}{b}\right)^2=1. (ax​)2+(by​)2=1.

One complete traversal is

r(t)=⟨acos⁡t,bsin⁡t⟩,0≤t≤2π.\mathbf r(t)=\langle a\cos t,b\sin t\rangle, \qquad 0\le t\le2\pi. r(t)=⟨acost,bsint⟩,0≤t≤2π.

The two semiaxes of an ellipse

The two semiaxes of an ellipseAn ellipse centered at the origin, with horizontal semiaxis a and vertical semiaxis b. The drawing shows a wider than b; the circumference formula also works when the vertical semiaxis is longer.
xxx
yyy
aaa
bbb
The horizontal semiaxis has length aaa and the vertical semiaxis has length bbb. Integrating speed over 0≤t≤2π0\le t\le2\pi0≤t≤2π measures one full traversal.

Its derivative is r′(t)=⟨−asin⁡t,bcos⁡t⟩\mathbf r'(t)=\langle-a\sin t,b\cos t\rangler′(t)=⟨−asint,bcost⟩, so its circumference is

L=∫02πa2sin⁡2t+b2cos⁡2t dt.\boxed{L=\int_0^{2\pi}\sqrt{a^2\sin^2t+b^2\cos^2t}\,dt.} L=∫02π​a2sin2t+b2cos2t​dt.​

Setting up an arc-length integral is often easier than evaluating it. For unequal positive semiaxes, this integrand has no elementary antiderivative. The integral is an elliptic integral; we can still evaluate it numerically or express it using special functions. An exact integral is a valid answer even when ordinary integration techniques do not simplify it.

If a=ba=ba=b, the ellipse is a circle. The speed simplifies to aaa, and the circumference becomes 2πa2\pi a2πa.

The arc-length function

The total length LLL uses a fixed endpoint. To track how much distance has accumulated as the endpoint moves, define the arc-length function

s(t)=∫0t∥r′(u)∥ du.\boxed{s(t)=\int_0^t\lVert\mathbf r'(u)\rVert\,du.} s(t)=∫0t​∥r′(u)∥du.​

Here 000 is the chosen starting parameter and uuu is a dummy integration variable. Assume r\mathbf rr is continuously differentiable on the interval being considered. For t≥0t\ge0t≥0, s(t)s(t)s(t) is the distance traveled along the curve from parameter 000 to parameter ttt.

The Fundamental Theorem of Calculus gives

s′(t)=∥r′(t)∥.\boxed{s'(t)=\lVert\mathbf r'(t)\rVert.} s′(t)=∥r′(t)∥.​

In words, the rate at which distance accumulates is speed. For the helix above,

s(t)=∫0t2 du=2 t.s(t)=\int_0^t\sqrt2\,du=\sqrt2\,t. s(t)=∫0t​2​du=2​t.

If we allow t<0t<0t<0, the same integral is a signed arc-length coordinate relative to the starting point, not a nonnegative distance. For this helix, the distance along the curve between parameters 000 and ttt is 2 ∣t∣\sqrt2\,|t|2​∣t∣.

Parametrizing by arc length

A parameter usually tells us when a point is reached, not how far along the curve it lies. We can instead choose a parameter that increases by one whenever we travel one unit of length.

A curve is parametrized by arc length, or has a unit-speed parametrization, when the norm of its derivative with respect to its parameter is 111. The name of the parameter does not matter: if it is still called ttt, the condition is

∥r′(t)∥=1.\lVert\mathbf r'(t)\rVert=1. ∥r′(t)∥=1.

With starting parameter 000, its arc-length function is then

s(t)=∫0t∥r′(u)∥ du=∫0t1 du=t.s(t)=\int_0^t\lVert\mathbf r'(u)\rVert\,du =\int_0^t1\,du=t. s(t)=∫0t​∥r′(u)∥du=∫0t​1du=t.

More generally, the length traveled from parameter aaa to parameter bbb, with a<ba<ba<b, is simply

L=∫ab1 dt=b−a.\boxed{L=\int_a^b1\,dt=b-a.} L=∫ab​1dt=b−a.​

Changing to an arc-length parameter

Starting from a continuously differentiable curve with positive speed throughout the interval:

  1. Compute the arc-length function s(t)s(t)s(t).
  2. Solve s=s(t)s=s(t)s=s(t) for ttt as a function of sss. Write the inverse as t=t(s)t=t(s)t=t(s).
  3. Substitute this inverse into the original curve to get R(s)=r(t(s))\mathbf R(s)=\mathbf r(t(s))R(s)=r(t(s)).

Positive speed makes s′(t)>0s'(t)>0s′(t)>0, so s(t)s(t)s(t) is strictly increasing and can be inverted on the interval. Finding an explicit formula for that inverse may still be difficult.

The chain rule explains why this change produces unit speed. Since ds/dt=∥r′(t)∥ds/dt=\lVert\mathbf r'(t)\rVertds/dt=∥r′(t)∥, we have

dtds=1∥r′(t(s))∥,R′(s)=r′(t(s))∥r′(t(s))∥.\frac{dt}{ds}=\frac1{\lVert\mathbf r'(t(s))\rVert}, \qquad \mathbf R'(s) =\frac{\mathbf r'(t(s))}{\lVert\mathbf r'(t(s))\rVert}. dsdt​=∥r′(t(s))∥1​,R′(s)=∥r′(t(s))∥r′(t(s))​.

The new derivative is the original velocity divided by its length, so ∥R′(s)∥=1\lVert\mathbf R'(s)\rVert=1∥R′(s)∥=1. The curve's points and direction of travel stay the same; its speed with respect to the new parameter is now 111.

Example: a unit-speed helix

For r(t)=⟨cos⁡t,sin⁡t,t⟩\mathbf r(t)=\langle\cos t,\sin t,t\rangler(t)=⟨cost,sint,t⟩, we already found s(t)=2 ts(t)=\sqrt2\,ts(t)=2​t. Invert this relation:

s=2 t⟹t=s2.s=\sqrt2\,t \quad\Longrightarrow\quad t=\frac{s}{\sqrt2}. s=2​t⟹t=2​s​.

Substitute into every component of the original function:

R(s)=⟨cos⁡(s2),sin⁡(s2),s2⟩.\boxed{ \mathbf R(s)=\left\langle \cos\left(\frac{s}{\sqrt2}\right), \sin\left(\frac{s}{\sqrt2}\right), \frac{s}{\sqrt2} \right\rangle. } R(s)=⟨cos(2​s​),sin(2​s​),2​s​⟩.​

To check the speed directly, differentiate with respect to sss:

R′(s)=⟨−12sin⁡(s2),12cos⁡(s2),12⟩.\mathbf R'(s)=\left\langle -\frac1{\sqrt2}\sin\left(\frac{s}{\sqrt2}\right), \frac1{\sqrt2}\cos\left(\frac{s}{\sqrt2}\right), \frac1{\sqrt2} \right\rangle. R′(s)=⟨−2​1​sin(2​s​),2​1​cos(2​s​),2​1​⟩.

Each component carries a factor 1/21/\sqrt21/2​ from the chain rule. Its norm is

∥R′(s)∥=12sin⁡2(s2)+12cos⁡2(s2)+12=12+12=1.\begin{aligned} \lVert\mathbf R'(s)\rVert &=\sqrt{ \frac12\sin^2\left(\frac{s}{\sqrt2}\right) +\frac12\cos^2\left(\frac{s}{\sqrt2}\right) +\frac12}\\ &=\sqrt{\frac12+\frac12}=1. \end{aligned} ∥R′(s)∥​=21​sin2(2​s​)+21​cos2(2​s​)+21​​=21​+21​​=1.​

For t∈Rt\in\mathbb Rt∈R and s∈Rs\in\mathbb Rs∈R, the two parametrizations describe the same entire helix, but the original has speed 2\sqrt22​ and the new one has speed 111. One turn uses 0≤t≤2π0\le t\le2\pi0≤t≤2π in the original parameter and 0≤s≤2π20\le s\le2\pi\sqrt20≤s≤2π2​ in the arc-length parameter. The latter interval's length is exactly the length of that turn.

Source: https://notes.ohevan.com/notes/intermediate-calculus/07-derivatives-integrals-and-arc-length

© 2026 Evan Luo. All rights reserved.

Back to Intermediate Calculus

0 reads

·Last edited Oct 1, 2026
  • newsletter

  • about me

  • sponsor

© 2026 Evan Luo. All rights reserved.