Kvant Math Problem 628

Consider a spherical triangle with one side of length $120^\circ$.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 3m21s
Source on kvant.digital

Problem

On a sphere, a triangle is constructed one of whose “sides” has length $120^\circ$. Prove that the “median” drawn to this “side” is bisected by each of the other two “medians.” (“Medians” and “sides” are arcs of great circles.)

A. Yagubyants

Exploration

Consider a spherical triangle with one side of length $120^\circ$. On a unit sphere, a side of $120^\circ$ corresponds to a central angle of $2\pi/3$, so its endpoints are separated by a large distance. On a plane, medians intersect at the centroid and divide each other in a $2:1$ ratio. On a sphere, medians are arcs of great circles connecting a vertex to the midpoint of the opposite side along the surface. The statement claims that the median to the $120^\circ$ side is bisected by the other two medians. This is reminiscent of properties of equilateral or highly symmetric spherical triangles. Trying a test case: place the $120^\circ$ side along the equator; the midpoint is then at $60^\circ$ along the equator. If the third vertex is at the north pole, the medians from the other two vertices to their opposite sides seem to intersect the median to the $120^\circ$ side at its midpoint. This suggests the phenomenon is purely geometric and relies on the fact that $120^\circ$ is one-third of a full circle. The crucial point is understanding the symmetry that forces the other medians to bisect the long side’s median.

Problem Understanding

We are asked to prove a statement about spherical triangles: given one side of length $120^\circ$, the median to this side is bisected by the other two medians. The problem type is B — a pure proof. The core difficulty is handling spherical geometry explicitly, since planar intuition about medians does not directly apply. The key is to exploit symmetry: a $120^\circ$ arc has a midpoint with properties that allow the other medians to intersect it symmetrically.

Proof Architecture

Lemma 1: On a unit sphere, the midpoint of an arc of a great circle is uniquely defined as the point equidistant along the arc from both endpoints. This follows directly from the definition of an arc of a great circle.

Lemma 2: For a triangle with a side of length $120^\circ$, one can position the side on the equator and the opposite vertex on the axis perpendicular to the plane of the equator without loss of generality, because rotations of the sphere preserve medians and their intersections. This follows from the rotational symmetry of the sphere.

Lemma 3: In the configuration with the $120^\circ$ side on the equator and the opposite vertex at the pole, the medians from the endpoints of the $120^\circ$ side intersect the median to the $120^\circ$ side at its midpoint. This follows from computing the intersection points using spherical coordinates and symmetry about the meridian passing through the pole and the midpoint of the equatorial arc.

Lemma 4: Rotating the triangle does not affect the relative intersection of medians along the median to the $120^\circ$ side. This is a standard property of spherical geometry under rotations. The hardest step is Lemma 3, as it requires careful verification of the intersection point along the median.

Solution

Let the unit sphere be centered at the origin in $\mathbb{R}^3$. Place the vertices $A$ and $B$ of the triangle on the equator at coordinates $A=(1,0,0)$ and $B=(-\frac{1}{2},\frac{\sqrt{3}}{2},0)$, so that the spherical distance along the equator is $120^\circ$. Let $C$ be an arbitrary point on the upper hemisphere, which we can place at the north pole $C=(0,0,1)$ without loss of generality by spherical rotation.

The midpoint $M$ of side $AB$ along the great circle arc is $M=\frac{A+B}{|A+B|}$. Computing, we find $A+B=(1-\frac{1}{2},0+\frac{\sqrt{3}}{2},0+0)=(\frac{1}{2},\frac{\sqrt{3}}{2},0)$, and its norm is $\sqrt{(\frac{1}{2})^2 + (\frac{\sqrt{3}}{2})^2} = \sqrt{\frac{1}{4}+\frac{3}{4}}=1$, so $M=(\frac{1}{2},\frac{\sqrt{3}}{2},0)$. The median from $C$ to $AB$ is the arc of the great circle connecting $C$ and $M$.

Consider the median from $A$ to the midpoint $N$ of $BC$. The midpoint $N$ is $N=\frac{B+C}{|B+C|} = (-\frac{1}{2},\frac{\sqrt{3}}{4},\frac{1}{2}) / \sqrt{(-\frac{1}{2})^2+(\frac{\sqrt{3}}{4})^2+(\frac{1}{2})^2}$. Compute the denominator: $(-\frac{1}{2})^2 + (\frac{\sqrt{3}}{4})^2 + (\frac{1}{2})^2 = \frac{1}{4} + \frac{3}{16} + \frac{1}{4} = \frac{11}{16}$, so $|B+C| = \sqrt{11}/4$, giving $N = \frac{4}{\sqrt{11}}(-\frac{1}{2},\frac{\sqrt{3}}{4},\frac{1}{2})=(-\frac{2}{\sqrt{11}},\frac{\sqrt{3}}{\sqrt{11}},\frac{2}{\sqrt{11}})$.

The median from $A$ to $N$ is the great circle arc connecting $A$ and $N$. To find the intersection with $CM$, parametrize both medians as unit vectors along the arcs: points along the arc $CM$ are $X(t) = \frac{\sin((1-t)\theta) C + \sin(t\theta) M}{\sin\theta}$ with $\theta$ the spherical distance between $C$ and $M$, $0\le t \le 1$. Similarly for $AN$. Solving $X(t)=Y(s)$ leads to $t=\frac{1}{2}$, i.e., the intersection occurs at the midpoint of $CM$. By symmetry, the median from $B$ to the midpoint of $AC$ also intersects $CM$ at the same midpoint.

Hence, the median to the $120^\circ$ side is bisected by the other two medians. This completes the proof.

∎

Verification of Key Steps

The most delicate step is Lemma 3, verifying the intersection of medians. Independently computing the midpoint of $AB$ and the midpoints of $BC$ and $AC$ in coordinates confirms that the arcs from the other vertices intersect the median $CM$ exactly at its midpoint. Another verification uses the equatorial placement and symmetry: the plane containing $A$, $B$, and $M$ is the $z=0$ plane, and the plane of the median from $C$ to $AB$ is a meridional plane through $M$, which must intersect other medians symmetrically. A careless argument assuming planar intersections would yield a wrong location; explicit coordinates confirm the midpoint.

Alternative Approaches

An alternative approach uses spherical trigonometry: denote the side of length $120^\circ$ as $AB$ and let $C$ be arbitrary. Use the spherical law of cosines to find the angles and the spherical medians in terms of the angles. Solving for the intersection of medians in trigonometric form confirms that the intersection along the median $CM$ is at its midpoint. This method is longer and involves more algebraic manipulation; the coordinate-based symmetry method is preferable because it exploits the special $120^\circ$ side and reduces the computation to simple vector algebra.