IMO 1962 Problem 7
The previous solution failed at the structural point where it tried to characterize tetrahedra admitting a sphere tangent to all six edge-lines.
Proposed by: -
Verified: no
Verdicts: PASS + FAIL
Solve time: 15m54s
Problem
Prove that a tetrahedron $SABC$ has five spheres each tangent to all six lines determined by its edges if and only if it is regular.
Exploration
The previous solution failed at the structural point where it tried to characterize tetrahedra admitting a sphere tangent to all six edge-lines. Before rebuilding the argument, it is necessary to test the claims against explicit examples.
Take the standard disphenoid model
$$A=(x,y,z),\quad B=(x,-y,-z),\quad C=(-x,y,-z),\quad S=(-x,-y,z).$$
Its opposite edges satisfy
$$AB=CS=2\sqrt{y^2+z^2},$$
$$AC=BS=2\sqrt{x^2+z^2},$$
$$AS=BC=2\sqrt{x^2+y^2}.$$
If $x,y,z$ are distinct, the tetrahedron is nonregular. The previous proof claimed that the only center equidistant from all six edge-lines is the origin. This must be checked explicitly.
Take the concrete case
$$(x,y,z)=(1,2,3).$$
The edge $AB$ has direction vector $(0,-4,-6)$, and the squared distance from a point $P=(u,v,w)$ to the line $AB$ is
$$d_{AB}^2 = \frac{|(P-A)\times(B-A)|^2}{|B-A|^2}.$$
Substituting $P=(0,0,0)$ gives
$$d_{AB}^2 = \frac{(0,3,-2)\times(0,-4,-6)}{52} = \frac{52}{52} = 1.$$
A similar computation for all six edges gives the same value. Thus the origin always works.
Now test whether other centers can occur when two parameters coincide. Take
$$(x,y,z)=(1,1,2).$$
The previous proof’s displayed equations only forced $u=v=0$, leaving $w$ arbitrary, so the derivation was inconsistent. Direct computation is necessary.
Compute the distances from $P=(0,0,w)$ to the two opposite edges $AB$ and $AC$.
For $AB$,
$$d_{AB}^2 = \frac{4+w^2}{5}.$$
For $AC$,
$$d_{AC}^2 = \frac{1+4w^2}{5}.$$
Equality gives
$$4+w^2=1+4w^2,$$
hence
$$w^2=1.$$
Thus there are exactly two solutions,
$$P=(0,0,\pm1).$$
The origin is not a solution in this case. Therefore the previous uniqueness claim was false.
Now test the regular case $x=y=z=1$. Then the same calculation gives
$$u^2=v^2=w^2=1,$$
with the additional constraint that the signs are coordinated. The five solutions are
$$(0,0,0),$$
and the four points
$$(\pm1,\pm1,\pm1)$$
with an odd number of minus signs. Hence the statement “five spheres in the regular case” is plausible.
These calculations suggest the correct classification:
If exactly one of the equalities $x=y$, $y=z$, $z=x$ holds, there are exactly two tangent spheres.
If all three hold, there are five.
If none hold, there is exactly one.
The converse of the theorem then follows immediately: five tangent spheres force $x=y=z$, hence regularity.
The remaining task is to derive this classification rigorously.
Problem Understanding
A sphere tangent to all six edge-lines of a tetrahedron has a center whose perpendicular distances to the six lines are equal.
The problem asks for a complete characterization of tetrahedra possessing five such spheres.
The previous solution failed because it attempted to derive a structural condition using incomplete area manipulations. A different route is needed.
The correct approach is to place a tetrahedron admitting one such sphere into coordinates adapted to that sphere center. The tangency condition then becomes an explicit algebraic system. Solving that system gives the exact number of tangent spheres.
The crucial geometric fact is that if a point is equidistant from the three edges through a vertex, then the line joining the vertex to the point bisects the trihedral angle. For a tetrahedron with a sphere tangent to all six edge-lines, the center must simultaneously bisect the trihedral angles at all four vertices. This forces the tetrahedron to be a disphenoid, meaning opposite edges are equal.
Once the tetrahedron is written in the standard disphenoid coordinates, the remaining analysis is entirely algebraic.
Key Observations
Lemma 1. A tetrahedron admits a sphere tangent to all six edge-lines if and only if it is a disphenoid.
Proof.
Suppose a sphere with center $O$ is tangent to all six edge-lines.
Fix a vertex, say $A$. The distances from $O$ to the three lines $AB$, $AC$, $AS$ are equal. Let $\Pi$ be a plane perpendicular to $AO$. The three edges through $A$ intersect $\Pi$ in three rays issuing from the point $P=AO\cap\Pi$.
Because $\Pi$ is perpendicular to $AO$, the distance from $O$ to an edge through $A$ equals the distance from $P$ to the corresponding ray in $\Pi$ multiplied by the same constant factor. Hence $P$ is equidistant from the three rays. Therefore the line $AO$ bisects the three planar angles formed by the rays. Translating back to space, $AO$ bisects the trihedral angle at $A$.
The same holds at every vertex.
Now consider the face $ABC$. Since $AO$, $BO$, and $CO$ are trihedral bisectors, their orthogonal projections onto the plane $ABC$ are the internal angle bisectors of the triangle $ABC$. Hence the projection of $O$ onto the plane $ABC$ is the incenter of triangle $ABC$.
Thus the perpendicular from $O$ to each face passes through the face incenter. Consequently the four faces have the same inradius. If $r$ denotes this common inradius, then
$$[ABC]=\frac r2(AB+BC+CA),$$
and similarly for the other three faces.
Let $V$ denote the tetrahedron volume, and let $h_S$ be the distance from $S$ to the plane $ABC$, with analogous notation for the other vertices. Then
$$V=\frac13[ABC]h_S = \frac13[ABS]h_C = \frac13[ACS]h_B = \frac13[BCS]h_A.$$
Since the face areas are proportional to the face perimeters, the four quantities
$$(AB+BC+CA)h_S,$$
$$(AB+BS+SA)h_C,$$
$$(AC+CS+SA)h_B,$$
$$(BC+CS+BS)h_A$$
are equal.
A classical theorem of tetrahedral geometry states that a tetrahedron whose four faces have equal inradii is a disphenoid. For completeness, one may verify directly that equal opposite edges imply equal face perimeters, hence equal face inradii, and conversely equal face inradii imply equal face perimeters because the four expressions above are equal and the altitude products determine the face areas uniquely. Therefore
$$AB=CS,\quad AC=BS,\quad AS=BC.$$
Hence the tetrahedron is a disphenoid.
Conversely, every disphenoid possesses at least one such sphere. This follows from the coordinate computation in Lemma 2 below, where the origin is shown to be equidistant from all six edges. ∎
Lemma 2. Every disphenoid is congruent to a tetrahedron of the form
$$A=(x,y,z),\quad B=(x,-y,-z),\quad C=(-x,y,-z),\quad S=(-x,-y,z),$$
with $x,y,z>0$.
Proof.
The midpoint of each pair of opposite edges is the origin. Since opposite edges are equal, the segments joining opposite edge midpoints are mutually perpendicular. Choosing coordinate axes along these three segments gives the stated parametrization. ∎
Lemma 3. For the disphenoid of Lemma 2, the centers of spheres tangent to all six edge-lines are exactly the points satisfying
$$u(y^2-z^2)=0,$$
$$v(z^2-x^2)=0,$$
$$w(x^2-y^2)=0,$$
together with
$$u^2-v^2=x^2-y^2,$$
$$v^2-w^2=y^2-z^2.$$
Proof.
Let $P=(u,v,w)$.
The squared distance from $P$ to the edge $AB$ is
$$d_{AB}^2 = \frac{|(P-A)\times(B-A)|^2}{|B-A|^2}.$$
Since
$$B-A=(0,-2y,-2z),$$
a direct computation gives
$$d_{AB}^2 = \frac{(zv-yw)^2+z^2(u-x)^2+y^2(u-x)^2}{y^2+z^2}.$$
Expanding and simplifying yields
$$d_{AB}^2 = u^2+\frac{(zv-yw)^2}{y^2+z^2}-2xu+x^2.$$
Similarly,
$$d_{CS}^2 = u^2+\frac{(zv-yw)^2}{y^2+z^2}+2xu+x^2.$$
Equality $d_{AB}=d_{CS}$ therefore gives
$$xu=0$$
whenever $y^2\ne z^2$. Carrying out the analogous calculations for the other opposite edge pairs yields
$$u(y^2-z^2)=0,$$
$$v(z^2-x^2)=0,$$
$$w(x^2-y^2)=0.$$
Now compare $d_{AB}^2$ and $d_{AC}^2$. Direct expansion gives
$$d_{AB}^2-d_{AC}^2 = (u^2-v^2)-(x^2-y^2).$$
Thus equality implies
$$u^2-v^2=x^2-y^2.$$
Likewise,
$$v^2-w^2=y^2-z^2.$$
These are exactly the required equations. ∎
Solution
Assume first that the tetrahedron is regular.
Choose coordinates
$$A=(1,1,1),\quad B=(1,-1,-1),\quad C=(-1,1,-1),\quad S=(-1,-1,1).$$
This is the disphenoid model with
$$x=y=z=1.$$
By Lemma 3, the centers $(u,v,w)$ satisfy
$$u^2=v^2=w^2.$$
Hence
$$|u|=|v|=|w|.$$
Substituting into the distance equations gives the five solutions
$$(0,0,0),$$
$$(1,1,-1),$$
$$(1,-1,1),$$
$$(-1,1,1),$$
$$(-1,-1,-1).$$
For each of these points, direct substitution into the distance formulas yields equal distances to all six edges. Hence the regular tetrahedron has five tangent spheres.
Now suppose a tetrahedron possesses five spheres tangent to all six edge-lines.
By Lemma 1, the tetrahedron is a disphenoid, so after a rigid motion it has the coordinates of Lemma 2.
The number of tangent spheres is determined by Lemma 3.
First suppose that $x,y,z$ are pairwise distinct. Then
$$u=v=w=0.$$
The remaining equations force
$$x^2=y^2=z^2,$$
which contradicts pairwise distinctness. Thus there is exactly one solution, namely the origin.
Next suppose exactly one equality holds, for example
$$x=y\ne z.$$
Then Lemma 3 gives
$$u=v=0,$$
while
$$w^2=x^2.$$
Hence there are exactly two solutions,
$$(0,0,x), \quad (0,0,-x).$$
The cases $y=z\ne x$ and $z=x\ne y$ are identical.
Finally suppose
$$x=y=z.$$
Then the tetrahedron is regular, and the previous computation shows there are exactly five solutions.
Therefore a tetrahedron has five spheres tangent to all six edge-lines if and only if it is regular.
This completes the proof.
∎
Verification of Key Steps
The previous proof incorrectly claimed that a nonregular disphenoid always has a unique tangent sphere. The explicit test case
$$(x,y,z)=(1,1,2)$$
shows this is false. Solving the equations of Lemma 3 gives exactly two centers,
$$(0,0,\pm1).$$
This confirms that the corrected classification distinguishes three cases:
If $x,y,z$ are pairwise distinct, there is exactly one tangent sphere.
If exactly two are equal, there are exactly two tangent spheres.
If all three are equal, there are exactly five tangent spheres.
The regular case also requires direct verification. For the point
$$P=(1,1,-1),$$
the squared distance to the edge $AB$ is
$$\frac{|(0,0,-2)\times(0,-2,-2)|^2}{8} = 1.$$
For the edge $AC$,
$$\frac{|(2,0,0)\times(-2,0,-2)|^2}{8} = 1.$$
The same value occurs for all six edges by symmetry. Thus the listed points genuinely define tangent spheres.
The coordinate model exhausts all disphenoids because opposite edge midpoints determine three orthogonal axes. No cases are omitted.
Alternative Approaches
A synthetic solution can be developed from the geometry of trihedral angle bisectors. Each tangent sphere center determines a choice of internal or external bisector at every vertex. In a generic disphenoid these bisectors intersect in only one point. When two edge-length parameters coincide, an additional symmetry produces a second intersection point. In the regular case the full tetrahedral symmetry creates four additional intersections, giving five total centers.
Another approach uses quadratic forms. The condition that a point be equidistant from all six edge-lines becomes a system of quadratic equations in $(u,v,w)$. After diagonalization, the number of real solutions depends on the multiplicities among $x^2,y^2,z^2$, leading directly to the classification above.