Why an Ellipse Has a Special Circumference Formula
An ellipse resembles a circle that has been stretched unequally in two perpendicular directions. For a circle, every point is the same distance from the center, and its circumference has the familiar formula \(2\pi r\). An ellipse has two different semiaxes, so its arc-length integrand varies around the curve. The circumference is still an exact integral, but in general that integral does not simplify to elementary functions such as powers, trigonometric functions, exponentials, or logarithms.
This tutorial derives the circumference integral, uses the ellipse’s symmetry to reduce it to one quarter of the curve, and names the special function that represents the result. The integral itself is also a useful starting point when the circumference must be evaluated numerically.
Set Up the Arc-Length Integral
An ellipse centered at the origin, with semiaxis \(a\) along the horizontal axis and semiaxis \(b\) along the vertical axis, has the parametrization
As \(t\) runs from \(0\) to \(2\pi\), this parametrization traces the ellipse once. The parametric arc-length formula says that a smooth curve \((x(t),y(t))\) has length \(\int \sqrt{(x'(t))^2+(y'(t))^2}\,dt\) over its parameter interval. Here,
Therefore the speed is
and the full circumference is
The expression under the square root changes as \(t\) changes. This variation is the central reason the circumference does not usually reduce to the circle formula.
Why One Quarter Is Enough
The ellipse is symmetric across both coordinate axes. The speed in the integral depends on \(\sin^2 t\) and \(\cos^2 t\), so reflecting an arc into any of the other three quadrants gives an arc with the same length. Consequently, the four quadrant lengths are equal, and the integral over the full parameter interval is four times the integral over \(0\le t\le \pi/2\):
This is the quarter-ellipse form of the circumference integral. It is not an approximation: it follows exactly from the symmetry and the fact that the parametrization covers each quadrant once.
Eccentricity and the Elliptic Integral
To put the quarter-ellipse integral into standard form, factor out \(a^2\) inside the square root. Define the eccentricity \(e\) of this ellipse by
Since \(a\ge b>0\), this gives \(0\le e<1\). Using \(b^2=a^2(1-e^2)\), the integrand becomes
Substituting \(\theta=\pi/2-t\) changes \(\cos^2 t\) to \(\sin^2\theta\), while leaving the integration interval from \(0\) to \(\pi/2\). This gives
The integral on the right is a standard special function. It is called the complete elliptic integral of the second kind. “Complete” means the upper limit is \(\pi/2\); “second kind” distinguishes this function from other elliptic integrals.
Comparing this definition with the circumference integral gives the standard result:
Derivation of the Circumference Formula
The formula follows directly from parametric arc length, symmetry, and a change of variable. The steps also show exactly where the elliptic integral enters.
For \(x=a\cos t\) and \(y=b\sin t\), the derivatives are \(x'=-a\sin t\) and \(y'=b\cos t\). Thus the speed is \(\sqrt{a^2\sin^2t+b^2\cos^2t}\).
Because \(0\le t\le 2\pi\) traces the curve once, its length is the integral of that speed over the full interval.
The squared trigonometric functions repeat their values under reflection into each quadrant. Hence the full integral is four times the integral from \(0\) to \(\pi/2\).
Factoring out \(a\), using \(b^2=a^2(1-e^2)\), and replacing \(t\) by \(\pi/2-\theta\) yields \(4a\int_0^{\pi/2}\sqrt{1-e^2\sin^2\theta}\,d\theta=4aE(e^2)\).
This derivation justifies the formula for all \(a\ge b>0\). It does not require a separate assumption that the ellipse is a graph over the entire horizontal or vertical axis; the parametrization covers the complete closed curve.
Worked Examples
Worked Example: A Circle as a Special Ellipse
Find the circumference when both semiaxes are \(3\) units.
Here \(a=b=3\), so the eccentricity and elliptic-integral parameter are
From the definition,
Therefore,
As a check, a circle of radius \(3\) has circumference \(2\pi(3)=6\pi\) units, matching the result.
Worked Example: An Ellipse with Semiaxes 5 and 3
Set up the circumference and express it using a complete elliptic integral. Then give its numerical value to eight decimal places.
The longer semiaxis is \(a=5\) units and the shorter is \(b=3\) units. Thus
The exact special-function expression is
Numerical evaluation of the defining complete elliptic integral gives \(E(0.64)\approx1.27634994\). Therefore
Using the unrounded value \(E(0.64)\approx1.276349943169906\) gives \(C\approx25.52699886339812\), so the circumference to eight decimal places is \(25.52699886\) units. As a check, the quarter-ellipse integrand is between \(b=3\) and \(a=5\), so \(2\pi b\le C\le2\pi a\). Numerically, \(18.84956\le25.52699886\le31.41593\), as required.
Worked Example: Setting Up a More Elongated Ellipse
Find an exact elliptic-integral expression and an approximate circumference for semiaxes \(4\) units and \(2\) units.
First calculate the eccentricity and parameter:
Then the exact expression is
Numerical evaluation gives \(E(3/4)\approx1.21105603\), so
Using \(E(3/4)\approx1.211056027568459\), the circumference is approximately \(19.37689644\) units to eight decimal places. The bound \(2\pi b\le C\le2\pi a\) becomes \(4\pi\le C\le8\pi\), or approximately \(12.56637\le19.37689644\le25.13274\). The computed value lies within these bounds.
Why the General Answer Is Not Elementary
For a circle, \(e=0\), and the integrand defining \(E(0)\) is simply \(1\). For a noncircular ellipse, \(e>0\), and the square root \(\sqrt{1-e^2\sin^2\theta}\) varies through the interval of integration. Its antiderivative does not generally have an expression in elementary functions. The elliptic integral gives a precise standard name to this definite integral, rather than implying that the circumference is unknown or cannot be computed.
For an exact symbolic answer, \(4aE(e^2)\) is the natural form. For a decimal answer, the value of \(E(e^2)\) can be evaluated numerically. The later study of numerical integration develops methods for approximating such definite integrals; here, the main point is to identify the correct integral and its exact special-function representation.
Common Mistake: Treating an Ellipse as a Stretched Circle Formula
A tempting but incorrect approach is to use \(2\pi a\) as the ellipse’s circumference simply because \(a\) is the larger semiaxis. For the ellipse with semiaxes \(5\) and \(3\), this gives
This is not the circumference: it is the upper bound \(2\pi a\). The error is treating the maximum semiaxis as though it were the radius at every point. The speed is actually \(\sqrt{25\sin^2t+9\cos^2t}\), which varies with \(t\). The correct setup is
The two answers differ because the ellipse is not a circle. The circle formula applies exactly only when \(a=b\).
Check Your Understanding
Use the definitions and circumference formula to answer these questions.
- For an ellipse with \(a=6\) and \(b=4\), calculate the eccentricity \(e\) and the parameter \(m=e^2\).
- Why does the integral from \(0\) to \(\pi/2\) need to be multiplied by four to obtain the full circumference?
- Write the circumference of an ellipse with semiaxes \(a\ge b>0\) in terms of the complete elliptic integral of the second kind.
- What does the elliptic integral reduce to when \(a=b\), and what familiar circumference formula follows?
- For semiaxes \(a=7\) and \(b=5\), state a lower and an upper bound for the circumference using \(2\pi b\le C\le2\pi a\).