You are viewing a free preview of this lesson.
Subscribe to unlock all 10 lessons in this course and every other course on LearningBro.
The arc length of a curve measures its true length along the curve, not the straight-line distance between its endpoints. The idea is beautifully simple: chop the curve into tiny near-straight pieces, use Pythagoras on each, and integrate. From this one principle flow three formulae — Cartesian, parametric and polar — and a string of elegant results (the catenary's length is sinha; one arch of a cycloid is exactly 8a). This lesson derives the formula rigorously, drills the all-important "simplify under the root" step, and stretches to the elliptic integrals that defeat elementary methods.
Arc length is compulsory Pure content for Paper 1 and Paper 2 (each 2 h, 100 marks, 33⅓%, with per-paper weighting AO1 55% / AO2 25% / AO3 20%), in the "Further calculus" strand alongside surface area of revolution, with which it shares the element ds. The bulk of a question is AO1 — differentiate, substitute into ∫1+(y′)2dx, integrate — but the decisive step is almost always AO2: recognising the identity (hyperbolic 1+sinh2=cosh2, or double-angle 1−cost=2sin22t) that collapses the surd into something integrable, and communicating that simplification cleanly. A modelling context (the length of a suspension cable, the distance a wheel-point travels) lifts it into AO3. Arc length feeds directly into the next lesson (surface area =2π∫yds) and into polar coordinates, so the ds idea pays dividends repeatedly.
Take a curve y=f(x) and a small step from x to x+δx. The curve rises by δy, so the straight chord joining the two points has length, by Pythagoras,
δs≈(δx)2+(δy)2=1+(δxδy)2δx.
Letting δx→0 turns δxδy into dxdy and δs into the arc-length element
ds=1+(dxdy)2dx,
Summing the chords and passing to the limit replaces ∑δs by ∫ds, so the total length from x=a to x=b is
s=limδx→0∑1+(δxδy)2δx=∫ab1+(dxdy)2dx.
This is a genuine limit of a sum (a Riemann sum), not a definition pulled from nowhere: the polygonal path made of tiny chords approximates the smooth curve ever more closely as the chords shrink, and its total length converges to the integral. The approximation δs≈(δx)2+(δy)2 becomes exact in the limit because, for a differentiable curve, each small arc is indistinguishable from its chord to leading order.
The same chord, expressed in a parameter t, gives δs≈(δx)2+(δy)2, and dividing inside the root by (δt)2 yields the parametric form; in polar coordinates x=rcosθ, y=rsinθ a short computation (done in §6) gives the polar form:
s=∫t1t2(dtdx)2+(dtdy)2dt,s=∫αβr2+(dθdr)2dθ.
All three say the same thing: s=∫ds, where ds is the hypotenuse of an infinitesimal right triangle. The whole skill is choosing the form that matches how the curve is given, then simplifying the surd before integrating.
Why the surd is unavoidable. Unlike area (∫ydx) or volume (π∫y2dx), arc length measures the curve's own extent, so the vertical motion dy must be combined with the horizontal motion dx — and Pythagoras combines perpendicular displacements through a square root. This is precisely why arc-length integrals are harder than area integrals: the integrand 1+(y′)2 is rarely a polynomial, and an exam curve is almost always engineered so that this root collapses to something elementary. Spotting that collapse is the examined skill.
A useful way to read the formula: 1+(y′)2 is the stretch factor by which a horizontal step dx is lengthened into the slanted arc ds. On a flat part of the curve (y′=0) the factor is 1 (no stretch); on a steep part (∣y′∣ large) the factor is large, because a small horizontal advance traces a long slanted piece. Integrating this stretch factor across [a,b] accumulates the total length. The same interpretation holds in parametric form, where (x′)2+(y′)2 is the speed of a particle tracing the curve as t advances — and length is "speed integrated over time", exactly as distance = speed × time generalises to ∫∣v∣dt. This is why arc length and kinematics are two views of one idea: the distance a moving point covers along its path is the integral of its speed.
Find the arc length of y=x3/2 from x=0 to x=4.
dxdy=23x1/2⟹(dxdy)2=49x.
(M1 differentiate and square.) So s=∫041+49xdx. Substitute u=1+49x, du=49dx; when x=0, u=1 and when x=4, u=10:
s=94∫110udu=94[32u3/2]110=278(103/2−1).
(M1 substitution with changed limits; A1 for the bracket.) Hence
s=278(1010−1)≈9.073.
(A1 exact form.)
Find the arc length of y=coshx from x=0 to x=a.
dxdy=sinhx⟹1+(dxdy)2=1+sinh2x=cosh2x,
using the fundamental identity cosh2x−sinh2x=1. (M1 for the identity — the crux of the question.) Therefore
s=∫0acosh2xdx=∫0acoshxdx=[sinhx]0a=sinha.
(A1 for sinha.) The catenary — the shape of a hanging chain — has this remarkably clean arc length, which is exactly why it recurs throughout applied mathematics.
Verify the formula on y=3x+2 from x=0 to x=4. Here dxdy=3, so
s=∫041+9dx=∫0410dx=410.
The endpoints are (0,2) and (4,14); the straight-line distance is 42+122=160=410. The formula agrees — a reassuring check that ds really is the hypotenuse.
Find the arc length of one arch of the cycloid x=a(t−sint), y=a(1−cost) for 0≤t≤2π.
dtdx=a(1−cost),dtdy=asint.
(M1 differentiate both.) Then
(dtdx)2+(dtdy)2=a2(1−cost)2+a2sin2t=a2(2−2cost)=2a2(1−cost).
Use 1−cost=2sin22t: the bracket becomes 4a2sin22t, so ⋯=2asin2t=2asin2t (since sin2t≥0 on [0,2π]). (M1 for the half-angle simplification; A1 for the integrand.) Hence
s=∫02π2asin2tdt=2a[−2cos2t]02π=2a(2+2)=8a.
(A1 for 8a.) One arch has length 8a — four times the diameter of the rolling circle, a classic result.
Not every arc length collapses to a one-line antiderivative. Find the length of y=21x2 from x=0 to x=1. Here dxdy=x, so
s=∫011+x2dx.
(M1 set up the integral.) The standard result ∫1+x2dx=21[x1+x2+arsinhx]+C (provable by the substitution x=sinhu, since 1+sinh2u=cosh2u and dx=coshudu) gives
s=21[x1+x2+arsinhx]01=21(2+arsinh1)=21(2+ln(1+2))≈1.148,
using arsinh1=ln(1+2). (M1 apply the standard integral with limits; A1 exact form.) This is the kind of integral — inverse-hyperbolic, not a perfect square — that examiners reach for when they want to test the harder integration technique rather than a slick simplification.
(Specimen-style — not a real past paper.)
A curve has equation y=4x2−21lnx for 1≤x≤2. (a) Show that 1+(dxdy)2=(2x+2x1)2. (b) Hence find the exact arc length of the curve.
(a) dxdy=2x−2x1. Squaring, (2x−2x1)2=4x2−21+4x21. Adding 1,
1+(dxdy)2=4x2+21+4x21=(2x+2x1)2,
since the last expression expands to exactly that. □ (This is the engineered "perfect square" that makes the root vanish — the whole point of part (a).)
(b) Because 2x+2x1>0 on [1,2], the square root is just 2x+2x1:
s=∫12(2x+2x1)dx=[4x2+21lnx]12=(1+21ln2)−(41+0)=43+21ln2.
So the arc length is 43+21ln2.
Polar curves measure position by a radius r and angle θ rather than by (x,y), and they describe many shapes — spirals, cardioids, rose curves — far more naturally than Cartesian equations can. To find their length we exploit the link x=rcosθ, y=rsinθ, treating θ as the parameter.
For a curve r=f(θ), substitute x=rcosθ, y=rsinθ into the parametric formula with parameter θ. Differentiating (product rule),
dθdx=r′cosθ−rsinθ,dθdy=r′sinθ+rcosθ,
and squaring and adding, the cross-terms cancel and sin2+cos2=1 leaves (dθdx)2+(dθdy)2=r2+(r′)2. Hence
s=∫αβr2+(dθdr)2dθ.
Find the total arc length of r=a(1+cosθ). Here dθdr=−asinθ, so
r2+(r′)2=a2(1+cosθ)2+a2sin2θ=a2(2+2cosθ)=2a2(1+cosθ).
Using 1+cosθ=2cos22θ gives 4a2cos22θ, so ⋯=2acos2θ. On [0,π], cos2θ≥0; the curve is symmetric about the initial line, so
s=2∫0π2acos2θdθ=4a[2sin2θ]0π=4a⋅2=8a.
The modulus matters: integrating 2acos2θ blindly from 0 to 2π would give 0 (the cos2θ goes negative past θ=π), which is absurd for a length — hence the symmetry split.
Find the arc length of r=θ for 0≤θ≤2π. With dθdr=1,
s=∫02πθ2+1dθ=[2θθ2+1+21ln(θ+θ2+1)]02π,
the standard integral ∫θ2+1dθ (via θ=sinhu or arsinh). Evaluating, s=π4π2+1+21ln(2π+4π2+1)≈21.26.
Most arc-length integrands 1+(y′)2 have no elementary antiderivative — the engineered exam curves are the exception, not the rule. Two famous cases:
When no closed form exists, the length is found numerically, for instance by Simpson's rule applied to f(x)=1+(y′)2. For y=sinx over [0,π], a few strips of Simpson's rule give s≈3.820. The point for the exam is conceptual: the formula s=∫1+(y′)2dx is always valid and always sets up correctly; whether it then yields to algebra is a separate question. AQA-set curves are chosen so the algebra works — recognising the perfect square or the hyperbolic identity is the examined skill — but you should understand that arc length is fundamentally an integral that may require numerical evaluation, exactly as the normal-distribution probability integral does in Statistics.
Subscribe to continue reading
Get full access to this lesson and all 10 lessons in this course.