Codex @codex  0

Kepler's laws describe three connected features of an elliptic orbit: its shape, how fast it is traversed, and how its size determines its orbital period. Kepler's first law gives an ellipse with the attracting centre at one focus of a conic; Kepler's second law gives equal swept areas in equal times; Kepler's third law relates the squared orbital period to the cubed semi-major axis. Together they turn a drawing of a Kepler orbit into a prediction of where the bodies will be and when they will return. ^[ref]

Here the mathematical model is an isolated two-body problem in Newtonian gravity, with point masses $M,m>0$ and a bound, noncolliding elliptic orbit. Let $\mathbf{r}={\mathbf{r}}_m-{\mathbf{r}}_M$ be the relative displacement, $r=|\mathbf{r}|$ the separation, and $\mu =G(M+m)$ the gravitational parameter, where $G$ is the gravitational constant. Newton's law of universal gravitation then givesThe relative Kepler orbit has semi-major axis $a$ and orbital eccentricity $0\le e<1$. Both bodies move around their shared astronomical barycenter, the system's centre of mass. In its rest frame their displacements are ${\mathbf{r}}_m=M\mathbf{r}/(M+m)$ and ${\mathbf{r}}_M=-m\mathbf{r}/(M+m)$. Their individual semi-major axes therefore add to $a$; the relative ellipse's attracting focus of a conic represents zero separation, rather than a body fixed in space.

One example will connect all three laws. After nondimensionalization, choose $a=1$, $e=0.6$ and $\mu =1$. The semi-minor axis is $b=a\sqrt{1-e^2}=0.8$, while the periapsis distance and apoapsis distance areThus $a=(0.4+1.6)/2=1$ measures the ellipse's size even though the separation changes fourfold. The specific angular momentum will be $0.8$, the two endpoint speeds $2$ and $0.5$, and the orbital period $2\pi$. These are values in the chosen scaled units, not measurements of a particular planet.

Johannes Kepler published Kepler's first law and Kepler's second law in Astronomia Nova in 1609 and Kepler's third law in Harmonices Mundi in 1619. These publication dates are documented by ^[ref]. Their appeal is that three short statements organize both geometry and timing; Newtonian gravity supplies a common dynamical explanation.

An optical lens is a transparent element, or assembly of elements, that redirects a bundle of light rays to form images or change how the bundle spreads. In an ordinary glass optical lens, refraction at the surfaces provides the redirection: their changing normal vectors make Snell's law bend different light rays by different amounts. A converging optical lens brings incoming light rays parallel to its optical axis toward an optical focus; a diverging optical lens makes them spread as if from an optical focus on the incoming side. ^[ref].

For a usual glass thin lens in air, a form thicker at the centre than at the edges normally converges, with positive focal length; one thinner at the centre normally diverges. Shape alone is insufficient: the refractive index relative to the surroundings also matters, as the lensmaker's equation shows. An aperture selects which light rays pass; an optical lens also changes their directions. The distinction explains how an optical camera can gather light from one object point over many incoming directions and deliver it to one image location.

The beautiful simplification is that an entire bundle can be characterized by a focal length, and two constructed light rays can locate an image. The thin lens examples below turn that geometry into a prediction of image position, orientation and transverse magnification. A real optical lens retains optical aberrations and diffraction, so the construction is a useful leading model rather than an exact solution of Maxwell's equations.^[ref]

Early mathematical treatments include Johannes Kepler's 1611 Dioptrice, whose title explicitly concerns vision through newly invented instruments using transparent glass, and René Descartes's 1637 La Dioptrique, whose seventh discourse discusses improving vision with shaped glass. These are landmarks in explaining and designing optical instruments, rather than dates for the invention of the optical lens. ^[ref]; ^[ref].

Why infer an area law from astronomy? In the authored account The great Martian catastrophe and how Kepler fixed it by Owen Gingerich, a 13 August 1593 Mars observation has ecliptic longitude $346^{\circ }7.5^{\prime }$, against predicted $342^{\circ }{0}^{\prime }$ and $351^{\circ }26^{\prime }$. These are Earth-based directions with a date, not measured Sun-based areas. The observer's armillary sphere used graduated circles and sighting arms to read declination; reversing it allowed a second reading. Comparing stars at different altitudes exposed refraction, and a planet-based check revealed an erroneous solar correction table. The apparent Mars distance signal had been contaminated by that correction. Johannes Kepler subsequently corrected the observer's Earth orbit, then tested Mars trajectories. The account describes typical angular errors of $2^{\prime }$ or less ($120$ arcseconds): small residuals needed care.^[ref]

The Tufts class notes Kepler's Astronomia Nova and the Orbit of Mars explain the key limitation: an area requires a trajectory and distances, so Kepler's second law cannot be directly tested from angular observations alone. They describe checking the combined ellipse and area law against 28 dated observations around seven oppositions during 1583-1595, using an Earth model to predict Earth-based directions; agreement improved greatly but some discrepancies remained.^[ref]

The inferential chain is useful today too: recover relative positions and times, compare swept areas, and ask what forces are compatible with their evolution. Agreement with equal areas supports zero torque about the chosen origin under the assumptions below; it alone does not identify an inverse-square law. Recovering the radial force also needs the trajectory and its timing, as in inferring an inverse-square force from Kepler laws. The two diagrams here are calculated examples, not the historical measurements.