hard | probability |
N points are chosen at random on the circumference of a circle. A convex -gon (n sided polygon) is drawn by joining these n points. What is the probability that the center of circle lies inside the region of -gon?
If the polygon contains the center, the longest distance between any two points on the circumference will be less than .
where
For a polygon inscribed in a circle to exclude the center of that circle, there must be a straight line that can be drawn through the center of the circle such that all vertices (points) of the polygon are on one side of that line. In terms of the circle, this line is a diameter, and all the points are within a semi-circle. Thus, the polygon excludes the center if and only if all points are within a semi-circle. This is easier to check.
Suppose we lock the first point (at random), imagine a semi-circular arc that starts from this point, in a clockwise direction around the circle. We want to know if the next points lie on this arc. Since the probability of each next point is uniformly random along the entire circumference, the probability is that each point lies within this imaginary semi-circle. Thus, the probability that all those points lie on this semi-circle is .
Not all points may lie within the semi-circle starting from the first point. It is true that if the polygon excludes the center, then certainly all points are within some semi-circle, but which one? Let us define the semi-circle as an arc that starts from some point of the polygon in a clockwise direction. This definition ensures that only one such semi-circle can satisfy the desired constraints. Suppose if the semi-circle starting from point contains all the other points, and otherwise. Then, .
Note that the probability of this event is identical for each because when we observe the semi-circle starting from the th point, all the other points are just random points on the circumference, hence .
We want to know the probability that any one of those start-points satisfies the condition, i.e. .
Note that if any is , then all other 's are . This is because of the way we defined our semi-circle to start from one of the points. If we start the semi-circle for any other point , then the point lies outside the semi-circle, i.e. . Hence, by definition, 's are disjoint events, and hence the probability of union is the sum of individual probabilities.
Thus, probability of center-exclusion =
Hence the probability that the polygon includes the center of the circle is where
Final answer