Mass bends the path light takes
General relativity replaces Newton's gravitational force with curved spacetime: mass tells spacetime how to bend, and light — which always travels the locally straightest possible path, a geodesic — bends along with it. A photon passing a mass M at impact parameter b is deflected by an angle that Einstein worked out in 1915:
α = 4GM / (c² b) G = gravitational constant, M = lensing mass c = speed of light, b = closest approach distance
That factor of 4 rather than 2 was the decisive test: Newtonian light-as-a-particle reasoning predicts half this deflection, and Eddington's 1919 solar-eclipse expedition measured the larger, relativistic value, turning general relativity from an elegant equation into a confirmed theory overnight.
From one bent ray to a lens equation
A real lensing system has a background source, a foreground mass, and an observer, generally not perfectly aligned. The geometry maps a true source position β to an apparent image position θ through the lens equation:
β = θ - (Dls / Ds) · α(θ) Dls = distance lens→source, Ds = distance observer→source α(θ) = deflection angle at apparent position θ
Because α(θ) itself depends on θ, this equation can have multiple solutions — multiple values of θ that map to the same β. That is exactly why a single background quasar can appear as two, four, or (with a messier lens) even more separate images on the sky, all real light from the same one source, bent along different paths around the foreground mass.
The Einstein ring
When source, lens and observer line up perfectly, the symmetry of the problem produces a full ring of light circling the lensing mass — the Einstein ring — with an angular radius set entirely by the lens mass and the two distances:
θE = √( 4GM/c² · Dls / (Dl · Ds) ) Dl = distance observer→lens
Any misalignment breaks the ring into discrete arcs or point images, but θE still sets the characteristic scale of the whole lensing pattern — it is the single number astronomers solve for first when modelling a new lens, because it converts directly into an estimate of the lensing mass.
Strong, weak, and micro
Strong lensing — multiple images, arcs, full rings — happens close to a massive lens like a galaxy cluster and reveals its mass distribution directly, including the dark matter that outweighs the visible galaxies inside it several times over. Weak lensing is the same physics acting more gently across the whole sky: distant galaxies get subtly stretched and aligned by intervening large-scale structure, and statistically averaging millions of these tiny distortions maps the cosmic matter distribution, dark matter included, without needing a single dramatic ring. Microlensing uses a much smaller, closer mass (a star, a rogue planet) that briefly magnifies a background star's light as it drifts across the line of sight — no ring is resolvable, but the characteristic brightening-and-fading light curve is how astronomers have found free-floating planets and constrained how much of the Milky Way's dark matter could be ordinary compact objects.
Why this matters for dark matter
Lensing measures total gravitating mass directly from the bending of light, with no assumption about whether that mass shines. Comparing the lensing mass map of a cluster to the map of its visible, X-ray-emitting hot gas is one of the cleanest pieces of evidence for dark matter — most famously in the Bullet Cluster, where a collision stripped the hot gas (visible in X-rays) away from the dark matter (traced by lensing), leaving the two cleanly separated in space and settling the question in dark matter's favour over most modified-gravity alternatives.
Frequently asked questions
Why does light bend around a massive object at all?
In general relativity, mass curves spacetime itself, and light always follows the locally straightest path available, a geodesic. Near a large mass that straightest path is curved as seen from far away, which is what we observe as the light bending. It is not a force pulling on the photon; it is geometry.
Why can one quasar appear as multiple images?
The lens equation relating true source position to apparent image position is nonlinear once the foreground mass is close to the line of sight, and a nonlinear equation can have more than one solution. Each solution is a distinct path the light actually traveled around the lens, so each shows up as a separate image on the sky, all from the same background source.
What is the difference between an Einstein ring and a lensing arc?
They are the same phenomenon at different alignments. A perfect Einstein ring needs the source, lens and observer to line up almost exactly, which is rare. Any offset breaks the ring into separate arcs or point images, but the characteristic angular scale — the Einstein radius — still governs how far apart or how curved those arcs are.
Try it live
Everything above runs in your browser — open Gravitational Lensing and change the parameters while it is running. Nothing is installed, nothing is uploaded, the whole model lives in one tab.
▶ Open Gravitational Lensing simulation