Kepler's Equation and Time of Flight

The conic-section solution of the Kepler problem answers where a planet can be — every point of an ellipse — but stays silent on the question a navigator actually asks: where is it now? Point a spacecraft at where Mars will be in seven months, and "the orbit is an ellipse" is useless without the timetable. The obstruction is Kepler's second law itself: the body sprints through perihelion and crawls past aphelion, so equal ticks of the clock sweep unequal angles, and no elementary formula gives angle as a function of time. Kepler's escape from this trap is one of the great tricks of mathematical physics. Project the moving body onto the circle that circumscribes its ellipse, and measure the projected point by an auxiliary angle EE — the eccentric anomaly. Then invent a second, fictitious angle MM — the mean anomaly — that by definition ticks uniformly, completing 2π2\pi per orbit. The equal-areas law then forces a single, exact, astonishingly compact relation between the two: M=E−esin⁡EM = E - e\sin E. That is Kepler's equation. Everything about timing on an orbit — ephemerides, transfer windows, time of flight between any two points — routes through it. There is a catch, and it is a famous one: the equation is transcendental. Given the clock reading MM, no finite formula returns EE; four centuries of mathematicians, from Lagrange to Bessel, sharpened their tools on this inversion. In practice the resolution is almost embarrassingly quick — Newton's iteration lands on machine precision in a handful of steps, and we will run one with real numbers. Master the chain t→M→E→ν→rt \to M \to E \to \nu \to r and you hold the actual working timetable of the Solar System.

Key takeaways
  • Kepler's equation M=E−esin⁡EM=E-e\sin E links the mean anomaly MM (a fictitious angle that grows linearly in time) to the eccentric anomaly EE (a geometric angle on the auxiliary circle), with the eccentricity ee as the only parameter.
  • M=n(t−tp)M=n(t-t_p), where the mean motion n=2π/T=κ/a3n=2\pi/T=\sqrt{\kappa/a^3} is the orbit's average angular rate and tpt_p the perihelion epoch.
  • The equation is exact but transcendental: given MM there is no closed-form EE, and one inverts numerically — Newton's iteration converges to machine precision in 3–4 steps for planetary eccentricities.
  • Once EE is known, position follows algebraically: r=a(1−ecos⁡E)r=a(1-e\cos E) and tan⁡(ν/2)=(1+e)/(1−e) tan⁡(E/2)\tan(\nu/2)=\sqrt{(1+e)/(1-e)}\,\tan(E/2).
  • The whole apparatus is Kepler's second law integrated: the swept area since perihelion is 12ab(E−esin⁡E)\tfrac12 ab(E-e\sin E), and equating area fraction to time fraction is the equation.
  • Key idea: the body sweeps area at a constant rate (Kepler's second law); expressing the area swept since perihelion in terms of the eccentric anomaly EE gives swept area =12ab(E−esin⁡E)=\tfrac12 ab(E-e\sin E), and equating the elapsed-time fraction to the area fraction yields M=n(t−tp)=E−esin⁡EM=n(t-t_p)=E-e\sin E.
The core insight

The body sweeps area at a constant rate (Kepler's second law); expressing the area swept since perihelion in terms of the eccentric anomaly EE gives the swept area =12ab(E−esin⁡E)=\tfrac{1}{2}ab(E - e\sin E), and equating the elapsed-time fraction to the area fraction yields M=n(t−tp)=E−esin⁡EM = n(t-t_p) = E - e\sin E.

Where this lives today

Kepler's equation is quietly one of the most-executed pieces of mathematics on (and off) Earth. Every orbit propagator — from the SGP4 code that advances the public satellite catalogue to the mission-design tools like GMAT used to plan interplanetary trajectories — has the M→E→νM\to E\to\nu chain in its inner loop, run millions of times a day for conjunction screening, ground-station scheduling, and manoeuvre planning. When a 2026 mission plan quotes a launch window to Mars or a comet flyby date, a Lambert time-of-flight solver has been iterating a universal-variable cousin of equation (2) underneath. The equation's busiest new career is around other stars. Fitting a radial-velocity curve or a transit-timing dataset to find an exoplanet means computing the star's or planet's true anomaly at every observation epoch for every trial orbit in an MCMC chain — easily 10910^9 Kepler solves per published planet. Entire papers still appear on faster solvers (non-iterative starters, CORDIC-like schemes, GPU batching), four hundred years after a blind-computing astronomer in Prague asked geometers to show him their skill.

The physical picture

Start with the construction that makes everything else possible. Circumscribe the orbital ellipse with a circle of radius aa, centred on the ellipse's centre (not the focus). The ellipse is exactly this circle squashed vertically by the factor b/ab/a. Now take the body's actual position PP and push it straight up (or down) onto the circle: the resulting point P′P' sits at some angle EE from the centre. That is the eccentric anomaly — an honest geometric angle, but belonging to a shadow point on a shadow circle, not to the body itself:

Figure
The auxiliary circle — one body, two angles, measured from two different centres
E ν projected point on circle body centre focus (Sun) perihelion auxiliary circle, radius a orbit, the circle squashed by b/a

Keep the two pivots straight, because the figure is deliberately showing you a trap: EE opens at the centre of the ellipse and points at the projected shadow P′P'; the true anomaly ν\nu opens at the focus and points at the actual body. They agree only at perihelion and aphelion, where centre, focus, and body line up. Why bother with the shadow? Because areas on a squashed circle are easy. The vertical squash multiplies every area by the same factor b/ab/a, so any area you want on the ellipse can be computed on the circle — where it is just sectors and triangles — and rescaled. Kepler's second law says the focus-to-body wedge grows linearly in time; computing that wedge through the circle is what spits out the combination E−esin⁡EE-e\sin E and hands us the equation. The second picture to internalize is the race between the real planet and a fictitious "mean planet" that circles at perfectly constant rate. Here is one full orbit of an e=0.6e=0.6 ellipse, photographed at twelve equal ticks of the clock:

Figure
Twelve equal time steps around an e = 0.6 orbit — the clock is uniform, the motion is not
Sun perihelion, t = 0 aphelion, t = T/2 one step covers a huge arc here… …and barely moves here dots are equally spaced in time, T/12 apart — never in angle

The dots crowd around aphelion and fly apart near perihelion — same clock interval, wildly different arcs. The mean anomaly is simply the angle of an imaginary planet that spaces those dots evenly; the difference between the real planet's angle and the mean planet's angle, historically called the equation of centre, is the correction astronomers tabulated for two millennia before Kepler explained it. The real planet leads the mean one over the whole outbound half (perihelion to aphelion) and trails it coming home.

The cast of angles and the clock

First put the timetable on a firm footing. The only thing uniform about orbital motion is its long-run average, so define the mean motion as one full turn per period — and Kepler's third law immediately prices it in terms of the orbit's size:

M=n (t−tp),n=2πT=κa3(1)M=n\,(t-t_p),\qquad n=\frac{2\pi}{T}=\sqrt{\frac{\kappa}{a^{3}}} \qquad (1)

where: MM — mean anomaly, the angle of the fictitious uniformly-moving planet; nn — mean motion; tpt_p — time of perihelion passage; TT — period; aa — semi-major axis; κ=G(m1+m2)\kappa=G(m_1+m_2) — the gravitational parameter. This is pure bookkeeping — MM knows nothing about where the body actually is — but it is the only angle in the problem that is exactly linear in tt, which is why every catalogue and every propagator stores it. The centrepiece then connects this clock to the geometry. It looks too simple to be the answer, and yet it is exact:

M=E−esin⁡E(2)M = E - e\sin E \qquad (2)

where: EE — eccentric anomaly, the centre-pivoted angle of the projected point on the auxiliary circle; ee — eccentricity. Read the two terms physically: EE alone would be the answer if the Sun sat at the centre of the ellipse; the correction −esin⁡E-e\sin E is the price of the focus being offset by aeae. For a circle (e=0e=0) the correction dies and all anomalies coincide; as e→1e\to1 the correction grows until the equation becomes genuinely stiff to invert near perihelion. Once the transcendental step has delivered EE, everything downstream is elementary algebra. The radius comes first — and it is worth noticing what a gift this formula is:

r=a (1−ecos⁡E)(3)r = a\,(1 - e\cos E) \qquad (3)

where: rr — focal distance; the rest as above. No square roots, no quadrant headaches: the radius oscillates as a pure cosine in the variable EE between a(1−e)a(1-e) at perihelion (E=0E=0) and a(1+e)a(1+e) at aphelion (E=πE=\pi). The messy nonuniformity of the motion has been swept entirely into the relation between EE and tt. The final link converts the shadow angle into the honest one — the direction you could actually point a telescope:

tan⁡ν2=1+e1−e  tan⁡E2(4)\tan\frac{\nu}{2}=\sqrt{\frac{1+e}{1-e}}\;\tan\frac{E}{2} \qquad (4)

where: ν\nu — true anomaly, focus-pivoted; EE — eccentric anomaly, centre-pivoted. The half-angle form is the professional's choice because it is single-valued: ν/2\nu/2 and E/2E/2 always sit in the same quadrant, so there is no sign check to forget. The stretch factor (1+e)/(1−e)\sqrt{(1+e)/(1-e)} exceeds 1, encoding that ν\nu runs ahead of EE on the outbound leg — the focus is closer to perihelion than the centre is, so angles measured from it open faster. The chain, and which link answers which question:

you have → you wantusecharacter
clock time tt → MMM=n(t−tp)M=n(t-t_p)trivial, linear
MM → EEKepler's equation M=E−esin⁡EM=E-e\sin Etranscendental — iterate
EE → rrr=a(1−ecos⁡E)r=a(1-e\cos E)algebraic
EE → ν\nuhalf-angle relation (4)algebraic
ν\nu → rr (position only, no time)conic r=p/(1+ecos⁡ν)r=p/(1+e\cos\nu)algebraic
ν\nu or rr → timerun the chain backwards: ν→E→M→t\nu\to E\to M\to tall easy — no iteration needed

Notice the asymmetry advertised in the last row: time from position is closed-form all the way, while position from time costs one transcendental inversion. Time-of-flight problems are the easy direction.

Derivation AKeplers Equation from the Swept Area

The goal is equation (2), exactly, from nothing but geometry and the equal-areas law. The strategy is the one the physical picture set up: the focus-to-body wedge area on the ellipse is awkward to compute directly, so we compute the corresponding wedge on the auxiliary circle — where it decomposes into a circular sector minus a triangle — and then squash it back down by the uniform factor b/ab/a. Kepler's second law then converts area to time. Two things to watch: every area must be measured from perihelion around to the body, and the triangle we subtract has its apex at the focus, offset from the centre by aeae — that offset is the sole origin of the esin⁡Ee\sin E term.

Step 1. Set up the projection. Place the ellipse centre at the origin with perihelion on the +x+x axis; the focus sits at (ae,0)(ae,0). The body at eccentric anomaly EE has coordinates x=acos⁡Ex=a\cos E, y=bsin⁡Ey=b\sin E, while its projection onto the circle is (acos⁡E, asin⁡E)(a\cos E,\, a\sin E). Why: this parameterization is exactly what "squash the circle by b/ab/a" means — identical xx, vertical coordinate scaled.

Step 2. Compute the circular sector from perihelion to the projected point: Asector=12a2EA_{\text{sector}}=\tfrac12 a^2 E. Why: sectors of a circle are proportional to their central angle — the whole reason to route through the circle.

Step 3. Cut the sector down to a focal wedge by removing the triangle with vertices at the centre, the focus, and the projected point: its area is 12 (ae) (asin⁡E)\tfrac12\,(ae)\,(a\sin E), so Awedge=12a2(E−esin⁡E)A_{\text{wedge}}=\tfrac12 a^2(E-e\sin E). Why: the wedge we need pivots on the focus, not the centre; base aeae along the axis, height asin⁡Ea\sin E — and here, visibly, is where esin⁡Ee\sin E enters the story.

Step 4. Squash to the ellipse. The vertical compression multiplies all areas by b/ab/a, so the true swept area is A(E)=12ab (E−esin⁡E)A(E)=\tfrac12 ab\,(E-e\sin E). Why: an affine map scales every area by the same determinant — no exceptions, no integrals.

Step 5. Invoke the second law. The areal rate is constant at πab/T\pi ab/T (whole ellipse per period), so A(E)πab=t−tpT\dfrac{A(E)}{\pi ab}=\dfrac{t-t_p}{T}. Why: this is conservation of angular momentum wearing its geometric face — the only dynamics in the whole derivation.

Step 6. Clear the constants: E−esin⁡E=2π(t−tp)T=n(t−tp)=ME-e\sin E = \dfrac{2\pi(t-t_p)}{T}=n(t-t_p)=M. Why: the arbitrary-looking definition of MM in (1) was engineered precisely so this line comes out clean. *Two quick checks: at E=2πE=2\pi the equation gives M=2πM=2\pi, confirming one full period; differentiating gives E˙ (1−ecos⁡E)=n\dot E\,(1-e\cos E)=n, which reproduces rν˙r\dot\nu angular-momentum conservation.*

Go deeper · Derivation B · 1 minTrue Anomaly from Eccentric Anomaly
Derivation BTrue Anomaly from Eccentric Anomaly

The goal is the half-angle bridge (4) between the shadow angle EE and the physical angle ν\nu. The strategy is coordinate bookkeeping: write the body's Cartesian position relative to the focus in both languages and equate. The subtlety worth watching is quadrant safety — the intermediate formulas for cos⁡ν\cos\nu and sin⁡ν\sin\nu are individually fine, but the final half-angle form is what makes the relation single-valued and code-safe, which is why it is the version everyone ships.

Step 1. Write the focus-relative coordinates in terms of EE. From Step 1 of the previous derivation, subtracting the focus offset: xf=acos⁡E−ae=a(cos⁡E−e)x_f=a\cos E-ae=a(\cos E-e) and yf=bsin⁡E=a1−e2 sin⁡Ey_f=b\sin E=a\sqrt{1-e^2}\,\sin E. Why: ν\nu is defined at the focus, so the focus must become the origin before any angle is read off.

Step 2. Express the same point in polar form: xf=rcos⁡νx_f=r\cos\nu, yf=rsin⁡νy_f=r\sin\nu, with r=a(1−ecos⁡E)r=a(1-e\cos E) from (3). Dividing gives cos⁡ν=cos⁡E−e1−ecos⁡E\cos\nu=\dfrac{\cos E-e}{1-e\cos E} and sin⁡ν=1−e2 sin⁡E1−ecos⁡E\sin\nu=\dfrac{\sqrt{1-e^2}\,\sin E}{1-e\cos E}. Why: these two already solve the problem in principle — the rest is packaging them into a form with no quadrant ambiguity.

Step 3. Form the half-angle tangent using tan⁡ν2=sin⁡ν1+cos⁡ν\tan\dfrac{\nu}{2}=\dfrac{\sin\nu}{1+\cos\nu}. The denominators combine: 1+cos⁡ν=(1−e)(1+cos⁡E)1−ecos⁡E1+\cos\nu=\dfrac{(1-e)(1+\cos E)}{1-e\cos E}. Why: the identity trades a two-function description for one function of half the angle — and half-angles of ν\nu and EE live in the same quadrant, killing the sign problem.

Step 4. Divide and simplify: tan⁡ν2=1−e2 sin⁡E(1−e)(1+cos⁡E)=1+e1−e⋅sin⁡E1+cos⁡E=1+e1−e tan⁡E2\tan\dfrac{\nu}{2}=\dfrac{\sqrt{1-e^2}\,\sin E}{(1-e)(1+\cos E)}=\sqrt{\dfrac{1+e}{1-e}}\cdot\dfrac{\sin E}{1+\cos E}=\sqrt{\dfrac{1+e}{1-e}}\,\tan\dfrac{E}{2}. Why: 1−e2=(1−e)(1+e)\sqrt{1-e^2}=\sqrt{(1-e)(1+e)} splits the eccentricity factors, and the remaining trig ratio is the half-angle tangent of EE itself. *Two limiting checks: at E=0E=0 and E=πE=\pi both sides give ν=0\nu=0 and ν=π\nu=\pi — the anomalies agree at the apsides, as they must; for e=0e=0 the relation collapses to ν=E\nu=E.*

Solving it: Newton's iteration and the classical series

Given tonight's MM, how do you actually extract EE? The workhorse is Newton's method applied to f(E)=E−esin⁡E−Mf(E)=E-e\sin E-M. Each step fits a tangent line to ff and slides to its root:

Ek+1=Ek−Ek−esin⁡Ek−M1−ecos⁡Ek(5)E_{k+1}=E_k-\frac{E_k-e\sin E_k-M}{1-e\cos E_k} \qquad (5)

where: EkE_k — the kk-th iterate; the denominator is f′(E)=1−ecos⁡Ef'(E)=1-e\cos E, which for an ellipse is trapped between 1−e1-e and 1+e1+e and never vanishes. A good starting guess is E0=M+esin⁡ME_0=M+e\sin M (the first-order inversion). Convergence is quadratic — the number of correct digits roughly doubles per step — so planetary problems finish in three or four iterations, as the worked example below shows with live numbers. Only in the corner e→1e\to1 with MM near zero does f′→1−ef'\to1-e get small and the method grow cautious; specialized starters (Mikkola's, Markley's) exist for exactly that corner. Before computers, the same inversion was done once and for all as a series. Lagrange, and later Bessel, expanded the solution in powers of ee and in a Fourier series in MM respectively:

E=M+∑k=1∞2k Jk(ke) sin⁡(kM)(6)E = M + \sum_{k=1}^{\infty}\frac{2}{k}\,J_k(ke)\,\sin(kM) \qquad (6)

where: JkJ_k — Bessel function of the first kind of order kk, functions invented for this problem. The low-order terms read E≈M+esin⁡M+12e2sin⁡2ME\approx M+e\sin M+\tfrac12 e^2\sin 2M, and combining with (4) gives the classical equation of centre ν−M≈2esin⁡M+54e2sin⁡2M\nu-M\approx 2e\sin M+\tfrac54 e^2\sin 2M. The series carries a famous health warning: it converges only for e<0.6627434…e<0.6627434\ldots, the Laplace limit — one of the first radius-of-convergence results in mathematical physics. Newton's iteration has no such ceiling, which is why the series is now a beautiful antique and (5) is the production tool.

Go deeper · Derivation C · 1 minInverting the Equation for Small Eccentricity
Derivation CInverting the Equation for Small Eccentricity

The goal is the perturbative inversion E(M)E(M) — the first terms of the series (6) — and its payoff, the equation of centre that measures how far the true planet runs ahead of the mean one. The strategy is bootstrap iteration: rewrite Kepler's equation as E=M+esin⁡EE=M+e\sin E, treat ee as small, and feed the equation its own output, keeping consistent orders in ee at each pass. Watch a classic perturbation-theory subtlety: to get EE correct at order e2e^2 you must expand sin⁡(M+esin⁡M)\sin(M+e\sin M), not just evaluate sin⁡\sin at the old iterate — dropping the cross term silently loses the 12e2sin⁡2M\tfrac12 e^2\sin 2M coefficient.

Step 1. Zeroth pass: at e=0e=0, the equation reads M=EM=E, so E(0)=ME^{(0)}=M. Why: a circular orbit is uniform — all anomalies are literally the same angle, the natural seed.

Step 2. First pass: insert E(0)E^{(0)} on the right of E=M+esin⁡EE=M+e\sin E to get E(1)=M+esin⁡ME^{(1)}=M+e\sin M. Why: the error committed is the difference between sin⁡E\sin E and sin⁡M\sin M, which is itself of order ee — so this iterate is correct through order e1e^1.

Step 3. Second pass: E(2)=M+esin⁡(M+esin⁡M)=M+esin⁡M+e2sin⁡Mcos⁡M+O(e3)E^{(2)}=M+e\sin(M+e\sin M)=M+e\sin M+e^2\sin M\cos M+O(e^3), and with sin⁡Mcos⁡M=12sin⁡2M\sin M\cos M=\tfrac12\sin 2M: E=M+esin⁡M+12e2sin⁡2M+O(e3)E=M+e\sin M+\tfrac12 e^2\sin 2M+O(e^3). Why: the Taylor expansion of the nested sine is where the second-order term is born — this is the step that separates careful perturbation theory from wishful substitution.

Step 4. Convert to the true anomaly. Feeding this into the half-angle relation (4) and expanding again gives the equation of centre ν−M=2esin⁡M+54e2sin⁡2M+O(e3)\nu-M=2e\sin M+\tfrac54 e^2\sin 2M+O(e^3). Why: ν−M\nu-M is the observable — the angular gap between the real planet and the fictional mean planet, the correction pre-telescopic astronomy spent centuries tabulating. *As a check: for Earth (e=0.0167e=0.0167) the peak equation of centre is ≈2e=1.9°\approx2e=1.9° — the tabulated value, and the driver of the sundial's eccentricity correction.*

Limiting cases

CaseResultMeaning
Circular orbit, e→0e\to0M=E=ν=n(t−tp)M=E=\nu=n(t-t_p)All anomalies coincide; motion is uniform, no iteration ever needed.
Small ee (planets)E≈M+esin⁡M+12e2sin⁡2ME\approx M+e\sin M+\tfrac12e^2\sin2MTwo series terms beat arcsecond accuracy for e≲0.1e\lesssim0.1; Newton converges in 2–3 steps.
Parabolic orbit, e=1e=1Mp=12 ⁣(s+13s3)M_p=\tfrac12\!\left(s+\tfrac13s^3\right), s=tan⁡(ν/2)s=\tan(\nu/2)Barker's equation — a cubic, solvable exactly by Cardano; the elliptic machinery degenerates but the cubic saves the day.
Hyperbolic orbit, e>1e>1Mh=esinh⁡F−FM_h=e\sinh F-FSame structure with trig → hyperbolic; FF is the hyperbolic anomaly, used for every flyby and escape trajectory.
e→1−e\to1^-, M≈0M\approx0f′=1−ecos⁡E→1−ef'=1-e\cos E\to1-eNewton's denominator nearly vanishes near perihelion; use specialized starters (Mikkola, Markley) or universal variables.
Series at e>0.6627e>0.6627Bessel/Lagrange series divergesThe Laplace limit: an analyticity boundary, not a physical one — iteration sails through it untroubled.

Worked examples

1 · Mars, 100 days after perihelion (confidence builder — with a live Newton iteration)

Mars has a=1.5237 AUa=1.5237\ \mathrm{AU}, e=0.0934e=0.0934, T=686.98 daysT=686.98\ \mathrm{days}. Where is it 100 days after perihelion passage?

Step 1. The clock angle: n=2π/T=9.146×10−3 rad/dayn=2\pi/T=9.146\times10^{-3}\ \mathrm{rad/day}, so M=n Δt=0.9146 radM=n\,\Delta t=0.9146\ \mathrm{rad} (52.40°52.40°).

Step 2. Seed the iteration with the first-order inversion: E0=M+esin⁡M=0.9146+0.0934×0.7924=0.98861 radE_0=M+e\sin M=0.9146+0.0934\times0.7924=0.98861\ \mathrm{rad}.

Step 3. First Newton step. Residual: f(E0)=E0−esin⁡E0−M=0.98861−0.0934×0.83505−0.9146=−4.01×10−3f(E_0)=E_0-e\sin E_0-M=0.98861-0.0934\times0.83505-0.9146=-4.01\times10^{-3}. Slope: f′(E0)=1−ecos⁡E0=1−0.0934×0.55020=0.94864f'(E_0)=1-e\cos E_0=1-0.0934\times0.55020=0.94864. Update: E1=E0−(−4.01×10−3)/0.94864=0.99284 radE_1=E_0-(-4.01\times10^{-3})/0.94864=0.99284\ \mathrm{rad}.

Step 4. Second Newton step: f(E1)=+7.0×10−7f(E_1)=+7.0\times10^{-7}, giving E2=0.99283968E_2=0.99283968 — the residual after this step is 2×10−142\times10^{-14}, machine precision. Two steps took the error from 10−310^{-3} to 10−710^{-7} to 10−1410^{-14}: the promised doubling of correct digits, live. E=0.99284 rad=56.89°\boxed{E=0.99284\ \mathrm{rad}=56.89°}.

Step 5. Radius from (3): r=a(1−ecos⁡E)=1.5237×(1−0.0934×0.5463)=1.446 AUr=a(1-e\cos E)=1.5237\times(1-0.0934\times0.5463)=\boxed{1.446\ \mathrm{AU}}.

Step 6. Direction from (4): tan⁡(ν/2)=1.0934/0.9066 tan⁡(0.49642)=1.0982×0.54126=0.59442\tan(\nu/2)=\sqrt{1.0934/0.9066}\,\tan(0.49642)=1.0982\times0.54126=0.59442, so ν=2arctan⁡(0.59442)=61.49°\nu=2\arctan(0.59442)=\boxed{61.49°}. Sanity check against the equation of centre: ν−M=61.49°−52.40°=9.09°\nu-M=61.49°-52.40°=9.09°, while the first-order estimate 2esin⁡M2e\sin M predicts 8.48°8.48° — right size, with the residual 0.6°0.6° being the honest O(e2)O(e^2) correction for Mars's not-so-small eccentricity.

2 · How long does Halley spend inside Earth's orbit? (exam level)

Halley's comet has a=17.8 AUa=17.8\ \mathrm{AU}, e=0.967e=0.967, T=75.3 yrT=75.3\ \mathrm{yr}. For how much total time per apparition is it closer to the Sun than 1 AU1\ \mathrm{AU} — the window when it is bright and observable?

Step 1. Strategy: this is time from position — the easy direction of the chain, no iteration required. Find the eccentric anomaly at which r=1 AUr=1\ \mathrm{AU}, convert to MM, convert to time, and double it (inbound leg plus outbound leg are symmetric about perihelion).

Step 2. Invert the radius formula (3): cos⁡E=1−r/ae=1−1/17.80.967=0.943820.967=0.97603\cos E=\dfrac{1-r/a}{e}=\dfrac{1-1/17.8}{0.967}=\dfrac{0.94382}{0.967}=0.97603, so E=0.21940 rad=12.57°E=0.21940\ \mathrm{rad}=12.57°. Small — the comet crosses 1 AU when only a sliver of the auxiliary circle has been swept.

Step 3. Kepler's equation, run forward (the trivial direction): M=E−esin⁡E=0.21940−0.967×0.21764=0.008938 radM=E-e\sin E=0.21940-0.967\times0.21764=0.008938\ \mathrm{rad}. Note the brutal cancellation: EE is 0.2190.219 but MM is 0.00890.0089 — near perihelion of a near-parabolic orbit, swept area accumulates far slower than the angle.

Step 4. Convert to time: t=Mn=M T2π=0.008938×75.32π=0.1071 yr=39.1 dayst=\dfrac{M}{n}=\dfrac{M\,T}{2\pi}=\dfrac{0.008938\times75.3}{2\pi}=0.1071\ \mathrm{yr}=39.1\ \mathrm{days} from the 1 AU crossing to perihelion.

Step 5. Double for the full transit: 78 days\boxed{78\ \mathrm{days}} — out of a 75.3-year period, Halley spends about eleven weeks inside Earth's orbit, a fraction 2t/T≈0.28%2t/T\approx0.28\%. That is why an apparition is a fleeting spectacle: the equation of time-of-flight concentrates essentially the entire orbit's drama into a sliver of its calendar.

Step 6. Cross-check with the true anomaly: at the crossing, (4) gives ν=2arctan⁡ ⁣(1.9670.033tan⁡(0.1097))=80.8°\nu=2\arctan\!\left(\sqrt{\frac{1.967}{0.033}}\tan(0.1097)\right)=80.8° — the comet is already 81°81° around its orbit in angle when only 0.14%0.14\% of the period has elapsed. Angle-fast, time-slow: the whole article in one number pair.

Origins · 1 minJohannes Kepler and how this was discovered
JK
Johannes Kepler
1571–1630 · Prague

Kepler met this equation the hard way: having wrestled the ellipse out of Tycho Brahe's Mars data, he still had to deliver what astronomy actually pays for — positions at given dates. In Astronomia Nova (1609) he introduced the mean and eccentric anomalies and the relation M=E−esin⁡EM=E-e\sin E, then confessed in print that he could not invert it: "I am satisfied that it cannot be solved a priori… let geometers show me their skill." Four centuries of geometers took up the challenge — Newton, Lagrange, Bessel among them — and the problem seeded genuinely new mathematics, from the Lagrange inversion theorem to Bessel functions. Kepler himself, undaunted, solved it numerically by trial and interpolation, planet by planet, date by date — the first person ever to iterate his way around an ellipse.

History
1609
— Astronomia Nova: Kepler states the equation and the anomaly framework, and declares the inversion beyond closed form.
1687
— Newton's Principia proves the area law from dynamics, turning Kepler's geometric bookkeeping into a theorem.
1770
— Lagrange develops the series inversion of the equation, a root of his general inversion theorem.
1824
— Bessel introduces the functions bearing his name to expand the solution as a Fourier series in the mean anomaly.
1968
— Universal-variable formulations unify elliptic, parabolic and hyperbolic flight time for the spaceflight era.

Going further

References. Goldstein, Poole & Safko, Classical Mechanics (3rd ed.), Sec. 3.8 and Appendix on Bessel-function expansion · Morin, Introduction to Classical Mechanics, Ch. 7 (Central Forces) · Landau & Lifshitz, Mechanics (3rd ed.), Vol. 1, Sec. 15, Problem on time dependence · Taylor, Classical Mechanics, Ch. 8 · Murray & Dermott, Solar System Dynamics, Ch. 2 Key numerical anchors: the Laplace convergence limit of the Bessel/Lagrange series is e=0.6627434e=0.6627434; the equation-of-centre coefficients are 2e2e and 54e2\tfrac54 e^2; Earth's eccentricity e=0.0167e=0.0167 gives an equation-of-centre amplitude ≈1.9∘\approx 1.9^\circ. Worked-example results: Mars at Δt=100\Delta t=100 d gives M=0.9146M=0.9146, E=0.99284E=0.99284 (Newton, 2 steps), r=1.446r=1.446 AU, ν=61.5°\nu=61.5°; Halley (a=17.8a=17.8 AU, e=0.967e=0.967, T=75.3T=75.3 yr) crosses r=1r=1 AU at E=12.57°E=12.57°, M=0.008938M=0.008938, t=39.1t=39.1 d, total transit 7878 d.

Builds on: The Kepler Problem · Kepler's First Law: Elliptical Orbits · Kepler's Second Law: Equal Areas · Kepler's Third Law: Period-Semimajor Relation · Angular Momentum Conservation in Central Fields Leads to: Conic-Section Orbits · The Two-Body Problem and Reduced Mass

Why invent the mean anomaly at all instead of just working with the true anomaly?

Because something has to be linear in time, and nature declined to provide it. Every physical angle on an eccentric orbit accelerates and decelerates — tabulating ν(t)\nu(t) directly would mean a fresh table for every orbit and every epoch. MM is the engineered compromise: define an angle by fiat to grow uniformly, and compress all the nonuniformity into one universal, dimensionless relation M=E−esin⁡EM=E-e\sin E depending only on ee. The payoff is enormous in practice: advancing an orbit by any time step is one multiplication (M+=n ΔtM\mathrel{+}=n\,\Delta t), and the hard part is solved once, by a solver that works identically for every ellipse in the universe.

Is the eccentric anomaly the position of anything real?

Not of the body, no. EE is the angle — measured at the ellipse's centre — of a phantom point: the body's position projected vertically onto the circumscribing circle. Nothing physical sits there. Its value is purely instrumental, and threefold: areas on the circle are computable (giving Kepler's equation), the radius collapses to the clean r=a(1−ecos⁡E)r=a(1-e\cos E), and it bridges halfway between the clock angle MM and the physical angle ν\nu. Think of EE as the honest broker of the anomaly chain: geometric enough to touch the ellipse, tame enough to reach from the clock.

Why does squashing the circle into the ellipse multiply every area by the same factor?

Because the squash is an affine map: (x,y)↦(x, (b/a)y)(x,y)\mapsto(x,\,(b/a)y) scales every vertical strip of any region by exactly b/ab/a while leaving widths alone, so integrating strips scales any area by b/ab/a — triangles, sectors, wedges, no exceptions. This uniform-scaling property is why the derivation routes through the auxiliary circle at all: focal wedges of an ellipse are painful to integrate directly, but their circular preimages are a sector minus a triangle, and the affine factor converts one answer into the other for free. The same trick proves the ellipse's total area πab\pi ab from the circle's πa2\pi a^2 in one line.

If Newton's method solves it in four steps, why did anyone need Bessel functions?

Context: before electronic computation, "solve it numerically tonight" meant hand arithmetic for every date, every planet. A series solution is solved once: tabulate the coefficients, and each new date costs only evaluating a few sines. Bessel's Fourier-in-MM expansion was precisely that industrial tool, and the equation of centre truncation ran practical astronomy for generations. The series' failure beyond the Laplace limit e=0.6627e=0.6627 was a genuine discovery about complex analyticity — one of the earliest radius-of-convergence results with a physical face. Today the roles have reversed: iteration is cheap and unconditional, and the series survives as insight — the leading terms are still the fastest mental estimate of where a planet runs ahead of its mean position.

What happens to Kepler's equation for a parabolic comet with e exactly 1?

The elliptic machinery degenerates — a→∞a\to\infty, n→0n\to0, EE becomes ill-defined — but the time-of-flight problem still has an exact answer, and a nicer one. Parameterizing by s=tan⁡(ν/2)s=\tan(\nu/2), the swept-area computation yields Barker's equation, Mp=12(s+13s3)M_p=\tfrac12(s+\tfrac13 s^3): a cubic, solvable in closed form by Cardano's formula. It is the one eccentricity where the transcendence genuinely disappears. Real near-parabolic comets (e=0.9999…e=0.9999\ldots) are handled either by Barker plus corrections or by universal variables, the formulation that interpolates smoothly across e=1e=1 so a single code path serves ellipse, parabola and hyperbola.

Why is finding the time between two orbit points easy, but finding the orbit between two points and a time hard?

Time between two known points on a known orbit is the friendly direction of the chain run twice: ν→E→M\nu\to E\to M at each endpoint (all closed-form), subtract, divide by nn — exactly the Halley worked example. The hard problem is when the orbit itself is unknown: given two position vectors and a required flight time, find the connecting conic. That is Lambert's problem, the core of trajectory design, and it is hard because the unknown (aa, or a universal variable) sits inside the transcendental time-of-flight function — so you iterate on the orbit, solving a Kepler-type equation at every trial. Every porkchop plot in mission design is thousands of Lambert solves coloured by fuel cost.

Does the equation of centre have anything to do with sundials being wrong?

Directly. A sundial reads the true Sun; a clock keeps the mean Sun — the same fiction as the mean anomaly, applied to Earth's orbit. Their disagreement, the equation of time, has two comparable ingredients: the obliquity of Earth's axis, and precisely this article's equation of centre from Earth's e=0.0167e=0.0167, contributing a ±1.9°\pm1.9° wobble in the Sun's along-ecliptic position — about ±7.7\pm7.7 minutes of time. Combined with the obliquity term the total swings roughly +14+14 to −16-16 minutes through the year, which is why a perfect sundial reads "wrong" by up to a quarter hour in November. Four-century-old celestial mechanics, visible on a garden ornament.

How do I run the chain when I know the position and want the launch epoch?

Backwards — and enjoy that every step is closed-form. From the position get the true anomaly ν\nu (via the conic equation or directly from geometry). Convert to the eccentric anomaly with the inverted half-angle relation tan⁡(E/2)=(1−e)/(1+e) tan⁡(ν/2)\tan(E/2)=\sqrt{(1-e)/(1+e)}\,\tan(\nu/2) — same quadrant, no ambiguity. Then Kepler's equation runs in its trivial direction, M=E−esin⁡EM=E-e\sin E (just evaluate, never invert), and finally t=tp+M/nt=t_p+M/n. One care point: EE and MM come out in (−π,π](-\pi,\pi]; add 2π2\pi per completed revolution if the body has lapped since tpt_p, or you will compute an epoch one orbit early — a classic off-by-one in homework and in flight software alike.

Before this

Where this leads