๐Ÿงฎ Brain Teaser

Buffon's Needle and the Noodle Trick

A floor is ruled with parallel lines spaced dd apart. A needle of length โ„“โ‰คd\ell \le d is dropped at random. "At random" means two things. The distance from the needle's midpoint to the nearest line is uniform. The needle's angle is uniform and independent of that distance.

(a) Show that the probability that the needle crosses a line is P=2โ„“ฯ€d.P = \frac{2\ell}{\pi d}.

(b) Prove this without evaluating any integral. Use only linearity of expectation and one cleverly chosen shape.

(c) Suppose the needle is long, with โ„“>d\ell > d, or is bent into an arbitrary rigid wire ("noodle") of total length LL. What is the expected number of crossings?


Field: Probability / Geometric probability

Why it's interesting: Buffon's needle (1777) is the founding problem of geometric probability, and ฯ€\pi appears from dropping sticks. The standard proof is a two-line double integral. Barbier's 1860 "noodle" argument goes further. It shows that the answer is essentially forced by linearity of expectation together with the fact that a circle always crosses the lines exactly twice. As a bonus, it shows that the shape of the noodle does not matter at all.

Difficulty: 2 / 5

Source: Mosteller, Fifty Challenging Problems in Probability, Problem 53 ("Buffon's Needle"), with related Problems 54โ€“55. The noodle proof is due to J.-ร‰. Barbier (1860).

geometric probabilitylinearity of expectationBuffon's needleBarbierCauchy functional equationpi

Answer: Buffon's Needle and the Noodle Trick

Key Idea / Intuition

Count crossings instead of computing a probability. The expected number of crossings is additive: cut a wire into pieces and the expectations add, even though the pieces are highly dependent. So the expected count must be cโ‹…(length)c \cdot (\text{length}) for some universal constant cc, whatever the shape. Now drop a circle of diameter dd. It always meets the lines in exactly 2 points, and its length is ฯ€d\pi d. That forces c=2/(ฯ€d)c = 2/(\pi d). A short needle crosses at most once, so its expected crossing count equals its crossing probability.


Formal Proof / Solution

Setup. A rigid wire is "dropped at random" when it receives a uniform rotation and, independently, a translation whose component perpendicular to the lines is uniform modulo dd. For a straight needle, this is exactly the model in the problem. Let NN be the number of intersection points of the wire with the lines. Tangencies and other degenerate positions have probability 00, so we ignore them.

Step 1: Segments give a linear function. Let f(โ„“)=E[N]f(\ell) = \mathbb{E}[N] for a straight segment of length โ„“\ell. By rotation invariance, ff depends only on โ„“\ell.

  • Additivity. Split a segment of length a+ba+b into pieces of lengths aa and bb. The crossings of the whole segment are the crossings of piece 1 plus the crossings of piece 2 (almost surely). Each piece, viewed on its own, is a uniformly rotated and uniformly translated segment of its length. The two pieces are strongly dependent, but linearity of expectation does not care. Hence f(a+b)=f(a)+f(b).f(a+b) = f(a) + f(b).
  • Monotonicity. A longer segment contains a shorter one, so ff is nondecreasing.

A monotone solution of Cauchy's equation is linear. Therefore f(โ„“)=cโ€‰โ„“f(\ell) = c\,\ell for some constant cc.

Step 2: Polygons. Take any polygonal wire with edges of lengths โ„“1,โ€ฆ,โ„“k\ell_1,\dots,\ell_k. Each edge, viewed on its own, is a randomly dropped segment. By linearity, E[N]=c(โ„“1+โ‹ฏ+โ„“k)=cโ‹…(perimeter).\mathbb{E}[N] = c(\ell_1 + \dots + \ell_k) = c \cdot \text{(perimeter)}.

Step 3: The circle pins down cc. Consider a circle of diameter dd. Its vertical extent is exactly dd. So almost surely it meets exactly one line, and it meets that line in exactly 22 points: Ncircle=2N_{\text{circle}} = 2 a.s.

Now sandwich the circle between an inscribed regular nn-gon PnP_n and a circumscribed regular nn-gon QnQ_n, all rigidly attached and dropped together. All three curves are convex. A line crosses a convex closed curve in 22 points if it meets the interior, and in 00 points otherwise. Every line meeting the interior of PnP_n also meets the disk, and every line meeting the disk also meets the interior of QnQ_n. So, pointwise, NPnโ‰คNcircle=2โ‰คNQn.N_{P_n} \le N_{\text{circle}} = 2 \le N_{Q_n}. Taking expectations gives cโ‹…perโก(Pn)โ€…โ€Šโ‰คโ€…โ€Š2โ€…โ€Šโ‰คโ€…โ€Šcโ‹…perโก(Qn).c\cdot \operatorname{per}(P_n) \;\le\; 2 \;\le\; c \cdot \operatorname{per}(Q_n). As nโ†’โˆžn\to\infty, both perimeters tend to ฯ€d\pi d. Hence c=2ฯ€d.c = \frac{2}{\pi d}.

Step 4: Answer to (a) and (b). If โ„“โ‰คd\ell \le d, the needle can cross at most one line, apart from probability-zero events. So Nโˆˆ{0,1}N \in \{0,1\} and P(cross)=E[N]=2โ„“ฯ€d.P(\text{cross}) = \mathbb{E}[N] = \frac{2\ell}{\pi d}.

Step 5: Answer to (c). For a long needle (โ„“>d\ell > d), Step 1 still applies, giving E[N]=2โ„“ฯ€d.\mathbb{E}[N] = \frac{2\ell}{\pi d}. For any rigid noodle of length LL, first take a polygonal noodle; Step 2 gives E[N]=2Lฯ€d\mathbb{E}[N] = \frac{2L}{\pi d}. For a smooth noodle, approximate it by polygons. The answer is independent of the shape: ย E[N]=2Lฯ€dย \boxed{\ \mathbb{E}[N] = \frac{2L}{\pi d}\ }

Sanity check via calculus. Fix the angle ฮธ\theta between the needle and the lines. The needle crosses a line exactly when its midpoint lies within โ„“2sinโกฮธ\tfrac{\ell}{2}\sin\theta of a line. Given ฮธ\theta, this happens with probability โ„“sinโกฮธ/d\ell\sin\theta/d. Averaging over the angle, P=1ฯ€โˆซ0ฯ€โ„“sinโกฮธdโ€‰dฮธ=2โ„“ฯ€d.P = \frac{1}{\pi}\int_0^\pi \frac{\ell \sin\theta}{d}\,d\theta = \frac{2\ell}{\pi d}.

Moral. Linearity of expectation holds for dependent pieces. This turns a geometric integral into a symmetry argument: find one shape whose crossing count is deterministic, and the constant is forced.

Source: Mosteller, Fifty Challenging Problems in Probability with Solutions, Problem 53 (Buffon's Needle); noodle argument due to Barbier (1860)

Type: ProbabilitySource: Mosteller, Fifty Challenging Problems in Probability with Solutions, Problem 53 (Buffon's Needle); noodle argument due to Barbier (1860)Edit on GitHub โ†—