OFFSET
0,1
REFERENCES
A. M. Mathai, An introduction to geometrical probability: distributional aspects with applications, Amsterdam: Gordon and Breach, 1999, p. 221, ex. 2.3.7.
LINKS
Rodney Coleman, Random paths through convex bodies, Journal of Applied Probability, Vol. 6, No. 2 (1969), pp. 430-441; alternative link; author's link.
Maurice Horowitz, Probability of random paths across elementary geometrical shapes, Journal of Applied Probability, Vol. 2, No. 1 (1965), pp. 169-177; Correction, ibid., Vol. 3, No. 1 (1966), p. 285.
Philip W. Kuchel and Rodney J. Vaughan, Average Lengths of Chords in a Square, Mathematics Magazine, Vol. 54, No. 5 (1981), pp. 261-269.
FORMULA
Equals (3*log(1 + sqrt(2)) + 1 - sqrt(2))/Pi.
EXAMPLE
0.70980150661400782746374731464451797194994085344545...
MATHEMATICA
RealDigits[(3 * Log[1 + Sqrt[2]] + 1 - Sqrt[2])/Pi, 10, 100][[1]]
PROG
(PARI) (3*log(1 + sqrt(2)) + 1 - sqrt(2))/Pi \\ Michel Marcus, Oct 29 2021
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Oct 29 2021
STATUS
approved