OFFSET
0,2
COMMENTS
The mode of the distribution is 0 and its mean is 11/144.
The distribution for a parallelogram is the same as that of a square.
Half the real root of (1/3)*x*(20 - 17*x - 34*x^2*log(x)) - (2/3)*(17*x^2 + 8*x - 1)*(1 - x)*log(1 - x) + 2*x^3*log(x)^2 + 4*x^2 *(3+x)*(PolyLog(2, x) - Pi^2/6) - 1/2 = 0.
LINKS
Norbert Henze, Random Triangles in Convex Regions, Journal of Applied Probability, Vol. 20, No. 1 (1983), pp. 111-125.
Eric Weisstein's World of Mathematics, Square Triangle Picking.
EXAMPLE
0.0571563077778520118877918823626695712206103603711742...
MATHEMATICA
RealDigits[(x /. FindRoot[(1/3)*x*(20 - 17*x - 34*x^2*Log[x]) - (2/3)*(17*x^2 + 8*x - 1)*(1 - x)*Log[1 - x] + 2*x^3*Log[x]^2 + 4*x^2 *(3 + x)*(PolyLog[2, x] - Pi^2/6) == 1/2, {x, 1/10}, WorkingPrecision -> 120])/2, 10, Automatic, -1][[1]]
PROG
(PARI) solve(x = 1/10, 1/8, (1/3)*x*(20 - 17*x - 34*x^2*log(x)) - (2/3)*(17*x^2 + 8*x - 1)*(1 - x)*log(1 - x) + 2*x^3*log(x)^2 + 4*x^2 *(3+x)*(dilog(x) - Pi^2/6) - 1/2)/2
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Apr 27 2026
STATUS
approved
