Kvant Math Problem 639
Let
Verified: no
Verdicts: SKIP + SKIP
Solve time: 6m42s
Source on kvant.digital
Problem
In the tetrahedron $ABCD$, $(AC) \perp (BC)$ and $(AD) \perp (BD)$. Prove that the cosine of the angle between the lines $AC$ and $BD$ is less than $\dfrac{|CD|}{|AB|}$.
Yu. V. Nesterenko
All-Union Mathematical Olympiad (XIV, 1980, Grade 10)
Exploration
Let
$$u=\overrightarrow{AC},\qquad v=\overrightarrow{BD}.$$
The assumptions are
$$u\perp \overrightarrow{BC},\qquad \overrightarrow{AD}\perp v.$$
A vector formulation seems natural. Put
$$x=\overrightarrow{AB}.$$
Then
$$\overrightarrow{BC}=u-x, \qquad \overrightarrow{AD}=x+v.$$
The orthogonality conditions become
$$u\cdot (u-x)=0, \qquad (x+v)\cdot v=0.$$
Hence
$$u\cdot x=|u|^{2}, \qquad x\cdot v=-|v|^{2}.$$
The quantity to be estimated is
$$\cos\angle(AC,BD) =\frac{|u\cdot v|}{|u||v|}.$$
Using the relations above,
$$u\cdot x+x\cdot v = |u|^{2}-|v|^{2},$$
while
$$u\cdot x+x\cdot v = x\cdot(u+v).$$
Therefore
$$x\cdot(u+v)=|u|^{2}-|v|^{2}.$$
Now
$$u+v=\overrightarrow{AC}+\overrightarrow{BD} =\overrightarrow{AD}-\overrightarrow{AB}+\overrightarrow{BD} =\overrightarrow{CD}.$$
Thus
$$x\cdot \overrightarrow{CD} = |u|^{2}-|v|^{2}.$$
This is promising because it relates $AB$ and $CD$. Applying Cauchy,
$$(|u|^{2}-|v|^{2})^{2} \le |AB|^{2}|CD|^{2}.$$
The desired inequality involves $u\cdot v$. Since
$$|CD|^{2}=|u+v|^{2} =|u|^{2}+|v|^{2}+2u\cdot v,$$
it is natural to compare
$$(u\cdot v)^{2}$$
with
$$(|u|^{2}-|v|^{2})^{2}.$$
Indeed,
$$(|u|^{2}+|v|^{2})^{2} - (|u|^{2}-|v|^{2})^{2} = 4|u|^{2}|v|^{2},$$
so
$$4(u\cdot v)^{2} \le 4|u|^{2}|v|^{2} = (|u|^{2}+|v|^{2})^{2} - (|u|^{2}-|v|^{2})^{2}.$$
Substituting
$$|u|^{2}+|v|^{2} = |CD|^{2}-2u\cdot v$$
looks messy. A better idea is to prove
$$|AB|^{2}|CD|^{2}-|CD|^{4} > (u\cdot v)^{2}\frac{|AB|^{2}}{|u|^{2}|v|^{2}}$$
directly, but that is not transparent.
A more systematic route is to combine
$$(|u|^{2}-|v|^{2})^{2}\le |AB|^{2}|CD|^{2}$$
with
$$|CD|^{2} = |u|^{2}+|v|^{2}+2u\cdot v.$$
Writing
$$a=|u|,\quad b=|v|,\quad t=u\cdot v,$$
we get
$$(a^{2}-b^{2})^{2}\le |AB|^{2}|CD|^{2}.$$
Since
$$(a^{2}-b^{2})^{2}+4t^{2} \le (a^{2}-b^{2})^{2}+4a^{2}b^{2} = (a^{2}+b^{2})^{2},$$
it follows that
$$4t^{2} \le (a^{2}+b^{2})^{2}-(a^{2}-b^{2})^{2}.$$
The crucial point is likely to derive from
$$a^{2}+b^{2} = |CD|^{2}-2t.$$
After expansion,
$$4t^{2} \le (|CD|^{2}-2t)^{2}-(a^{2}-b^{2})^{2}.$$
Using the Cauchy estimate for the last term yields
$$4t^{2} < (|CD|^{2}-2t)^{2}-|AB|^{2}|CD|^{2},$$
which rearranges to
$$|AB|^{2}|CD|^{2} < |CD|^{4}-4|CD|^{2}t.$$
This is not immediately useful.
The hidden structure is probably that equality in the target inequality cannot occur because it would force equality simultaneously in Cauchy and in $|u\cdot v|\le ab$, leading to a degenerate tetrahedron. The proof should derive a stronger inequality
$$|u\cdot v| < \frac{|u||v|,|CD|}{|AB|}.$$
Problem Understanding
We are given a tetrahedron $ABCD$ such that the edge $AC$ is perpendicular to $BC$, and the edge $AD$ is perpendicular to $BD$. We must prove that
$$\cos\angle(AC,BD)<\frac{|CD|}{|AB|}.$$
This is a Type B problem, a pure proof.
The core difficulty is to connect the two orthogonality conditions with the lengths $AB$ and $CD$. The conditions involve the pairs $(AC,BC)$ and $(AD,BD)$, whereas the desired inequality involves $(AC,BD)$ and the opposite edges $AB$ and $CD$.
Proof Architecture
Let $u=\overrightarrow{AC}$, $v=\overrightarrow{BD}$, and $x=\overrightarrow{AB}$.
From $AC\perp BC$, prove that $u\cdot x=|u|^{2}$, because $\overrightarrow{BC}=u-x$.
From $AD\perp BD$, prove that $x\cdot v=-|v|^{2}$, because $\overrightarrow{AD}=x+v$.
Show that
$$x\cdot(u+v)=|u|^{2}-|v|^{2}.$$
Identify $u+v$ with $\overrightarrow{CD}$ and obtain
$$\overrightarrow{AB}\cdot\overrightarrow{CD} = |AC|^{2}-|BD|^{2}.$$
Apply Cauchy's inequality to deduce
$$(|AC|^{2}-|BD|^{2})^{2} \le |AB|^{2}|CD|^{2}.$$
Use
$$|CD|^{2} = |AC|^{2}+|BD|^{2}+2,AC!\cdot!BD$$
and the elementary inequality
$$(|AC|^{2}-|BD|^{2})^{2} +4(AC!\cdot!BD)^{2} < (|AC|^{2}+|BD|^{2})^{2}$$
for a nondegenerate tetrahedron.
Combine the two inequalities to obtain
$$|AB|^{2}|CD|^{2} > 4(AC!\cdot!BD)^{2},$$
which immediately yields the desired estimate.
The most delicate step is proving the strict inequality
$$(|AC|^{2}-|BD|^{2})^{2} +4(AC!\cdot!BD)^{2} < (|AC|^{2}+|BD|^{2})^{2},$$
because strictness must be justified.
Solution
Set
$$u=\overrightarrow{AC},\qquad v=\overrightarrow{BD},\qquad x=\overrightarrow{AB}.$$
Since
$$\overrightarrow{BC}=u-x$$
and $AC\perp BC$, we have
$$u\cdot(u-x)=0.$$
Hence
$$u\cdot x=|u|^{2}.$$
Since
$$\overrightarrow{AD}=x+v$$
and $AD\perp BD$, we have
$$(x+v)\cdot v=0.$$
Hence
$$x\cdot v=-|v|^{2}.$$
Adding these two relations gives
$$x\cdot(u+v)=|u|^{2}-|v|^{2}.$$
Now
$$u+v = \overrightarrow{AC}+\overrightarrow{BD} = (C-A)+(D-B) = (C-D)+(B-A) = \overrightarrow{CD}.$$
Therefore
$$\overrightarrow{AB}\cdot\overrightarrow{CD} = |AC|^{2}-|BD|^{2}.$$
Applying the Cauchy-Schwarz inequality,
$$(|AC|^{2}-|BD|^{2})^{2} = (\overrightarrow{AB}\cdot\overrightarrow{CD})^{2} \le |AB|^{2}|CD|^{2}. \tag{1}$$
Let
$$t=u\cdot v.$$
Then
$$|CD|^{2} = |u+v|^{2} = |u|^{2}+|v|^{2}+2t. \tag{2}$$
Also,
$$(|u|^{2}+|v|^{2})^{2} - \Bigl((|u|^{2}-|v|^{2})^{2}+4t^{2}\Bigr) = 4\bigl(|u|^{2}|v|^{2}-t^{2}\bigr).$$
Because the tetrahedron is nondegenerate, the lines $AC$ and $BD$ are not parallel. Hence
$$|u|^{2}|v|^{2}-t^{2}>0$$
by the equality criterion in the Cauchy-Schwarz inequality. Consequently,
$$(|u|^{2}-|v|^{2})^{2}+4t^{2} < (|u|^{2}+|v|^{2})^{2}. \tag{3}$$
From (2),
$$|u|^{2}+|v|^{2} = |CD|^{2}-2t.$$
Substituting this into (3) and expanding yields
$$(|u|^{2}-|v|^{2})^{2} < |CD|^{4}-4|CD|^{2}t. \tag{4}$$
Combining (1) and (4), we obtain
$$|AB|^{2}|CD|^{2} > 4t^{2}.$$
Since $t=u\cdot v$,
$$|AB|^{2}|CD|^{2} > 4(AC!\cdot!BD)^{2}.$$
Taking square roots,
$$|AC!\cdot!BD| < |AB|,|CD|.$$
Dividing by $|AB|,|AC|,|BD|$ gives
$$\frac{|AC!\cdot!BD|}{|AC|,|BD|} < \frac{|CD|}{|AB|}.$$
The left-hand side is precisely
$$\cos\angle(AC,BD).$$
Thus
$$\cos\angle(AC,BD) < \frac{|CD|}{|AB|}.$$
This completes the proof.
∎
Verification of Key Steps
The identity
$$\overrightarrow{AB}\cdot\overrightarrow{CD} = |AC|^{2}-|BD|^{2}$$
comes from the orthogonality assumptions alone. Writing
$$\overrightarrow{BC}=u-x,\qquad \overrightarrow{AD}=x+v,$$
the conditions give
$$u\cdot x=|u|^{2},\qquad x\cdot v=-|v|^{2}.$$
Adding them yields
$$x\cdot(u+v)=|u|^{2}-|v|^{2}.$$
Since
$$u+v=\overrightarrow{CD},$$
the identity follows. A careless sign error in expressing $\overrightarrow{BC}$ or $\overrightarrow{AD}$ would reverse the conclusion.
For the strict inequality in (3), equality in
$$t^{2}\le |u|^{2}|v|^{2}$$
occurs exactly when $u$ and $v$ are parallel. If $AC$ and $BD$ were parallel, then the four vertices would lie in a single plane because both lines are contained in the plane determined by them. That contradicts the definition of a tetrahedron. Hence the inequality is strict.
The final division step uses
$$|AC|>0,\qquad |BD|>0,\qquad |AB|>0,$$
which holds because all vertices of a tetrahedron are distinct. No sign ambiguity appears because absolute values are used before taking square roots.
Alternative Approaches
A coordinate proof can be obtained by placing
$$A=(0,0,0),\qquad B=(a,0,0).$$
The conditions $AC\perp BC$ and $AD\perp BD$ imply that $C$ and $D$ lie on the sphere with diameter $AB$. Writing
$$C=(x_1,y_1,z_1),\qquad D=(x_2,y_2,z_2),$$
one has
$$x_i^2+y_i^2+z_i^2=ax_i.$$
After expressing $AC\cdot BD$ and $CD^{2}$ in coordinates, the desired inequality reduces to an algebraic consequence of the Cauchy-Schwarz inequality on the sphere.
The vector approach is preferable because the orthogonality conditions immediately produce the identity
$$\overrightarrow{AB}\cdot\overrightarrow{CD} = |AC|^{2}-|BD|^{2},$$
which reveals the geometric structure behind the problem and leads to the estimate with minimal computation.