Soient
\(P', Q', R', S'\) les milieux respectifs des côtés
\(AB, BC, CD, DA\text{,}\) et soient
\(P, Q, R, S\) les symétriques de M par rapport à
\(P', Q', R', S'\text{.}\) On veut montrer que
\(\vect{PQ} = \vect{SR}\text{.}\)
Puisque
\(P, Q, R, S\) les symétriques de M par rapport à
\(P', Q', R', S'\text{,}\) alors
\begin{equation*}
\vect{PP'} = \vect{P'M}, \quad
\vect{QQ'} = \vect{Q'M}, \quad
\vect{RR'} = \vect{R'M}, \quad
\vect{SS'} = \vect{S'M}.
\end{equation*}
\begin{align*}
\vect{PQ} \amp
= \vect{PP'} + \vect{P'Q'} + \vect{Q'Q}\\
\amp = \vect{P'M} + \vect{P'Q'} + \vect{MQ'}\\
\amp = 2 \vect{P'Q'}.
\end{align*}
\begin{align*}
\vect{SR} \amp
= \vect{SS'} + \vect{S'R'} + \vect{R'R}\\
\amp = \vect{S'M} + \vect{S'R'} + \vect{MR'}\\
\amp = 2 \vect{S'R'}.
\end{align*}
Or, selon le théorème de Varignon, on sait que
\(P'Q'R'S'\) est un parallélogramme, ce qui implique que
\(\vect{P'Q'} = \vect{S'R'}\text{.}\) Par conséquent,
\begin{equation*}
\vect{P'Q'} = \vect{S'R'}
\Leftrightarrow \tfrac{1}{2} \vect{PQ} = \tfrac{1}{2} \vect{SR}
\Leftrightarrow \vect{PQ} = \vect{SR}.
\end{equation*}