Kvant Math Problem 1202

Let the two rays from $A$ be $r_1$ and $r_2$.

Verified: no
Verdicts: SKIP + SKIP
Solve time: 7m18s
Source on kvant.digital

Problem

From vertex $A$ of square $ABCD$, two rays are drawn into the interior of the square. Perpendiculars $BK$, $BL$, $DM$, $DN$ are dropped onto these rays from vertices $B$ and $D$. Prove that the segments $KL$ and $MN$ are equal in length and perpendicular to each other.

D. Nyamsuren (Mongolia)

Exploration

Let the two rays from $A$ be $r_1$ and $r_2$. The points $K,M$ lie on $r_1$, while $L,N$ lie on $r_2$. Since $BK$ and $DM$ are perpendicular to $r_1$, the points $K$ and $M$ are the orthogonal projections of $B$ and $D$ onto $r_1$. Likewise, $L$ and $N$ are the orthogonal projections of $B$ and $D$ onto $r_2$.

A coordinate description seems natural. Put the square in the plane with

$$A=(0,0),\qquad B=(s,0),\qquad D=(0,s).$$

Let $u$ and $v$ be unit vectors along the two rays. Since the rays start at $A$, the projection of a point $P$ onto the ray line is simply $(P\cdot u)u$ or $(P\cdot v)v$.

Then

$$K=(B\cdot u)u,\qquad M=(D\cdot u)u.$$

Hence

$$\overrightarrow{KM} =\bigl((D\cdot u)-(B\cdot u)\bigr)u =((D-B)\cdot u),u.$$

The same computation gives

$$\overrightarrow{LN} =((D-B)\cdot v),v.$$

Since $D-B=(-s,s)$, it is convenient to denote

$$w=D-B.$$

Then

$$\overrightarrow{KM}=(w\cdot u)u,\qquad \overrightarrow{LN}=(w\cdot v)v.$$

The desired segment is

$$\overrightarrow{KL} =\overrightarrow{AL}-\overrightarrow{AK} =(B\cdot v)v-(B\cdot u)u.$$

Using $D=B+w$ and the fact that $w\cdot B=-s^2$, one obtains

$$\overrightarrow{MN} =(D\cdot v)v-(D\cdot u)u =\overrightarrow{KL}+(w\cdot v)v-(w\cdot u)u.$$

The vector $w$ has equal coordinates in magnitude and opposite signs, so

$$|w|=s\sqrt2.$$

The crucial point is to express everything in an orthonormal basis adapted to the rays. Let the angles of $u$ and $v$ with $AB$ be $\alpha$ and $\beta$. Then

$$w=s(-1,1)=s\sqrt2,e,$$

where $e$ is the unit vector making angle $135^\circ$ with $AB$. After substituting

$$B=s(1,0),$$

one finds

$$\overrightarrow{KL} =s\bigl(\cos\beta,v-\cos\alpha,u\bigr),$$

and

$$\overrightarrow{MN} =s\bigl(\sin(\beta-\tfrac{\pi}{4}),v -\sin(\alpha-\tfrac{\pi}{4}),u\bigr)\sqrt2 .$$

This looks messy. A better idea is to rotate coordinates by $45^\circ$. In that system $w$ lies on one coordinate axis, and projections become very simple.

Let

$$p=\frac{B+D}{2},\qquad q=\frac{D-B}{2}.$$

Then $p\perp q$ and $|p|=|q|=s/\sqrt2$.

Because $D=p+q$ and $B=p-q$,

$$\overrightarrow{KL} =(p\cdot v)v-(p\cdot u)u +\bigl((q\cdot v)v-(q\cdot u)u\bigr),$$

while

$$\overrightarrow{MN} =(p\cdot v)v-(p\cdot u)u -\bigl((q\cdot v)v-(q\cdot u)u\bigr).$$

The symmetry $p\perp q$ and $|p|=|q|$ suggests that the two vectors are obtained from one another by a quarter-turn. The cleanest route is to use coordinates with axes along $p$ and $q$.

Problem Understanding

We are given a square $ABCD$. Two rays from the vertex $A$ are drawn inside the square. The feet of the perpendiculars from $B$ to the rays are $K$ and $L$, and the feet of the perpendiculars from $D$ to the same rays are $M$ and $N$.

We must prove that the segment joining the two projections of $B$ has the same length as the segment joining the two projections of $D$, and that these two segments are perpendicular.

This is a Type B problem. The statement is already specified and must be proved.

The core difficulty is to relate projections of two different vertices onto two arbitrary rays. The square supplies a hidden symmetry: the vectors from the center of the square to $B$ and $D$ are perpendicular and have equal length.

Proof Architecture

Let $O$ be the center of the square and choose orthonormal coordinates with origin at $O$, the $x$-axis directed along $OB$ and the $y$-axis directed along $OD$.

Represent the two rays by unit vectors $u$ and $v$.

Express the projections of $B$ and $D$ onto the ray lines in terms of scalar products with $u$ and $v$.

Derive formulas for the vectors $\overrightarrow{KL}$ and $\overrightarrow{MN}$.

Show that in the chosen coordinates these vectors have coordinates $(X,Y)$ and $(-Y,X)$ for suitable $X,Y$.

Conclude that $\overrightarrow{MN}$ is obtained from $\overrightarrow{KL}$ by a rotation through $90^\circ$, hence the vectors are perpendicular and have equal lengths.

The most delicate point is the algebraic derivation of the coordinate formulas for $\overrightarrow{KL}$ and $\overrightarrow{MN}$.

Solution

Let $O$ be the center of the square. Choose an orthonormal coordinate system with origin at $O$, the $x$-axis along $OB$, and the $y$-axis along $OD$.

Since $OB\perp OD$ and $OB=OD$, after scaling coordinates we may write

$$B=(1,0),\qquad D=(0,1).$$

Let $u=(\cos\alpha,\sin\alpha)$ and $v=(\cos\beta,\sin\beta)$ be unit vectors along the two rays.

The orthogonal projection of a point $P$ onto the line through the origin in the direction of a unit vector $t$ is $(P\cdot t)t$.

Hence

$$K=(B\cdot u)u=\cos\alpha,u,$$

$$L=(B\cdot v)v=\cos\beta,v,$$

$$M=(D\cdot u)u=\sin\alpha,u,$$

$$N=(D\cdot v)v=\sin\beta,v.$$

Therefore

$$\overrightarrow{KL} =\cos\beta,v-\cos\alpha,u.$$

Substituting the coordinates of $u$ and $v$,

\begin{align*}

\overrightarrow{KL}

&=(\cos^2\beta-\cos^2\alpha,,

\cos\beta\sin\beta-\cos\alpha\sin\alpha)\

&=(X,Y),

\end{align*}

where

$$X=\cos^2\beta-\cos^2\alpha, \qquad Y=\cos\beta\sin\beta-\cos\alpha\sin\alpha.$$

Similarly,

$$\overrightarrow{MN} =\sin\beta,v-\sin\alpha,u,$$

so

\begin{align*}

\overrightarrow{MN}

&=(\sin\beta\cos\beta-\sin\alpha\cos\alpha,,

\sin^2\beta-\sin^2\alpha)\

&=(Y,\sin^2\beta-\sin^2\alpha).

\end{align*}

Since

$$\sin^2\beta-\sin^2\alpha =-(\cos^2\beta-\cos^2\alpha) =-X,$$

we obtain

$$\overrightarrow{MN}=(Y,-X).$$

The scalar product of these two vectors equals

$$\overrightarrow{KL}\cdot\overrightarrow{MN} =(X,Y)\cdot(Y,-X) =XY-XY =0.$$

Hence $KL\perp MN$.

Their squared lengths are

$$|\overrightarrow{KL}|^2=X^2+Y^2,$$

and

$$|\overrightarrow{MN}|^2=Y^2+(-X)^2=X^2+Y^2.$$

Thus

$$|KL|=|MN|.$$

We have proved that the segments $KL$ and $MN$ are equal in length and perpendicular to each other.

This completes the proof.

Verification of Key Steps

The first delicate step is the projection formula. Since the ray lines pass through the origin $O$, the projection of a point $P$ onto the line spanned by a unit vector $t$ is $(P\cdot t)t$. Applying this to $B$ and $D$ gives the coordinates of $K,L,M,N$ directly. Any omission of the assumption that $t$ is a unit vector would introduce an incorrect scale factor.

The second delicate step is the computation of $\overrightarrow{KL}$. Using

$$\cos\beta,v=(\cos^2\beta,\cos\beta\sin\beta)$$

and

$$\cos\alpha,u=(\cos^2\alpha,\cos\alpha\sin\alpha),$$

their difference is indeed

$$(\cos^2\beta-\cos^2\alpha,, \cos\beta\sin\beta-\cos\alpha\sin\alpha).$$

The same calculation for $\overrightarrow{MN}$ yields

$$(\sin\beta\cos\beta-\sin\alpha\cos\alpha,, \sin^2\beta-\sin^2\alpha),$$

whose first coordinate is exactly $Y$.

The final delicate step is the identity

$$\sin^2\beta-\sin^2\alpha =-(\cos^2\beta-\cos^2\alpha).$$

It follows from $\sin^2 t+\cos^2 t=1$ applied separately to $\alpha$ and $\beta$. This converts $(Y,\sin^2\beta-\sin^2\alpha)$ into $(Y,-X)$, making the $90^\circ$ rotation relation explicit.

Alternative Approaches

A synthetic approach uses the center $O$ of the square. The vectors $\overrightarrow{OB}$ and $\overrightarrow{OD}$ are perpendicular and have equal lengths. For each ray, the projections of $B$ and $D$ onto that ray are obtained by projecting the vectors $\overrightarrow{OB}$ and $\overrightarrow{OD}$ onto the ray direction. Writing the projection operator onto a line and exploiting the fact that $\overrightarrow{OD}$ is a quarter-turn of $\overrightarrow{OB}$, one finds that the vector joining the two projections of $D$ is the image of the corresponding vector for $B$ under the same quarter-turn. Equal lengths and perpendicularity follow immediately.

The coordinate proof above is preferable because it turns the geometric statement into the explicit identities

$$\overrightarrow{KL}=(X,Y),\qquad \overrightarrow{MN}=(Y,-X),$$

after which the conclusion is immediate from elementary vector algebra.