Get AI summaries of any video or article — Sign up free
Why is pi here?  And why is it squared?  A geometric answer to the Basel problem thumbnail

Why is pi here? And why is it squared? A geometric answer to the Basel problem

3Blue1Brown·
5 min read

Based on 3Blue1Brown's video on YouTube. If you like this content, support the original creators by watching, liking and subscribing to their content.

TL;DR

Reinterpret Σ 1/n² as total brightness from an infinite set of lighthouses using the inverse-square law, where brightness scales like 1/n².

Briefing

A classic infinite series—adding the reciprocals of the squares of integers—ends up equal to a multiple of π², and the surprising part is not just the value but why π shows up at all. The “Basel problem” asks what the sum 1 + 1/4 + 1/9 + 1/16 + … approaches. After about 90 years, Leonhard Euler found it equals π²/6. The geometric proof here keeps the same destination but reaches it through circles, angles, and an inverse-square law for light.

The argument begins by translating the series into a physical picture. Imagine an observer at the origin looking at a line of identical lighthouses placed at every positive integer distance. Because light spreads out in three dimensions, brightness falls by the inverse-square law: a lighthouse twice as far away looks four times dimmer, three times as far looks nine times dimmer, and so on. That makes the observer’s total brightness proportional to the sum of 1/n². So the goal becomes showing that the total brightness from an infinite evenly spaced line of lighthouses matches π²/6 times the brightness of the first lighthouse.

Progress comes from a geometric “rearrangement” trick: replacing one lighthouse by two others without changing the observer’s total received brightness. The key relation is an inverse version of the Pythagorean theorem: if a right triangle has legs a and b and hypotenuse h, then 1/a² + 1/b² = 1/h². In the light model, that means a lighthouse at distance h can be traded for two lighthouses at distances a and b along perpendicular directions, with the observer receiving the same total brightness. The proof of this relation is tied to how rays hit a tiny screen: in the limiting case of an infinitesimal screen, the same set of rays corresponds to the same received energy.

With that tool, the construction moves onto a circle. Start with a small circle whose circumference is 2, place a lighthouse opposite the observer, and note that the brightness corresponds to π²/4. Then repeatedly double the circle’s size and replace each lighthouse by two new ones placed where a diameter through the circle’s top meets the larger circle. Right angles created by the diameter ensure the inverse Pythagorean theorem applies at every step, so brightness stays constant. Meanwhile, circle geometry (notably the inscribed angle theorem) forces the new lighthouses to land evenly around the circumference, with fixed spacing. In the limit—circles growing without bound—the setup becomes an infinite line of lighthouses spaced evenly in both directions, yielding the sum of reciprocals of odd squares: Σ_{k odd} 1/k² = π²/4.

Finally, the proof adjusts from “odd-only” to “all integers.” The odd-square sum is π²/8 for positive odds, and comparing even and odd contributions shows that including all integers multiplies the odd-only result by 4/3. That converts π²/8 into π²/6, delivering the Basel answer while making π’s appearance feel geometric rather than mysterious.

Cornell Notes

The Basel problem asks for the limit of 1 + 1/4 + 1/9 + 1/16 + …, which equals π²/6. The proof here reinterprets the series using an inverse-square law for light: brightness from a lighthouse at distance n is proportional to 1/n². A geometric identity—1/a² + 1/b² = 1/h² for a right triangle—lets one replace a single lighthouse by two others without changing the observer’s total brightness. Iterating this replacement around expanding circles turns a line of lighthouses into a limit configuration that yields the odd-square sum π²/4, then a scaling argument converts it to the full Basel sum π²/6.

How does the inverse-square law translate the Basel series into a brightness problem?

If an observer is a distance n from a lighthouse, the rays spread over an area that grows like n². To receive the same total energy, the brightness per unit screen area drops by 1/n². So an infinite array of lighthouses at integer distances produces total brightness proportional to Σ 1/n², matching the Basel series term-by-term.

What is the inverse Pythagorean theorem, and why does it preserve brightness?

For a right triangle with legs a and b and hypotenuse h, the identity 1/a² + 1/b² = 1/h² holds. In the light model, a lighthouse at distance h contributes brightness proportional to 1/h². Replacing it with two lighthouses placed so the observer is at distances a and b makes the observer receive 1/a² + 1/b², which equals the original 1/h². The construction relies on right angles so the geometry matches the triangle.

Why do circles and right angles keep showing up in the construction?

Each step doubles the circle’s size and uses a diameter through a fixed point (the “top” of the smaller circle). Geometry guarantees that any triangle formed with a diameter has a right angle at the point on the circle. Those right angles are exactly what’s needed to apply the inverse Pythagorean theorem, ensuring brightness stays unchanged as lighthouses are replaced.

How does the inscribed angle theorem force the lighthouses to be evenly spaced?

When two adjacent lighthouses on the smaller circle are connected to the center, they form a 90° angle. For a point on the circumference, the inscribed angle theorem says the angle subtended is half the corresponding central angle. Choosing the new points at the top of the growing circles makes the central angles split into equal 45° pieces, so the new lighthouses land uniformly around the circumference with equal spacing.

How does the proof move from the odd-square sum to the full Basel sum?

The circle limit yields the sum over odd integers: Σ_{n odd} 1/n² = π²/4 (including both positive and negative odds). Restricting to positive odds gives π²/8. Even terms form a scaled copy of the full series: 1/(2k)² = (1/4)(1/k²), so the even contribution is one quarter of the full sum. Since (odds + evens) = full, odds = (3/4)·full, meaning full = (4/3)·odds. Thus π²/6 = (4/3)(π²/8).

Review Questions

  1. In the light-and-screen model, what role does the “tiny screen” (limiting case) play in justifying the inverse Pythagorean theorem?
  2. During the circle-doubling process, which specific geometric facts guarantee that brightness is preserved at every replacement step?
  3. Why does comparing even and odd terms lead to a multiplicative factor of 4/3 when converting from the odd-square sum to the full Basel sum?

Key Points

  1. 1

    Reinterpret Σ 1/n² as total brightness from an infinite set of lighthouses using the inverse-square law, where brightness scales like 1/n².

  2. 2

    Use the inverse Pythagorean theorem 1/a² + 1/b² = 1/h² to replace one lighthouse by two at perpendicular geometric positions without changing received brightness.

  3. 3

    Construct an iterative circle-doubling scheme where diameters create right angles, enabling repeated application of the inverse Pythagorean theorem.

  4. 4

    Circle geometry ensures the replaced lighthouses remain evenly spaced via the inscribed angle theorem, so the limit configuration becomes an infinite evenly spaced line.

  5. 5

    The circle limit yields the odd-square sum (π²/4 when including both signs, π²/8 for positive odds).

  6. 6

    Relate even terms to the full series by scaling distances by 2, which introduces a factor of 1/4 and leads to multiplying the odd-only result by 4/3.

  7. 7

    Combining these steps produces the Basel value π²/6.

Highlights

The proof’s core move is trading one lighthouse at distance h for two lighthouses at distances a and b so that 1/h² = 1/a² + 1/b², preserving brightness.
Right angles created by circle diameters make the inverse Pythagorean theorem apply repeatedly as circles expand.
In the limit, the construction turns a geometric circle process into an infinite evenly spaced line, yielding the odd-square sum.
A simple scaling argument converts the odd-only result into the full Basel sum, landing on π²/6.

Topics

  • Basel Problem
  • Inverse Square Law
  • Inverse Pythagorean Theorem
  • Geometric Proof
  • Pi and Circles

Mentioned