Sylvester's four-point problem asks for the probability that four points chosen at random in a planar region have a convex hull which is a quadrilateral (Sylvester 1865). Depending on the method chosen to pick points from the infinite plane, a number of different solutions are possible, prompting Sylvester to conclude "This problem does not admit of a determinate solution" (Sylvester 1865; Pfiefer 1989).
For points selected from an open, convex subset of the plane having finite area, the probability is given by
|
(1)
|
where is the expected area of a triangle over region and is the area of region (Efron 1965). Note that is simply the value computed for an appropriate region, e.g., disk triangle picking, triangle triangle picking, square triangle picking, etc., where can be computed exactly for polygon triangle picking using Alikoski's formula.
can range between
|
(2)
|
() depending on the shape of the region, as first proved by Blaschke (Blaschke 1923, Peyerimhoff 1997). The following table gives the probabilities for various simple plane regions (Kendall and Moran 1963; Pfiefer 1989; Croft et al. 1991, pp. 54-55; Peyerimhoff 1997).
|
|
approx. |
triangle |
|
0.66667 |
square |
|
0.69444 |
pentagon |
|
0.70062 |
hexagon |
|
0.70267 |
ellipse, disk |
|
0.70448 |
Sylvester's problem can be generalized to ask for the probability that the convex hull of randomly chosen points in the unit ball has vertices. The solution is given by
|
(3)
|
(Kingman 1969, Groemer 1973, Peyerimhoff 1997), which is the maximum possible for any bounded convex domain . The first few values are
(Sloane's A051050 and A051051).
Another generalization asks the probability that randomly chosen points in a fixed bounded convex domain are the vertices of a convex -gon. The solution is
|
(9)
|
for a triangular domain, which has first few values 1, 1, 1, 2/3, 11/36, 91/900, 17/675, ... (Sloane's A004677 and A004824), and
|
(10)
|
for a parallelogram domain, which has first few values 1, 1, 1, 25/36, 49/144, 121/3600, ... (Sloane's A004936 and A005017; Valtr 1996, Peyerimhoff 1997).
Sylvester's four-point problem has an unexpected connection with the rectilinear crossing number of graphs (Finch 2003).