Quant Memo
Core

The Chance That Random Points Fit in a Semicircle

A classic circle puzzle: scatter n points at random on a circle's edge, and find the probability all of them fall within some semicircle — solved with a clean 'pick each point as the pivot' symmetry argument.

Prerequisites: Geometric Probability Puzzles

Scatter nn points independently and uniformly at random on the circumference of a circle. What's the probability that all nn points lie within some semicircle (a half-circle arc doesn't have to be fixed in advance — any half-circle that happens to contain everyone counts)? For n=3n=3 this is a well-known interview question, and the clean way to solve it generalizes instantly to any nn.

The pivot trick

Instead of trying to describe "some semicircle contains all the points" directly — which is awkward because the semicircle's position is itself unknown — flip the question around: for each point, ask whether the semicircle starting at that point and going clockwise contains all the other points. If all nn points fit in some semicircle, exactly one of them must be the "leading edge" — the point such that going clockwise a half-turn from it sweeps up every other point. This reframes the event in terms of each point taking a turn as the pivot.

For a fixed point acting as the pivot, the other n1n-1 points each independently need to land within the clockwise half-circle starting at the pivot — each has probability 12\tfrac12 of doing so, independently, since the points are uniform and a semicircle is exactly half the circumference. So the chance that a specific point is a valid pivot (all others clockwise-following it within a half turn) is (12)n1\left(\tfrac12\right)^{n-1}.

Why you can just add the probabilities

Here's the key structural fact: for any given random configuration of nn points on a circle, at most one point can be a valid pivot — if the whole set already fits in a semicircle, there's a unique "first" point at the counterclockwise edge of that arc, and no other point can also be a valid clockwise-starting pivot for the same fit. Because these nn events (point 1 is the pivot, point 2 is the pivot, ..., point nn is the pivot) are mutually exclusive, the probability that some point is a valid pivot is just their sum:

P(all n points fit in a semicircle)=n(12)n1=n2n1.P(\text{all } n \text{ points fit in a semicircle}) = n \cdot \left(\frac12\right)^{n-1} = \frac{n}{2^{n-1}} .

In plain English: there are nn candidates for "the point that starts the arc," each with an independent (12)n1\left(\tfrac12\right)^{n-1} chance of actually working, and since only one can ever work at a time, you just add up the nn chances.

Worked example: n=3n = 3 points

P=3231=34=0.75P = \dfrac{3}{2^{3-1}} = \dfrac{3}{4} = 0.75. So three random points on a circle land within some semicircle 75% of the time — higher than most people's gut guess, because "some semicircle, wherever it happens to be" is a much easier target than "a fixed semicircle chosen in advance."

Worked example: n=5n = 5 points

P=524=516=0.3125P = \dfrac{5}{2^{4}} = \dfrac{5}{16} = 0.3125. As nn grows, cramming every point into a shrinking effective target gets harder fast: the probability decays exponentially in nn (the 2n12^{n-1} in the denominator dominates the linear nn in the numerator), so by n=10n=10 the chance is already down to 10/5122%10/512 \approx 2\%.

pivot all 3 points fit in one semicircle P(n) = n / 2^(n-1)
The point at the counterclockwise edge of the containing arc is the unique "pivot" — summing over each of the n points' chance of being that pivot gives the total probability directly.

What this means in practice

The pivot trick — reframe a "does some arrangement exist" probability as "exactly one of n candidates succeeds," then sum mutually exclusive probabilities — is a reusable move for circular or cyclic interview questions (seating arrangements, coverage problems, "is there a majority direction" questions), and it avoids the much messier direct approach of integrating over the semicircle's unknown starting angle.

For nn points scattered uniformly on a circle, the probability all of them fit within some semicircle is P=n/2n1P = n/2^{n-1}, derived by noting exactly one point can be the "pivot" that starts the containing arc, so the nn per-point probabilities of (1/2)n1(1/2)^{n-1} are mutually exclusive and simply add.

Related concepts

Practice in interviews

Further reading

  • Feller, An Introduction to Probability Theory, vol. 1, ch. 1
ShareTwitterLinkedIn