Kvant Math Problem 831

Introduce position vectors for the vertices $A,B,C,D$ in the plane.

kvantmathematicsolympiad

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

Problem

Let $P$ and $Q$ be the midpoints of the sides $AB$ and $CD$ of a quadrilateral, and let $ABCD$, $M$, and $N$ be the midpoints of the diagonals $AC$ and $BD$. Prove that if the lines $MN$ and $PQ$ are perpendicular, then $|BC|=|AD|$.

V. V. Prasolov

Exploration

Introduce position vectors for the vertices $A,B,C,D$ in the plane. Denote them by $a,b,c,d$. The midpoints are then expressed as

$P=\frac{a+b}{2},\quad Q=\frac{c+d}{2},\quad M=\frac{a+c}{2},\quad N=\frac{b+d}{2}.$

The segment directions are computed by subtraction:

$\overrightarrow{MN}=\frac{b+d-a-c}{2},\quad \overrightarrow{PQ}=\frac{c+d-a-b}{2}.$

The perpendicularity condition translates into a scalar product constraint between linear expressions in $a,b,c,d$. The target conclusion $|BC|=|AD|$ becomes $|c-b|=|d-a|$, which is not directly aligned with the midpoint expressions, so a change of variables using side vectors is required.

Introduce

$u=b-a,\quad v=c-b,\quad w=d-c,$

so that

$c-a=u+v,\quad d-a=u+v+w.$

The vector condition simplifies significantly in these variables. The main risk is losing track of the cyclic structure when rewriting $d-a$ and $c-a$, so each substitution must be checked carefully.

The central difficulty is to rewrite the perpendicularity condition in terms of $u,v,w$ and isolate a relation connecting $|v|$ and $|u+v+w|$.

Problem Understanding

This is a Type B problem. One must prove that if the segment connecting midpoints of diagonals is perpendicular to the segment connecting midpoints of opposite sides, then the opposite sides $BC$ and $AD$ have equal length.

The core difficulty lies in translating midpoint geometry into a clean vector identity and extracting a metric equality from a perpendicularity condition between derived segments.

The structure suggests a hidden symmetry: both $MN$ and $PQ$ are mid-segment constructions, so their orthogonality encodes a relation between diagonal combinations of side vectors. The expected conclusion is that the “net displacement” along one pair of opposite sides matches in magnitude.

Proof Architecture

The proof proceeds by introducing position vectors for $A,B,C,D$ and expressing all midpoints in vector form.

A first lemma computes $\overrightarrow{MN}$ and $\overrightarrow{PQ}$ in terms of side vectors $u=b-a$, $v=c-b$, $w=d-c$.

A second lemma rewrites the perpendicularity condition as $(u+w)\cdot(u+2v+w)=0$.

A third lemma introduces $s=u+w$ and transforms the condition into $s\cdot v=-\frac{|s|^2}{2}$.

A fourth lemma shows that this identity implies $|v|=|u+v+w|$, which is equivalent to $|BC|=|AD|$.

The most delicate step is the algebraic rewriting of the dot product condition without introducing sign errors in $d-a$ and $c-a$.

Solution

Let $a,b,c,d$ be position vectors of $A,B,C,D$. Define

$P=\frac{a+b}{2},\quad Q=\frac{c+d}{2},\quad M=\frac{a+c}{2},\quad N=\frac{b+d}{2}.$

Then

$\overrightarrow{MN}=N-M=\frac{b+d-a-c}{2},\quad \overrightarrow{PQ}=Q-P=\frac{c+d-a-b}{2}.$

Introduce side vectors

$u=b-a,\quad v=c-b,\quad w=d-c.$

Then

$b-a=u,\quad c-a=u+v,\quad d-a=u+v+w.$

Hence

$b+d-a-c=(b-a)+(d-c)=u+w,$

so

$\overrightarrow{MN}=\frac{u+w}{2}.$

Also,

$c+d-a-b=(c-b)+(d-a)=v+(u+v+w)=u+2v+w,$

so

$\overrightarrow{PQ}=\frac{u+2v+w}{2}.$

The condition $MN\perp PQ$ becomes

$(u+w)\cdot(u+2v+w)=0.$

Let $s=u+w$. Then the condition reads

$s\cdot(s+2v)=0,$

which expands to

$|s|^2+2s\cdot v=0,$

hence

$s\cdot v=-\frac{|s|^2}{2}.$

Now compute

$|s+v|^2=|s|^2+|v|^2+2s\cdot v.$

Substituting the previous relation yields

$|s+v|^2=|s|^2+|v|^2-|s|^2=|v|^2.$

Thus

$|s+v|=|v|.$

Since

$s+v=u+w+v=u+v+w=d-a,$

we obtain

$|d-a|=|c-b|.$

This is exactly

$|AD|=|BC|.$

This completes the proof. ∎

Verification of Key Steps

The expression for $\overrightarrow{MN}$ uses only the midpoint definition and the identity $b+d-a-c=(b-a)+(d-c)$, which holds by direct regrouping of terms.

The expression for $\overrightarrow{PQ}$ depends on rewriting $d-a$ as $u+v+w$, which follows from $d-a=(d-c)+(c-b)+(b-a)$, ensuring the cyclic decomposition of the quadrilateral is preserved.

The transition from $(u+w)\cdot(u+2v+w)=0$ to $s\cdot(s+2v)=0$ introduces no loss of information since $s=u+w$ is a direct substitution.

The final step uses the identity $|x+y|^2=|x|^2+|y|^2+2x\cdot y$, applied to $x=s$ and $y=v$, which is valid in any Euclidean plane via the dot product structure.

Alternative Approaches

A synthetic approach replaces vectors with affine geometry and uses the midpoint parallelogram theorem, interpreting $MN$ and $PQ$ as diagonals of a midline quadrilateral formed by the four midpoints. The perpendicularity condition can then be translated into equality of projections of opposite sides, leading to $|AD|=|BC|$.

A complex-number formulation is also possible by placing the quadrilateral in $\mathbb{C}$ and expressing midpoints as arithmetic means; perpendicularity becomes a condition on imaginary parts of products, which again reduces to a symmetric identity between $AD$ and $BC$.