返回题库

随机三角形周长期望

Random Triangle

专题
Probability / 概率
难度
L6

题目详情

在单位圆圆周上均匀随机选取 3 个点 A,B,CA,B,C。求三角形 ABCABC 的周长期望。

答案形如 aπ\frac{a}{\pi}aa 为有理数)。求 aa

Three points are selected uniformly at random on the circumference of the unit circle and are labelled points A,B,A,B, and CC. Find the expected perimeter of the triangle ABCABC. The answer is in the form aπ\dfrac{a}{\pi} for a rational number aa. Find aa.

解析

三条边是三条随机弦,且三边同分布。

单位圆随机弦长的期望为 4/π4/\pi,因此周长期望为

34π=12π.3\cdot\frac{4}{\pi}=\frac{12}{\pi}.

所以 a=12a=12


Original Explanation

The triangle is formed by drawing chords between each pair of points. As the points are IID, the three side lengths are exchangeable. This means that the expected perimeter is just obtained by tripling the expected length of one of the sides of the triangle. In other words, if PP is the perimeter and SABS_{AB} is the length of the chord between points AA and BB, E[P]=3E[SAB]\mathbb{E}[P] = 3\mathbb{E}[S_{AB}]. This question now boils down to finding the expected length of a chord drawn in a circle.

Let θ\theta and ϕ\phi be IID Unif(0,2π)\text{Unif}(0,2\pi). Picking the two angles is equivalent to picking the two points uniform on the circumference. The measure of the angle between θ\theta and ϕ\phi is θϕ\theta - \phi. To get the length of the line segment connecting the two points, we can take a slight shortcut. The length here only depends on the distance between our points we select in terms of angle. In other words, regardless of where we end up having our points located, we can just rotate the circle so that one of them is located at (1,0)(1,0). Therefore, we can arbitrarily fix θ1=0\theta_1 = 0. Thus, the length between θ1=0\theta_1 = 0 and the point at θ2=θ\theta_2 = \theta is (1cos(θ))2+sin2(θ)=21cos(θ)\sqrt{(1 - \cos(\theta))^2 + \sin^2(\theta)} = \sqrt{2} \sqrt{1 - \cos(\theta)}. This means that finding the expected length of the chord is equivalent to finding 2E[1cos(θ)]\sqrt{2}\mathbb{E}[\sqrt{1 - \cos(\theta)}], where θUnif(0,2π)\theta \sim \text{Unif}(0,2\pi).

Now, 2E[1cosθ]=22π02π1cosθdθ\sqrt{2}\mathbb{E}[\sqrt{1 - \cos\theta}] = \dfrac{\sqrt{2}}{2\pi}\displaystyle \int_0^{2\pi}\sqrt{1-\cos\theta}d\theta.

Now, the best approach is to conjugate the interior by multiplying and dividing by 1+cosθ\sqrt{1+\cos\theta} so that we get 1cos2θ=sinθ\sqrt{1-\cos^2\theta} = |\sin\theta|. Doing this, we get 22π02πsinθ1+cosθdθ\dfrac{\sqrt{2}}{2\pi}\displaystyle \int_0^{2\pi} \dfrac{|\sin\theta|}{\sqrt{1+\cos\theta}}d\theta.

Note that the region on (0,π)(0,\pi) and (π,2π)(\pi,2\pi), our integrand is symmetric, so we can just evaluate over one interval and double it. This means our new integral is 2π0πsinθ1+cosθdθ\dfrac{\sqrt{2}}{\pi} \displaystyle \int_0^{\pi} \dfrac{\sin\theta}{\sqrt{1+\cos\theta}}d\theta. Let u=1+cosθu = 1 + \cos\theta. Then du=sinθdθdu = -\sin\theta d\theta. Our bounds would respectively become 22 and 00, but the negative from the dudu flips them back. Therefore, our new integral is 2π02u12du\dfrac{\sqrt{2}}{\pi} \displaystyle \int_0^2 u^{-\frac{1}{2}}du. Evaluating this, we get 22πu02=4π\dfrac{2\sqrt{2}}{\pi} \cdot \sqrt{u} \Big|_0^2 = \dfrac{4}{\pi}.

Thus, the expected perimeter of the triangle is 3×4π=12π3 \times \dfrac{4}{\pi} = \dfrac{12}{\pi} and a=12a=12.