OFFSET
0,1
COMMENTS
The probability that the convex hull of four points independently and uniformly selected at random in the interior of a regular octagon is a quadrilateral.
Deltheil (1919, 1926) calculated the wrong value (2851 + 2013*sqrt(2))/(4032 + 2880*sqrt(2)) = 0.7030... .
Kendall and Moran (1963) cited this result, and Solomon (1978) gave the wrong complementary probability based on this result (although he also gave the correct general formula based on Alikoski's paper), a value that is cited by Gelca and Andreescu (2017).
REFERENCES
H. A. Alikoski, Über das Sylvestersche Vierpunktproblem, Ann. Acad. Sci. Fenn., Vol. 51, No. 7 (1939), pp. 1-10.
Răzvan Gelca and Titu Andreescu, Putnam and Beyond, 2nd ed., Springer, 2017, p. 843.
LINKS
Robert Deltheil, Sur la théorie des probabilités géométriques, Annales de la faculté des sciences de Toulouse, 3rd series, Vol. 11 (1919), pp. 1-65. See p. 56.
Robert Deltheil, Probabilités Géométriques, Gauthier-Villars, Paris, 1926, p. 54.
Maurice G. Kendall and P. A. P. Moran, Geometrical Probability, Charles Griffin and Co. Ltd., 1963, p. 46.
Herbert Solomon, Geometric Probability, Philadelphia: Society for Industrial and Applied Mathematics, 1978, p. 114.
Eric Weisstein's World of Mathematics, Sylvester's Four-Point Problem.
FORMULA
Equals 1 - 4*A396661.
Equals 1 - (9*cos(w)^2 + 52*cos(w) + 44)/(9*n^2*sin(w)^2) with w = 2*Pi/n and n = 8 (Alikoski's general formula for a regular n-gon).
Equals (2833 + 2031*sqrt(2))/(4032 + 2880*sqrt(2)).
Minimal polynomial: 331776*x^2 - 551808*x + 224033.
EXAMPLE
0.703925164507984474760958656842180034573571289028469...
MATHEMATICA
RealDigits[(479 - 52*Sqrt[2])/576, 10, 120][[1]]
PROG
(PARI) (479 - 52*sqrt(2))/576
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Jun 07 2026
STATUS
approved
