Probability – Triangle Formed by Random Points on a Sphere

geometric-probabilitygeometryprobabilityspherestriangles

In answering Conjecture: If $A,B,C$ are random points on a sphere, then $E\left(\frac{\text{Area}_{\triangle ABC}}{\text{Area}_{\bigcirc ABC}}\right)=\frac14$. it turned out that if you choose three points uniformly randomly on the sphere, the density distribution of their angles on the circle they form is proportional to the area of the triangle they form. So these points tend to be spaced further apart on the circle than points randomly uniformly chosen on the circle. (That makes sense, since on the sphere the probability distribution of the distance between two points vanishes at distance $0$.)

Since that seemed like a nice result, I wanted to do something else with it. A question often asked about random points on a circle is about the probability that the triangle they form contains the centre of the circle. If the points are uniformly distributed on the circle, that probability is $\frac14$ (see e.g. Probability that n points on a circle are in one semicircle). If the points are spaced further apart, this probability should be higher. So what is it for points uniformly randomly chosen on a sphere?

I’m posting this as a self-answered question, but I merely worked out the integrals and would be happy to see a more elegant solution that explains the simplicity of the answer with a symmetry argument.

Best Answer

As worked out for the other question, the joint density for the angles $\phi_i$ of the three points on the circle they form is proportional to the area of the triangle they form, which is proportional to $|\sin\alpha+\sin\beta+\sin\gamma\,|$, where $\alpha=\varphi_2-\varphi_1$, $\beta=\varphi_3-\varphi_2$ and $\gamma=\varphi_1-\varphi_3$. By symmetry, we can restrict to $\phi_i$ ordered clockwise (and thus $\alpha$, $\beta$, $\gamma$ positive) to get rid of the absolute value. Then the integral over that entire half of the space is

\begin{eqnarray*} 3\cdot2\pi\int_0^{2\pi}\int_0^{2\pi-\alpha}\sin\alpha\,\mathrm d\beta\,\mathrm d\alpha &=& 3\cdot2\pi\int_0^{2\pi}(2\pi-\alpha)\sin\alpha\,\mathrm d\alpha \\ &=& 3\cdot2\pi\cdot2\pi\;. \end{eqnarray*}

The integral over the region where the triangle doesn’t contain the centre of the circle has three disjoint parts, each where one of $\alpha$, $\beta$, $\gamma$ is reflex, and is thus

\begin{eqnarray*} 3\cdot2\pi\int_\pi^{2\pi}\int_0^{2\pi-\alpha}(\sin\alpha+\sin\beta+\sin\gamma)\,\mathrm d\beta\,\mathrm d\alpha &=& 3\cdot2\pi\int_\pi^{2\pi}\int_0^{2\pi-\alpha}(\sin\alpha+\sin\beta-\sin(\alpha+\beta))\,\mathrm d\beta\,\mathrm d\alpha \\ &=& 3\cdot2\pi\int_\pi^{2\pi}((2\pi-x)\sin x+2(1-\cos x))\,\mathrm d\alpha \\ &=& 3\cdot2\pi\cdot\pi\;. \end{eqnarray*}

(Note that the factor $3$ arises for different reasons: In the first case, it’s from the symmetry among the three summands in the density; in the second case, it’s from the symmetry among the three integration regions.)

Thus, the probability for the triangle not to contain the centre (and thus also for the triangle to contain the centre) is $\frac12$.

Here’s Java code that checks the result by simulation.