Problem 9.11 Medium Free 1 variation

Triangle Containing the Centre

Three points are chosen independently and uniformly at random on a circle. Find the probability that the triangle they form contains the centre of the circle.

Work it out, then compare with the answer.

SolutionShow the worked solution

Key idea. The centre lies inside the triangle exactly when the three points do not all lie in a common semicircle.

Why this criterion holds. Suppose all three points lie in a closed semicircle. The diameter bounding it has the whole triangle on one side, so the centre is on the boundary of the triangle or outside it. Conversely, suppose the centre is not in the closed triangle. Then some line separates the centre from the triangle. The parallel line through the centre is a diameter, and all three points lie in one of the semicircles it cuts off. Configurations where the centre lies on an edge need two antipodal points, so they have probability 00.

The calculation. Fix the first point AA; by rotational symmetry its position does not matter. Let θ∈[0,π]\theta\in[0,\pi] be the smaller central angle between AA and the second point BB. Since BB is uniform on the circle, θ∼Unif(0,π)\theta\sim\mathrm{Unif}(0,\pi).

Let A′A' and B′B' be the points antipodal to AA and BB. The three points avoid every common semicircle exactly when the third point CC lands on the arc from A′A' to B′B' opposite the short arc ABAB. That arc has length θ\theta, the same angle as arc ABAB. If CC lands anywhere else, AA, BB and CC fit in a semicircle bounded by the diameter through AA or through BB.

Hence P(centre inside∣θ)=θ2π\mathbb{P}(\text{centre inside}\mid\theta)=\frac{\theta}{2\pi}, and averaging over θ\theta gives

P(centre inside)=∫0πθ2π⋅1π dθ=E[θ]2π=π/22π=14.\mathbb{P}(\text{centre inside})=\int_0^\pi \frac{\theta}{2\pi}\cdot\frac{1}{\pi}\,d\theta=\frac{\mathbb{E}[\theta]}{2\pi}=\frac{\pi/2}{2\pi}=\frac14 .
14\boxed{\tfrac14}

Alternative. Order the points around the circle. Let EiE_i be the event that the other two points lie within the half-turn clockwise from point ii. Then P(Ei)=(12)2\mathbb{P}(E_i)=\left(\tfrac12\right)^2. The events EiE_i are disjoint up to probability zero, and their union is the event “all three lie in a semicircle”. So that event has probability 3⋅14=343\cdot\frac14=\frac34, and the answer is 1−34=141-\frac34=\frac14.

Generalisation. The same argument shows that nn uniform points lie in a common semicircle with probability n/2n−1n/2^{n-1}.

Variations

The same idea with a twist. Each solution gives only the changed step.

Variation 9.11a

Three points are chosen independently and uniformly at random on a circle. Find the probability that the triangle they form is obtuse.

Work it out, then compare with the answer.

Solution

By the inscribed angle theorem, the angle at CC is half the arc ABAB not containing CC. So the triangle is obtuse at CC exactly when that arc exceeds π\pi, which happens exactly when the centre lies strictly outside the triangle. A right angle requires a diameter, which has probability 00. Therefore

P(obtuse)=1−P(centre inside)=1−14.\mathbb{P}(\text{obtuse})=1-\mathbb{P}(\text{centre inside})=1-\tfrac14 .
34\boxed{\tfrac34}