Lesson
The theory — Arc Length & Solid of Revolution
A curve cannot be measured directly, so arc length is defined as a limit rather than a formula: replace the curve with a chain of straight chords, add their lengths, then let the chords shrink towards nothing. Everything below is that one idea plus Pythagoras.
What each symbol means
f(x)- the curve, given as a function of x — one y for every x. That restriction is why the presets offer a semicircle and never a full circle: a circle stands two y values tall above most of its width, so no single
fcan trace it. f'(x)- the slope, and the only thing the integrand ever consults. How high the curve sits never enters — the flat function
1across[0, 2]has slope0everywhere and length exactly2, the width of the interval and nothing more. [a, b]- the interval, which is part of the answer rather than a detail of it. The parabola runs
4.646784over[0, 2]and1.478943over[0, 1]— not half, because a steeper stretch of curve packs more length into the same width. n- the number of slices Simpson is given. Alone among these, it says nothing about the curve: it decides only how well the integral is approximated, and the Error estimate row is what reports whether it was enough.
Where the formula comes from
- Take two points on the curve a small step
Δxapart. The straight line between them has length√(Δx² + Δy²). That is Pythagoras and there is nothing else in it. - Pull
Δxout of the root:√(Δx² + Δy²) = Δx·√(1 + (Δy/Δx)²). The shape of the final answer is already visible. - Now let
Δxshrink. The ratioΔy/Δxbecomes the derivativef′(x), so each vanishing chord contributes√(1 + f′(x)²) dx. - Add them all:
L = ∫ₐᵦ √(1 + f′(x)²) dx, the line the readout prints. Step 1 is on screen as well, as the Chord length row — and for a straight line the two agree exactly. Set the function toxon[0, 1]and both read1.414214, because there one chord already is the whole curve.
How to read what you see
The Chord length row is step 1 with a single segment, so it can never be the larger of the two: 4.472136 against the parabola’s 4.646784, and the gap between them is how much the curve bends. Read Error estimate carefully, because it is not a distance from the truth — it prints |L₂ₙ − Lₙ|, the disagreement between n slices and 2n, so it says whether the method has settled, not whether it landed in the right place.
- Assumes
- That
fcan be differentiated across[a, b], and that it is a function of x in the first place. Simpson’s rule assumes more than the arc-length formula does: that the integrand is smooth enough to be matched by parabolas across each pair of slices. - Breaks when
- Choose
frac(x)on[0, 3]and set the integration steps to400. The graph is three rising segments separated by three vertical drops, and at every drop there is no derivative for the formula to use. The readout answers regardless:29.23057, which is neither the4.242641you get by ignoring the drops nor the7.242641you get by counting them — it is the integrator differencing across a jump. The only thing that gives it away is the Error estimate row beneath it,12.49396, nearly half the answer it is reporting on. A single corner, by contrast, costs almost nothing:|x|on[−1, 1]returns2.827046against the exact2√2 = 2.828427, because one bad point inside an integral is one point too few to matter.
Practice
Check yourself
Predict the answer first, then use the controls above to find out. Reveal only after you have committed to a guess — that is what makes it practice.
-
Load the sphere preset and set the interval to a = 0, b = 0.5 — a band cut from the sphere’s equator up to half its radius. The surface area reads 3.141593. Now slide the band up to a = 0.4, b = 0.9, keeping its height at 0.5. Predict the new surface area before you press anything.
Show answer
Still 3.141593. Every band of height 0.5 encloses exactly π of surface, wherever you cut it — [−0.25, 0.25] and [−0.9, −0.4] print the same figure. Volume does nothing of the kind: those bands hold 1.439897, 0.87441 and 1.538071. Near the pole each strip of surface is shorter around but tilted more steeply, and the two effects cancel exactly, so only the height survives. Archimedes proved this and asked for a sphere inside a cylinder on his tomb — band for band, the sphere has the same surface as the cylinder that just contains it. -
The third insight above claims Gabriel’s Horn has finite volume and infinite surface area, but gives you no numbers. Get them: choose f(x) = 1/x, set a = 1 and the mode to Solid of revolution, and read both figures at b = 10, then 100, then 1000.
Show answer
Volume goes 2.827433 → 3.110179 → 3.153626, closing on π and gaining less each decade. Surface area goes 15.1775 → 29.6451 → 44.1739 — up by roughly 14.5 every time you multiply b by ten, and it will do that forever. Far out along the horn the surface integrand is essentially 2π/x, whose integral is 2π ln b, and 2π ln 10 = 14.47. Something that gains a fixed amount per decade has no limit; something that gains less each decade has one. Distrust that last volume, though: 3.153626 is above π, which is impossible, because 2000 uniform steps cannot resolve the steep part near x = 1 across an interval that long. The overshoot is the grid, not the horn.
Problems solved in full
-
The arc length of y = x² from 0 to 2 in closed form 5 steps
The arc length of y = x² from 0 to 2 is 4.646784. Derive it in closed form — then explain why you were lucky. This is the parabola arc state.
-
Set it up. The derivative of x² is 2x, so the integrand carries 4x² and nothing worse.
-
The antiderivative of √(1 + 4x²) is standard — one algebraic term and one inverse hyperbolic sine, which is what a quadratic under a root always produces.
-
Evaluate at the ends. The lower limit contributes nothing, and the two pieces at x = 2 come to 4.1231 and 0.5237.
-
Compare with the straight line between the endpoints. The curve is only 3.9% longer than the chord over this range, which is why numerical arc length looks easy until it is not.
-
Now try to repeat the trick one power up. The integrand becomes a square root of a quartic, and that is the boundary between elementary and elliptic.
Answer
√17 + ¼ arsinh 4, and the luck is that the parabola is one of almost nothing that works. Arc length asks you to integrate √(1 + f′²), and a square root of a polynomial is elementary only in a handful of cases. Move up one power to y = x³ and the integrand is √(1 + 9x⁴), which is elliptic and has no expression in elementary functions. So is the arc length of an ellipse — that is where elliptic integrals got their name, and it is why the perimeter of an ellipse has no formula while its area has a trivial one. The parabola escapes because its derivative is linear, so 1 + f′² is a quadratic, and quadratics under a square root are exactly what the arsinh substitution was invented for.
-
-
Surface 12.55591 and volume 4.18879 of the unit semicircle 6 steps
Revolve the unit semicircle and the panel gives surface 12.55591 and volume 4.18879. One of those is exact to six figures and the other is 0.083% wrong. Work out which, and why. This is the sphere by revolution state.
-
Write down the function and its derivative. The derivative is where the trouble is going to come from, and it is visible already: the denominator vanishes at both ends.
-
Now form the surface integrand. The factor that blows up and the factor that vanishes are reciprocals, and they cancel completely.
-
Integrating a constant over an interval of length 2 needs no calculus. The answer is 4π, and it does not depend on how the sphere was sliced — which is the content of Archimedes' result.
-
The volume is an ordinary polynomial integral, and it is the one Simpson's rule gets right to the last digit it prints.
-
Compare the printed surface with 4π. The shortfall is small but it is not rounding — it is a systematic miss concentrated at the two poles.
-
The cause is in step 1. Exact cancellation is not available to a routine that only samples values.
Answer
The volume is exact and the surface is short by 0.083%, because the surface integrand is a constant the integrator cannot see. Work it by hand and something remarkable happens: √(1 + f′²) is 1/√(1 − x²), and it cancels the √(1 − x²) in front of it exactly, leaving 2π. The integrand is flat, the integral is 4π, and that is Archimedes' theorem — a sphere has the same surface as the side of the cylinder that just contains it, which he had carved on his tombstone. Numerically, though, f′ blows up at x = ±1, and Simpson's rule is sampling a function that is 2π everywhere except at two points where the arithmetic goes to pieces. The volume integrand is π(1 − x²), an honest polynomial, and Simpson integrates polynomials exactly. The panel's own error estimate, 0.005, tells you which of the two answers to trust.
-
References (1)
- Insight block 3 — Gabriel's Horn, and how strange it looked at the time: P. Mancosu and E. Vailati, "Torricelli's Infinitely Long Solid and Its Philosophical Reception in the Seventeenth Century." Isis 82(1), 50–70, 1991.