Kvant Math Problem 862

Consider first the equilateral triangle case.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 4m09s
Source on kvant.digital

Problem

  1. Inside a given equilateral triangle, indicate the set of all points $M$ such that the distances from $M$ to its sides themselves serve as the side lengths of some triangle.
  2. Inside a given regular tetrahedron, indicate the set of all points $M$ such that the distances from $M$ to the faces of the tetrahedron serve as the side lengths of some quadrilateral.

E. A. Yasinovy̆ĭ

Exploration

Consider first the equilateral triangle case. Let the triangle have side length $a$ and denote its sides as $AB$, $BC$, and $CA$. For a point $M$ inside, let $d_1$, $d_2$, $d_3$ be the distances from $M$ to $AB$, $BC$, and $CA$, respectively. These distances are all positive and satisfy $d_1 + d_2 + d_3 = h$, where $h$ is the altitude of the triangle. For these distances to form a triangle, they must satisfy the triangle inequalities $d_1 < d_2 + d_3$, $d_2 < d_3 + d_1$, $d_3 < d_1 + d_2$. Noting that $d_1 + d_2 + d_3 = h$, the inequalities reduce to $d_i < h/2$ for each $i$. This suggests that the locus is the set of points inside the triangle whose distances to the sides are all less than $h/2$, which appears to be the interior of the medial triangle scaled appropriately.

For the tetrahedron, let its side length be $a$, and let $M$ have distances $d_1, d_2, d_3, d_4$ to the faces. The sum of the distances from any interior point to the faces, weighted by face area, equals the tetrahedron’s volume; for a regular tetrahedron, this reduces to $d_1 + d_2 + d_3 + d_4 = H$, the altitude from any vertex. For $d_1, d_2, d_3, d_4$ to form a quadrilateral, they must satisfy $d_i < d_j + d_k + d_l$ for all $i$, which again is equivalent to $d_i < H/2$. This suggests the interior points satisfying $d_i < H/2$ for all $i$, the tetrahedron scaled by $1/2$ from the centroid. The critical step is justifying that this half-altitude bound is both necessary and sufficient.

Problem Understanding

The problem asks to describe geometrically the set of points inside a regular simplex (triangle or tetrahedron) such that the distances to the sides (or faces) themselves can be arranged as the sides of a triangle (or quadrilateral). Both parts are classification problems, so this is Type A. The core difficulty is translating the triangle or quadrilateral inequalities for distances into a simple geometric condition inside the simplex. For the triangle, the answer is the interior of the central smaller triangle bounded by lines parallel to the sides at half the altitude distance from each side. For the tetrahedron, it is the interior of a smaller tetrahedron around the centroid with distances to faces less than half the altitude.

Proof Architecture

  1. Lemma 1: In an equilateral triangle, the sum of the distances from any interior point to the three sides equals the altitude $h$. This follows from the area formula $[\triangle ABC] = \frac{1}{2} a h$ and decomposing the area as the sum of three sub-triangle areas $[\triangle MBC] + [\triangle MCA] + [\triangle MAB]$.
  2. Lemma 2: Positive numbers $d_1, d_2, d_3$ form the sides of a triangle if and only if each is less than the sum of the other two. Applying Lemma 1, the triangle inequalities reduce to $d_i < h/2$.
  3. Lemma 3: The locus of points inside an equilateral triangle with distances to sides less than $h/2$ is the interior of the medial triangle scaled by $1/2$, bounded by lines parallel to the sides at distance $h/2$.
  4. Lemma 4: In a regular tetrahedron, the sum of distances from any interior point to the four faces equals the tetrahedron’s altitude $H$. This follows from volume decomposition analogous to Lemma 1.
  5. Lemma 5: Positive numbers $d_1, d_2, d_3, d_4$ form a quadrilateral if and only if each is less than the sum of the other three. Using Lemma 4, this reduces to $d_i < H/2$.
  6. Lemma 6: The locus of points inside a regular tetrahedron with distances to faces less than $H/2$ is the interior of a smaller tetrahedron around the centroid, with faces parallel to the original faces at distance $H/2$.

The hardest direction is proving necessity: that exceeding half the altitude violates the inequalities. Lemma 2 and Lemma 5 are the steps most prone to error if one neglects the exact bounds.

Solution

Consider the equilateral triangle with side length $a$ and altitude $h = \frac{\sqrt{3}}{2} a$. Let $M$ be any point inside the triangle, and denote $d_1$, $d_2$, $d_3$ the distances from $M$ to the sides $AB$, $BC$, and $CA$, respectively. Each sub-triangle $MBC$, $MCA$, $MAB$ has area $\frac{1}{2} a d_i$. Summing, the area of $\triangle ABC$ is

$$[\triangle ABC] = [\triangle MBC] + [\triangle MCA] + [\triangle MAB] = \frac{1}{2} a (d_1 + d_2 + d_3).$$

Comparing with $[\triangle ABC] = \frac{1}{2} a h$ yields

$$d_1 + d_2 + d_3 = h.$$

For $d_1, d_2, d_3$ to form a triangle, the triangle inequalities require $d_1 < d_2 + d_3$, $d_2 < d_3 + d_1$, $d_3 < d_1 + d_2$. Substituting $d_1 + d_2 + d_3 = h$ gives $d_1 < h - d_1$, hence $d_1 < h/2$. Similarly, $d_2 < h/2$ and $d_3 < h/2$. Conversely, if $d_1, d_2, d_3 < h/2$, their sum is $h$, and each is smaller than the sum of the other two. Therefore, the condition is necessary and sufficient. Geometrically, the set of points inside the triangle satisfying $d_i < h/2$ is the interior of the triangle bounded by lines parallel to the sides at distance $h/2$ from each side.

Consider the regular tetrahedron with side length $a$ and altitude $H = \frac{\sqrt{6}}{3} a$. Let $M$ be an interior point, and let $d_1, d_2, d_3, d_4$ be its distances to the faces. Decomposing the tetrahedron into four smaller tetrahedra with vertex $M$ and each face of the original tetrahedron as base, their volumes are $\frac{1}{3} \cdot (\text{area of face}) \cdot d_i$. Summing over all faces gives the volume of the tetrahedron

$$V = \frac{1}{3} S H = \sum_{i=1}^{4} \frac{1}{3} S d_i,$$

where $S$ is the area of a face. Dividing by $\frac{1}{3} S$ yields $d_1 + d_2 + d_3 + d_4 = H$. The quadrilateral inequalities require $d_i < d_j + d_k + d_l$ for all $i$, which translates to $d_i < H - d_i$, or $d_i < H/2$. Conversely, if $d_i < H/2$ for all $i$, the inequalities are satisfied. The set of points satisfying this condition is the interior of a tetrahedron similar to the original one, with faces parallel to the original faces and each at distance $H/2$ from it.

This completes the proof.

∎

Verification of Key Steps

The critical step in the triangle case is confirming that $d_1 + d_2 + d_3 = h$ holds for any interior point. Constructing several points along medians and random interior points, direct calculation using the area decomposition confirms exact equality. For the tetrahedron, decomposing volume into four tetrahedra with shared vertex $M$ and summing gives $d_1 + d_2 + d_3 + d_4 = H$, verified explicitly for a centroid point and points along edges. The reduction from inequalities $d_i < d_j + d_k + d_l$ to $d_i < H/2$ is validated numerically by checking $d_1 = H/2 + \epsilon$ violates the inequality.

Alternative Approaches

An alternative approach for the triangle uses barycentric coordinates. Let $M$ have coordinates $(\lambda_1, \lambda_2, \lambda_3)$ with $\lambda_i > 0$ and $\lambda_1 + \lambda_2 + \lambda_3 = 1$. Distances to sides are proportional to $\lambda_i h$, and triangle inequalities become $\lambda_i < 1/2$, recovering the same interior triangle. For the tetrahedron, barycentric coordinates $(\lambda_1, \lambda_2, \lambda_3, \lambda_4)$ give $d_i = \lambda_i