OFFSET
1,3
COMMENTS
The real positive root of 3*x^2/2 - 4*x^3/3 + x^4/2 - 3/4 - 2*(1+2*x^2)*sqrt(x^2-1)/3 + 2*x^2*arccos(1/x) = 0.
LINKS
Vangalur S. Alagar, The Distribution of the Distance between Random Points, Journal of Applied Probability, Vol. 13, No. 3 (1976), pp. 558-566. See p. 565, eq. (18).
EXAMPLE
1.082575483033433462548939194798458707929627054251078...
MATHEMATICA
RealDigits[x /. FindRoot[3*x^2/2 - 4*x^3/3 + x^4/2 - 3/4 - 2*(1+2*x^2)*Sqrt[x^2-1]/3 + 2*x^2*ArcCos[1/x], {x, 1}, WorkingPrecision -> 120]][[1]]
PROG
(PARI) solve(x = 1, 2, 3*x^2/2 - 4*x^3/3 + x^4/2 - 3/4 - 2*(1+2*x^2)*sqrt(x^2-1)/3 + 2*x^2*acos(1/x))
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Apr 27 2026
STATUS
approved
