Soient \(\vu, \vv\in \R^n \text{,}\) avec \(\vu \ne \vZero\text{.}\) On cherche à établir l’existence d’un vecteur \(\proj{\vv}{\vu}\) colinéaire à \(\vu\text{.}\) S’il existe, il est de la forme \(c\vu\text{,}\) où \(c\) reste à déterminer. On écrit donc \(\vv\) comme la somme de deux vecteurs, l’un colinéaire à \(\vu\) et l’autre orthogonal à \(\vu\text{,}\) c’est-à-dire \(\vv = c \vu + \vw\) avec \(\vw\) orthogonal à \(\vu\text{.}\) On a donc
\begin{equation*}
\vu \cdot \vv = \vu \cdot (c\vu + \vw) = c(\vu \cdot \vu) + \vu \cdot \vw = c(\vu \cdot \vu)
\end{equation*}
Comme \(\vu\) est non nul, \(\vu \cdot \vu \ne 0\) et on en déduit que \(c = \tfrac{\vu\cdot \vv}{\vu\cdot \vu}\text{.}\) On pose donc
\begin{equation*}
\proj{\vv}{\vu} = c\vu = \left(\tfrac{\vu\cdot \vv}{\vu\cdot \vu}\right)\vu\text{.}
\end{equation*}
Finalement, pour vérifier que \(\vv - \proj{\vv}{\vu}\) est orthogonal à \(\vu\text{,}\) il suffit de calculer
\begin{equation*}
\vu \cdot \left(\vv - \proj{\vv}{\vu}\right) = \vu \cdot \vv - \vu \cdot \left(\tfrac{\vu\cdot \vv}{\vu\cdot \vu}\right)\vu = \vu \cdot \vv - (\vu\cdot \vv) = 0.
\end{equation*}