IMO 1970 Problem 5

Proposed by: -
Verified: yes
Verdicts: PASS + PASS
Solve time: 11m47s

Problem

In the tetrahedron $ABCD$, angle $BDC$ is a right angle. Suppose that the foot $H$ of the perpendicular from $D$ to the plane $ABC$ in the tetrahedron is the intersection of the altitudes of $\triangle ABC$. Prove that

$( AB+BC+CA )^2 \leq 6( AD^2 + BD^2 + CD^2 )$.

For what tetrahedra does equality hold?

Exploration

The configuration places strong orthogonality constraints: the projection of $D$ onto the plane $ABC$ is the orthocenter of $\triangle ABC$, and at the same time $\angle BDC$ is a right angle. This suggests working in a coordinate system centered at the orthocenter so that the perpendicular relations in the plane become linear orthogonality relations among position vectors.

A natural attempt is to represent $A,B,C$ as vectors $a,b,c$ with origin at $H$, and to encode the orthocenter condition as $a \perp (b-c)$, $b \perp (c-a)$, $c \perp (a-b)$. This forces all pairwise dot products $a\cdot b$, $b\cdot c$, $c\cdot a$ to coincide, reducing the planar geometry to a single parameter.

The condition that $H$ is the foot of the perpendicular from $D$ to the plane implies that the vector of $D$ is orthogonal to the plane spanned by $a,b,c$, hence orthogonal to each of $a,b,c$. This annihilates mixed dot products involving $D$.

The right angle at $BDC$ translates into an orthogonality condition between $b-d$ and $c-d$, producing a relation between the common planar dot product and $|d|^2$.

The main inequality compares a linear expression in side lengths of $\triangle ABC$ with squared distances from $D$. A squared expansion combined with a quadratic comparison suggests reducing everything to sums of squared lengths and a single dot product parameter.

The most delicate point is controlling the transition from linear edge sums to squared expressions without losing sharpness, where a symmetric inequality such as Cauchy or QM-AM is expected to enter.

Problem Understanding

The problem concerns a tetrahedron $ABCD$ in which the projection of $D$ onto the plane $ABC$ coincides with the orthocenter of $\triangle ABC$, and the angle at $D$ formed by $B$ and $C$ is right. The goal is to prove an inequality relating the perimeter of $\triangle ABC$ to the sum of squared edges from $D$ to the vertices, and to determine when equality occurs.

This is a Type C problem, since it is an inequality with an accompanying equality characterization.

The expected structure is that the orthocenter condition imposes a rigid vector symmetry in the plane, while the perpendicular projection of $D$ introduces orthogonality between $D$ and the plane. The additional right angle condition at $BDC$ links the planar configuration with the spatial position of $D$, forcing a precise balance that should collapse the inequality chain into equalities only in a highly symmetric configuration.

The inequality compares a quadratic quantity in planar edge lengths to a quadratic quantity involving spatial edges, suggesting a reduction to dot products and a controlled application of a convexity inequality.

Proof Architecture

A first lemma establishes that placing the origin at the orthocenter $H$ of $\triangle ABC$ forces the relations $a\cdot(b-c)=0$, $b\cdot(c-a)=0$, and $c\cdot(a-b)=0$, and hence $a\cdot b=b\cdot c=c\cdot a$.

A second lemma expresses all planar edge squares $AB^2$, $BC^2$, $CA^2$ in terms of $|a|^2$, $|b|^2$, $|c|^2$, and the common dot product $t$.

A third lemma uses the orthogonal projection condition to deduce that $d\cdot a=d\cdot b=d\cdot c=0$, and hence simplifies $AD^2$, $BD^2$, $CD^2$.

A fourth lemma translates the right angle condition $\angle BDC=90^\circ$ into the relation $t+|d|^2=0$.

A fifth lemma applies the quadratic mean inequality $(AB+BC+CA)^2 \le 3(AB^2+BC^2+CA^2)$.

The main argument combines these identities to reduce the inequality to a comparison between $t$ and $|d|^2$, where equality propagation determines the extremal structure.

The most fragile step is the reduction from linear edge sums to squared edge sums via the quadratic mean inequality, since equality conditions must propagate consistently through all subsequent identities.

Solution

Let vectors be taken with origin at $H$, the orthocenter of $\triangle ABC$. Define $a=\overrightarrow{HA}$, $b=\overrightarrow{HB}$, $c=\overrightarrow{HC}$, and $d=\overrightarrow{HD}$.

Since $H$ is the orthocenter of $\triangle ABC$, the lines $AH$, $BH$, and $CH$ are altitudes, so $a\perp (b-c)$, $b\perp (c-a)$, and $c\perp (a-b)$. Expanding these relations yields $a\cdot b=a\cdot c$, $b\cdot c=b\cdot a$, and $c\cdot a=c\cdot b$, hence there exists a real number $t$ such that

$a\cdot b=b\cdot c=c\cdot a=t.$

Since $H$ is the foot of the perpendicular from $D$ to the plane $ABC$, the vector $d$ is orthogonal to the plane spanned by $a,b,c$, hence

$a\cdot d=b\cdot d=c\cdot d=0.$

The condition $\angle BDC=90^\circ$ gives $(b-d)\cdot(c-d)=0$, which expands to

$b\cdot c-b\cdot d-c\cdot d+d\cdot d=0.$

Using orthogonality with $d$ yields $b\cdot c+|d|^2=0$, hence

$t=-|d|^2.$

The squared distances from $D$ to the vertices are

$AD^2=|a-d|^2=|a|^2+|d|^2,$

$BD^2=|b-d|^2=|b|^2+|d|^2,$

$CD^2=|c-d|^2=|c|^2+|d|^2,$

$AD^2+BD^2+CD^2=|a|^2+|b|^2+|c|^2+3|d|^2.$

The planar side lengths satisfy

$AB^2=|a-b|^2=|a|^2+|b|^2-2t,$

$BC^2=|b-c|^2=|b|^2+|c|^2-2t,$

$CA^2=|c-a|^2=|c|^2+|a|^2-2t,$

hence

$AB^2+BC^2+CA^2=2(|a|^2+|b|^2+|c|^2)-6t.$

The quadratic mean inequality applied to the three nonnegative numbers $AB$, $BC$, $CA$ gives

$(AB+BC+CA)^2 \le 3(AB^2+BC^2+CA^2).$

Substituting the expression for the sum of squares yields

$(AB+BC+CA)^2 \le 6(|a|^2+|b|^2+|c|^2)-18t.$

Using $t=-|d|^2$ gives

$(AB+BC+CA)^2 \le 6(|a|^2+|b|^2+|c|^2)+18|d|^2.$

On the other hand,

$6(AD^2+BD^2+CD^2)=6(|a|^2+|b|^2+|c|^2+3|d|^2)=6(|a|^2+|b|^2+|c|^2)+18|d|^2.$

This yields

$(AB+BC+CA)^2 \le 6(AD^2+BD^2+CD^2).$

Equality in the quadratic mean inequality requires $AB=BC=CA$. The relation $t=-|d|^2$ already enforces all remaining equalities in the chain, hence equality holds precisely when $\triangle ABC$ is equilateral and $t=-|d|^2$, equivalently when $a\cdot b=b\cdot c=c\cdot a=-|d|^2$.

The tetrahedra attaining equality are exactly those for which $\triangle ABC$ is equilateral with orthocenter $H$, the point $D$ lies on the line perpendicular to the plane $ABC$ through $H$, and $\angle BDC=90^\circ$ holds, which is equivalent to $|d|^2=-a\cdot b$.

Verification of Key Steps

The identity $a\cdot b=b\cdot c=c\cdot a$ follows independently from expanding $a\cdot(b-c)=0$, $b\cdot(c-a)=0$, and $c\cdot(a-b)=0$, and solving the resulting linear system of equalities among dot products.

The conversion of the right angle condition into $t+|d|^2=0$ follows directly from expanding $(b-d)\cdot(c-d)=0$ and eliminating mixed products using orthogonality of $d$ with the plane.

The transition from linear to quadratic edge sums via $(AB+BC+CA)^2 \le 3(AB^2+BC^2+CA^2)$ depends on equality occurring only under $AB=BC=CA$, and any deviation from this symmetry strictly reduces the left-hand side relative to the right-hand side.

Alternative Approaches

A different method proceeds by interpreting $A,B,C,D$ as an orthocentric system after normalization, reducing the configuration to a single quadratic form in $\mathbb{R}^3$. In that approach, the inequality becomes a statement about positivity of a symmetric matrix associated with edge lengths, and equality corresponds to rank-one degeneracy of the induced form.