把圆周参数化为角度,三点对应 Ai∼Unif[0,2π) 独立。
等价地令 Xi=Ai/(2π)∼Unif[0,1)。包含点 (1,0) 的弧长为
L=2πmin(X1,X2,X3)+2π(1−max(X1,X2,X3)).
由对称性 E[min]=E[1−max],所以
E[L]=4πE[min(X1,X2,X3)].
而 E[min(X1,X2,X3)]=41,因此
E[L]=π.
英文解析
L=2πmin(X1,X2,X3)+2π(1−max(X1,X2,X3)).
E[L]=4πE[min(X1,X2,X3)].
E[L]=π.