Can You Include The Center?

Riddler Classic

From Allen Gu comes a geometric puzzle that he recalls from a university challenge:

Suppose you have an equilateral triangle. You pick three random points, one along each of its three edges, uniformly along the length of each edge — that is, each point along each edge has the same probability of being selected.

With those three randomly selected points, you can form a new triangle inside the original one. What is the probability that the center of the larger triangle also lies inside the smaller one?

Solution

Equilateral $\triangle ABC$ with midpoints $D, E, F$.

Case I.

Let:

  1. $G$ be a point chosen between $A$ and $D$,
  2. $H$ be a point chosen between $B$ and $E$, and
  3. $I$ be a point chosen between $C$ and $F$.

$\triangle GHI$ will always contain the center. This occurs with probability $\left(\dfrac{1}{2}\right)^3 = \dfrac{1}{8}$.

Similarly, let:

  1. $G$ be a point chosen between $B$ and $D$,
  2. $H$ be a point chosen between $C$ and $E$, and
  3. $I$ be a point chosen between $A$ and $F$.

$\triangle GHI$ will always contain the center, and this also occurs with probability $\dfrac{1}{8}$.

Case II.

Let:

  1. $G$ be a point chosen between $A$ and $D$,
  2. $H$ can be any point between $E$ the point defined by the intersection of a segement from $G$ through the center and $BC$, and
  3. $I$ be a point chosen between $C$ and $A$.

Setting the triangle with unit lengths, the following coordinates can be used.

Point Coordinate
A $\left(1, 0 \right)$
B $\left(0, 0 \right)$
C $\left(\dfrac {1}{2}, \dfrac{\sqrt {3}}{2} \right)$
Center $\left(\dfrac {1}{2}, \dfrac {\sqrt {3}}{6} \right)$
D $\left(\dfrac {1}{2}, 0 \right)$
E $\left(\dfrac {1}{4}, \dfrac{\sqrt {3}}{4} \right)$
F $\left(\dfrac {3}{4}, \dfrac{\sqrt {3}}{4} \right)$
$G$ $\left(x_G, y_G \right)$
$H$ $\left(x_H, y_H \right)$

$\triangle GHI$ will always contain the center. This case can happen in 3 mutally exclusive ways:

  1. $G$ can be any point on $AB$, $H$ can be any point on $BE$, and $I$ defined by $H$ and the center, lying on $AF$.
  2. $H$ can be any point on $BC$, $I$ can be any point on $CF$, and $G$ defined by $I$ and the center, lying on $BD$.
  3. $I$ can be any point on $CA$, $G$ can be any point on $AD$, and $H$ defined by $G$ and the center, lying on $CE$.

The calculated probability will be multiplied by $3$ to include all subcases.

Equation of $BC$.

Using $B$ and $C$,

$$y = x\sqrt{3}$$

Equation of $GH$.

Using the center and $G$:

$$y = \frac{\frac{\sqrt{3}}{6}-0}{\frac{1}{2} - x_G}x + b$$


$$y = \frac{\sqrt{3}}{3-6x_G}x + b$$
Substituting $G$:
$$0 = \frac{\sqrt{3}}{3-6x_G}x_G + b$$
$$b = -\frac{\sqrt{3}}{3-6x_G}x_G$$
$$y = \frac{\sqrt{3}}{3-6x_G}x - \frac{x_G\sqrt{3}}{3-6x_G}$$

$x_H$.

Combining the two above,

$$x_H\sqrt{3}= y_H = \frac{\sqrt{3}}{3-6x_G}x_H - \frac{x_G\sqrt{3}}{3-6x_G}$$


$$x_H = \frac{x_H}{3-6x_G} - \frac{x_G}{3-6x_G}$$
$$3x_H - 6x_Gx_H = x_H - x_G$$
$$x_H(3 - 6x_Gx - 1) = - x_G$$
$$x_H = \frac{x_G}{-2+6x_G}$$

Probability:

$G$ can be any point on $AD$, $H$ can be any point between $\dfrac{1}{4}$ from $E$ and the value of $x_H$ defined by $x_G$ from above, and $I$ can be any point on $CA$. Multiplying the probabilities of $H$ and $I$ for each $G$,

$$y = 3\int_{x_G = \frac{1}{2}}^{1} \left(x_H - \frac{1}{4} \right) \cdot 1 \cdot dx_G$$


$$= 3\int_{x_G = \frac{1}{2}}^{1} \left(\frac{x_G}{-2+6x_G} - \frac{1}{4} \right)dx_G$$
$$= 3\int_{x_G = \frac{1}{2}}^{1} \frac{2x_G - 1(-1+3x_G)}{-4+12x_G}dx_G$$
$$= \frac{1}{4}\int_{x_G = \frac{1}{2}}^{1} \frac{-3x_G + 3}{3x_G - 1}dx_G$$
$$= \frac{1}{4}\int_{x_G = \frac{1}{2}}^{1} -1 + \frac{2}{3x_G - 1} dx_G$$
$$=\frac{1}{4}\left(\left.-x_G +\frac{2}{3}\ln{(3x_G-1)}\right|_\frac{1}{2}^1\right)$$
$$=\frac{1}{4}\left(\left(-1 + \frac{2}{3}\ln{2} \right) - \left(-\frac{1}{2} + \frac{2}{3}\ln{\frac{1}{2}} \right)\right)$$
$$=\frac{1}{4}\left(\frac{4}{3}\ln{2} - \frac{1}{2}\right)$$
$$=\frac{1}{3}\ln{2} - \frac{1}{8}$$

Answer:

Adding the probabilities from Case I,
$$=\frac{1}{3}\ln{2} + \frac{1}{8} \approx 0.356$$

Rohan Lewis

2021.10.25

Code can be found here.