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 .
The calculation. Fix the first point ; by rotational symmetry its position does not matter. Let be the smaller central angle between and the second point . Since is uniform on the circle, .
Let and be the points antipodal to and . The three points avoid every common semicircle exactly when the third point lands on the arc from to opposite the short arc . That arc has length , the same angle as arc . If lands anywhere else, , and fit in a semicircle bounded by the diameter through or through .
Hence , and averaging over gives
Alternative. Order the points around the circle. Let be the event that the other two points lie within the half-turn clockwise from point . Then . The events are disjoint up to probability zero, and their union is the event “all three lie in a semicircle”. So that event has probability , and the answer is .
Generalisation. The same argument shows that uniform points lie in a common semicircle with probability .
Variations
The same idea with a twist. Each solution gives only the changed step.
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 is half the arc not containing . So the triangle is obtuse at exactly when that arc exceeds , which happens exactly when the centre lies strictly outside the triangle. A right angle requires a diameter, which has probability . Therefore