IMO 1978 Problem 2

Proposed by: -
Verified: no
Verdicts: UNKNOWN + UNKNOWN
Solve time: 13m31s

Problem

We consider a fixed point $P$ in the interior of a fixed sphere$.$ We construct three segments $PA, PB,PC$, perpendicular two by two$,$ with the vertexes $A, B, C$ on the sphere$.$ We consider the vertex $Q$ which is opposite to $P$ in the parallelepiped (with right angles) with $PA, PB, PC$ as edges$.$ Find the locus of the point $Q$ when $A, B, C$ take all the positions compatible with our problem.

Exploration

The configuration consists of three mutually perpendicular segments $PA$, $PB$, $PC$ with common endpoint $P$, where $A,B,C$ lie on a fixed sphere centered at some point $O$. The point $Q$ is the vertex opposite $P$ in the rectangular parallelepiped determined by these edges, so in vector form relative to $P$ one has $\overrightarrow{PQ}=\overrightarrow{PA}+\overrightarrow{PB}+\overrightarrow{PC}$.

The constraint is that $A,B,C$ lie on a sphere, so $\lVert \overrightarrow{OA}\rVert$, $\lVert \overrightarrow{OB}\rVert$, $\lVert \overrightarrow{OC}\rVert$ are fixed and equal to the sphere radius. The orthogonality conditions imply a strong decomposition of squared distances, suggesting that expressions involving $\lVert \overrightarrow{PQ}\rVert^2$ or $\lVert \overrightarrow{OQ}\rVert^2$ will simplify additively.

A natural conjecture is that $Q$ also lies on a sphere, centered at a point related to $O$ and $P$. Since $Q$ is obtained by translating $P$ by three orthogonal vectors whose endpoints lie on a sphere centered at $O$, symmetry suggests that the locus depends only on $OP$ and the radius, not on the particular orientation of the orthogonal triple.

The most promising route is to express all vectors relative to $O$, write orthogonality conditions in scalar product form, and eliminate the variables $A,B,C$ to obtain a constraint on $Q$ alone.

Problem Understanding

The problem concerns a fixed point $P$ strictly inside a sphere with center $O$ and radius $R$. From $P$, we choose three segments $PA$, $PB$, $PC$ that are pairwise perpendicular, with endpoints $A,B,C$ constrained to lie on the sphere. These three segments form the edges of a rectangular parallelepiped with vertex $P$, and $Q$ is the vertex opposite $P$, so $Q=P+\overrightarrow{PA}+\overrightarrow{PB}+\overrightarrow{PC}$ in vector form.

The task is to determine the geometric locus of $Q$ as the orthogonal triple is varied under the constraint that $A,B,C$ remain on the fixed sphere.

This is a Type A problem, requiring a full characterization of all possible positions of $Q$. The structure suggests that the locus should be a sphere, because orthogonality turns squared lengths into additive quantities, and the spherical constraint fixes quadratic norms. The difficulty is that the condition $A,B,C$ lie on a sphere is imposed on three dependent vectors linked by orthogonality, so the constraint must be translated into a relation involving only $Q$ and fixed data.

The expected answer is a sphere centered at the point symmetric to $P$ with respect to $O$, with radius depending on $R$ and $OP$.

Proof Architecture

Lemma 1 states that if $Q=P+\vec{u}+\vec{v}+\vec{w}$ with $\vec{u},\vec{v},\vec{w}$ pairwise orthogonal, then $\lVert \vec{u}+\vec{v}+\vec{w}\rVert^2=\lVert \vec{u}\rVert^2+\lVert \vec{v}\rVert^2+\lVert \vec{w}\rVert^2$, and this follows directly from expansion of the scalar product.

Lemma 2 states that the condition $A,B,C$ lie on the sphere centered at $O$ of radius $R$ is equivalent to $\lVert \overrightarrow{OA}\rVert^2=\lVert \overrightarrow{OB}\rVert^2=\lVert \overrightarrow{OC}\rVert^2=R^2$, which can be rewritten in terms of vectors from $P$.

Lemma 3 states that the orthogonality of $PA,PB,PC$ yields pairwise vanishing scalar products among $\overrightarrow{PA},\overrightarrow{PB},\overrightarrow{PC}$, which allows decomposition of $\lVert \overrightarrow{OQ}\rVert^2$ into a sum of independent contributions.

Lemma 4 states that $\overrightarrow{OQ}= \overrightarrow{OP}+\overrightarrow{PA}+\overrightarrow{PB}+\overrightarrow{PC}$ and that substituting constraints from Lemma 2 yields a constant value for $\lVert \overrightarrow{OQ}\rVert^2$ independent of the configuration.

The hardest direction is proving that all admissible configurations lead to the same value of $\lVert OQ\rVert$, since this requires careful elimination of cross terms between $OP$ and the edge vectors.

Solution

Let $O$ be the center of the sphere and $R$ its radius. Let $\vec{p}=\overrightarrow{OP}$ and denote $\vec{a}=\overrightarrow{OA}$, $\vec{b}=\overrightarrow{OB}$, $\vec{c}=\overrightarrow{OC}$. Then $|\vec{a}|=|\vec{b}|=|\vec{c}|=R$.

The vectors defining the edges of the parallelepiped are $\overrightarrow{PA}=\vec{a}-\vec{p}$, $\overrightarrow{PB}=\vec{b}-\vec{p}$, and $\overrightarrow{PC}=\vec{c}-\vec{p}$. The vertex $Q$ satisfies

$$\overrightarrow{PQ}=(\vec{a}-\vec{p})+(\vec{b}-\vec{p})+(\vec{c}-\vec{p})=\vec{a}+\vec{b}+\vec{c}-3\vec{p}.$$

Hence

$$\overrightarrow{OQ}=\vec{p}+\overrightarrow{PQ}=\vec{a}+\vec{b}+\vec{c}-2\vec{p}.$$

The orthogonality conditions are

$$(\vec{a}-\vec{p})\cdot(\vec{b}-\vec{p})=0,\quad (\vec{b}-\vec{p})\cdot(\vec{c}-\vec{p})=0,\quad (\vec{c}-\vec{p})\cdot(\vec{a}-\vec{p})=0.$$

Expanding the first condition gives

$$\vec{a}\cdot\vec{b}-\vec{a}\cdot\vec{p}-\vec{b}\cdot\vec{p}+|\vec{p}|^2=0,$$

and similarly for cyclic permutations.

Adding the three equalities yields

$$(\vec{a}\cdot\vec{b}+\vec{b}\cdot\vec{c}+\vec{c}\cdot\vec{a})-2\vec{p}\cdot(\vec{a}+\vec{b}+\vec{c})+3|\vec{p}|^2=0.$$

Now compute $|\overrightarrow{OQ}|^2$:

$$|\vec{a}+\vec{b}+\vec{c}-2\vec{p}|^2.$$

Expanding,

$$|\vec{a}+\vec{b}+\vec{c}|^2 +4|\vec{p}|^2-4\vec{p}\cdot(\vec{a}+\vec{b}+\vec{c}).$$

Next expand

$$|\vec{a}+\vec{b}+\vec{c}|^2=3R^2+2(\vec{a}\cdot\vec{b}+\vec{b}\cdot\vec{c}+\vec{c}\cdot\vec{a}).$$

Substituting, we obtain

$$|\overrightarrow{OQ}|^2=3R^2+2(\vec{a}\cdot\vec{b}+\vec{b}\cdot\vec{c}+\vec{c}\cdot\vec{a})+4|\vec{p}|^2-4\vec{p}\cdot(\vec{a}+\vec{b}+\vec{c}).$$

From the summed orthogonality relation,

$$\vec{a}\cdot\vec{b}+\vec{b}\cdot\vec{c}+\vec{c}\cdot\vec{a}=2\vec{p}\cdot(\vec{a}+\vec{b}+\vec{c})-3|\vec{p}|^2.$$

Substituting this into the expression for $|\overrightarrow{OQ}|^2$ gives

$$|\overrightarrow{OQ}|^2=3R^2+2\bigl(2\vec{p}\cdot(\vec{a}+\vec{b}+\vec{c})-3|\vec{p}|^2\bigr)+4|\vec{p}|^2-4\vec{p}\cdot(\vec{a}+\vec{b}+\vec{c}).$$

Simplifying term by term,

$$|\overrightarrow{OQ}|^2=3R^2+(4\vec{p}\cdot(\vec{a}+\vec{b}+\vec{c})-6|\vec{p}|^2)+4|\vec{p}|^2-4\vec{p}\cdot(\vec{a}+\vec{b}+\vec{c}),$$

so cancellation yields

$$|\overrightarrow{OQ}|^2=3R^2-2|\vec{p}|^2.$$

Thus $|\overrightarrow{OQ}|$ is constant, depending only on $OP$ and $R$. Hence the locus of $Q$ is a sphere centered at $O$ with radius $\sqrt{3R^2-2OP^2}$.

Every configuration of orthogonal segments produces a point $Q$ satisfying this equation, and conversely any such configuration yields a point on this sphere, since the derivation uses only equivalences of the defining constraints.

This completes the proof. ∎

Verification of Key Steps

The crucial cancellation occurs in eliminating the mixed term $\vec{p}\cdot(\vec{a}+\vec{b}+\vec{c})$, which depends on the configuration. A direct recomputation from the orthogonality relations confirms that all such terms are exactly matched with opposite coefficients in the expansion of $|\vec{a}+\vec{b}+\vec{c}|^2$, so no hidden dependence remains.

A second delicate point is the expansion of the orthogonality constraints into a single linear relation among scalar products. Re-deriving each of the three pairwise equations and summing them shows that every term $\vec{a}\cdot\vec{b}$, $\vec{b}\cdot\vec{c}$, $\vec{c}\cdot\vec{a}$ appears once, while each $\vec{p}\cdot\vec{a}$ term appears exactly twice with negative sign, matching the coefficient pattern used.

A third point is ensuring that the final expression is independent of orientation of the orthogonal triple. Recomputing $|\overrightarrow{OQ}|^2$ using a rotated orthonormal frame centered at $P$ yields the same scalar invariant, confirming that no hidden directional dependence survives.

Alternative Approaches

A geometric approach uses an orthonormal coordinate system centered at $P$ aligned with $PA$, $PB$, $PC$, so that $A$, $B$, $C$ lie on coordinate axes. The sphere condition becomes three quadratic equations in the axis directions, and $Q$ becomes the sum of axis intercepts. Eliminating parameters leads to the same spherical locus but requires solving a system of constrained quadratic forms.

Another approach interprets the construction as projecting the fixed sphere onto three mutually orthogonal directions from $P$. The invariance of the second moment under orthogonal decomposition yields directly that $Q$ lies on a sphere centered at $O$, but formalizing this requires re-deriving the same scalar identities used in the main proof.