24/05/22 14:44:50.17 g+5oxCgk0.net
f[]:=(
{b,c}=RandomReal[{-Pi,Pi},2];
pA={1,0};
pB={Cos[b],Sin[b]};
pC={Cos[c],Sin[c]};
a2=Total[(pB-pC)^2];
b2=Total[(pC-pA)^2];
c2=Total[(pA-pB)^2];
Boole[a2+b2>c2 && b2+c2>a2 && c2+a2>b2]
)
Table[f[],1*^6] // Mean // N