Kvant Math Problem 70

Verified: no
Verdicts: SKIP + SKIP
Solve time: 8m41s
Source on kvant.digital

Problem

Let $l_1$, $l_2$, ..., $l_n$ be several lines in the plane, among which there are two that intersect. Prove that it is possible to choose uniquely a point $X_1$, $X_2$, ... on each of these lines so that the perpendicular erected at the point $X_i$ to the line $l_i$ passes through the point $X_{i+1}$ (for all $i=1$, 2, ..., $n-1$), and the perpendicular to $l_n$ erected at the point $X_n$ passes through the point $X_1$. (Figure 2 shows an example for $n=4$.)

Try to formulate and prove an analogous theorem in space.

Insert illustration

N. B. Vasiliev

Exploration

For each line $l_i$, let $P_i$ denote the orthogonal projection of the plane onto $l_i$. The condition of the problem says that $X_i\in l_i$ and that $X_iX_{i+1}$ is perpendicular to $l_i$. Since $X_i$ lies on $l_i$, this is equivalent to saying that $X_i$ is the orthogonal projection of $X_{i+1}$ onto $l_i$:

$$X_i=P_i(X_{i+1}).$$

Thus the whole system becomes

$$X_1=P_1(X_2),\quad X_2=P_2(X_3),\quad \ldots,\quad X_n=P_n(X_1).$$

Substituting successively yields

$$X_1=T(X_1), \qquad T=P_1P_2\cdots P_n.$$

The problem is reduced to proving that the composition of these orthogonal projections has a unique fixed point.

Consider first two intersecting lines through the origin making an angle $\alpha$. The projection onto the first line multiplies lengths on the second by $|\cos\alpha|$, hence the composition of the two projections multiplies lengths on the first line by $\cos^2\alpha$. Since $|\cos\alpha|<1$, the composition is a strict contraction.

This suggests the crucial point. If among the lines there are two nonparallel ones, then the intersection of all direction subspaces is ${0}$. The composition of the corresponding linear projections should have operator norm strictly less than $1$. Once this is proved, an affine version of the map $T$ will be a contraction of the plane and therefore possess a unique fixed point.

The step most likely to conceal an error is the proof that the norm of the linear part of $T$ is strictly less than $1$. One must exclude the possibility that equality occurs.

Problem Understanding

We are given lines $l_1,\ldots,l_n$ in the plane, and at least two of them intersect. We seek points $X_i\in l_i$ such that for every $i$, the line through $X_i$ perpendicular to $l_i$ passes through $X_{i+1}$, with indices taken cyclically.

This is a Type B problem. The task is to prove existence and uniqueness.

The geometric condition is equivalent to saying that $X_i$ is the orthogonal projection of $X_{i+1}$ onto $l_i$. Hence the unknown configuration corresponds to a fixed point of the composition of the orthogonal projections onto the given lines. The core difficulty is proving that this composition has exactly one fixed point.

Proof Architecture

Let $P_i$ be the orthogonal projection onto $l_i$.

The first claim is that the required configuration is equivalent to the system $X_i=P_i(X_{i+1})$. This follows directly from the definition of orthogonal projection.

The second claim is that if $T=P_1P_2\cdots P_n$, then the configuration is equivalent to the fixed point equation $X_1=T(X_1)$. This follows by repeated substitution.

The third claim is that the linear part $A$ of $T$ satisfies $|A|<1$. Since every orthogonal projection does not increase distances, equality in $|A|=1$ would force a nonzero vector to belong simultaneously to all line directions; the existence of two intersecting lines excludes this.

The fourth claim is that an affine map whose linear part has norm $<1$ has a unique fixed point. Indeed, solving $x=Ax+b$ amounts to inverting $I-A$, which is possible because $1$ is not an eigenvalue of $A$.

The hardest step is the proof of $|A|<1$.

Solution

Let $P_i$ denote the orthogonal projection of the plane onto the line $l_i$.

Suppose points $X_1,\ldots,X_n$ satisfy the conditions of the problem. Since $X_i\in l_i$ and the segment $X_iX_{i+1}$ is perpendicular to $l_i$, the point $X_i$ is precisely the orthogonal projection of $X_{i+1}$ onto $l_i$. Hence

$$X_i=P_i(X_{i+1}), \qquad i=1,\ldots,n,$$

where the indices are understood cyclically.

Conversely, if these equalities hold, then $X_i$ lies on $l_i$ and $X_iX_{i+1}$ is perpendicular to $l_i$, so the geometric requirements are satisfied. Thus the problem is equivalent to solving the system

$$X_1=P_1(X_2),\quad X_2=P_2(X_3),\quad \ldots,\quad X_n=P_n(X_1).$$

Substituting successively gives

$$X_1=T(X_1), \qquad T=P_1P_2\cdots P_n.$$

Once $X_1$ is known, the remaining points are uniquely determined by

$$X_i=P_i(X_{i+1}).$$

Therefore it suffices to prove that the affine map $T$ has a unique fixed point.

Choose an origin in the plane. Each projection $P_i$ is an affine map

$$P_i(x)=A_i x+b_i,$$

where $A_i$ is the linear orthogonal projection onto the direction of $l_i$. Consequently,

$$T(x)=Ax+b,$$

with

$$A=A_1A_2\cdots A_n.$$

For every vector $v$,

$$|A_i v|\le |v|,$$

because orthogonal projection does not increase length. Hence

$$|Av|\le |v|.$$

Thus $|A|\le 1$.

We show that equality is impossible. Assume that $|A|=1$. Then there exists a nonzero vector $v$ such that

$$|Av|=|v|.$$

Since each factor $A_i$ does not increase length,

$$|A_1A_2\cdots A_n v| \le |A_2\cdots A_n v| \le \cdots \le |v|.$$

The first and last quantities are equal, therefore equality holds at every step. For an orthogonal projection $A_i$, equality

$$|A_i w|=|w|$$

occurs only when $w$ already belongs to the direction of $l_i$. Hence

$$v,\ A_n v,\ A_{n-1}A_n v,\ \ldots$$

all belong to the direction of every line $l_i$. In particular, $v$ is parallel to all $l_i$.

Since among the given lines there are two that intersect, not all lines are parallel. Therefore the intersection of their direction spaces is ${0}$. Hence the only vector parallel to all $l_i$ is the zero vector, contradicting $v\ne0$.

Thus

$$|A|<1.$$

Now suppose $(I-A)x=0$. Then

$$x=Ax,$$

and therefore

$$|x|=|Ax|\le |A|,|x|.$$

Since $|A|<1$, this implies $x=0$. Hence $I-A$ is injective. In a finite-dimensional space, injectivity implies invertibility, so $I-A$ is invertible.

The fixed point equation

$$x=Ax+b$$

is therefore equivalent to

$$(I-A)x=b,$$

which has the unique solution

$$x=(I-A)^{-1}b.$$

Hence $T$ possesses a unique fixed point $X_1$. Defining successively

$$X_n=P_n(X_1),\quad X_{n-1}=P_{n-1}(X_n),\quad \ldots,\quad X_2=P_2(X_3),$$

we obtain a unique system of points satisfying all the required conditions.

For the spatial analogue, replace the lines by planes $\Pi_1,\ldots,\Pi_n$ in space and assume that at least two of them are not parallel. Then there exists a unique collection of points $X_i\in\Pi_i$ such that the line through $X_i$ perpendicular to $\Pi_i$ passes through $X_{i+1}$ cyclically. The proof is identical: one uses orthogonal projections onto the planes. The linear parts of these projections have common fixed vectors exactly in the intersection of the plane directions; the presence of two nonparallel planes makes this intersection a line. To obtain strict contraction one assumes that the intersection of all plane directions is ${0}$, equivalently that no nonzero vector is parallel to every plane. Under this natural analogue, the same argument yields existence and uniqueness.

This completes the proof.

∎

Verification of Key Steps

The first delicate point is the equivalence between the geometric condition and orthogonal projection. If $X_i\in l_i$ and the line through $X_i$ perpendicular to $l_i$ contains $X_{i+1}$, then $X_iX_{i+1}$ is perpendicular to $l_i$. The orthogonal projection of a point onto a line is characterized uniquely as the point of the line joined to the original point by a perpendicular segment. Hence $X_i=P_i(X_{i+1})$. No additional assumption is needed.

The second delicate point is the proof that $|A|<1$. From $|A|=1$ one obtains a nonzero vector $v$ with $|Av|=|v|$. Since every projection decreases length, the chain

$$|Av| \le |A_2\cdots A_n v| \le \cdots \le |v|$$

consists entirely of equalities. Equality for an orthogonal projection occurs exactly on its image. Thus the intermediate vectors must lie in every projected direction. A careless argument might conclude only that $v$ lies in the last projected direction; the equality chain is what forces membership in all directions simultaneously.

The third delicate point is the invertibility of $I-A$. The inequality $|A|<1$ excludes any nonzero solution of $x=Ax$. Hence the kernel of $I-A$ is trivial. Since the plane is finite-dimensional, a linear map with trivial kernel is invertible. The finite-dimensionality is the exact ingredient that converts injectivity into bijectivity.

Alternative Approaches

A more geometric proof uses coordinates adapted to one intersecting pair of lines. After choosing coordinates, each orthogonal projection becomes an affine map represented by a $2\times2$ matrix of rank one. Multiplying the matrices yields an affine transformation whose linear part has determinant $0$ and spectral radius strictly smaller than $1$. Solving the resulting linear system gives the unique fixed point directly.

Another approach invokes the contraction mapping principle. The composition $T=P_1\cdots P_n$ is an affine contraction because the norm of its linear part is strictly less than $1$. Every contraction of the Euclidean plane has a unique fixed point. The required points are then obtained by successive projections. The proof presented above is essentially a finite-dimensional linear algebra version of this argument and avoids appealing to a general fixed point theorem.