\begin{propriete} Soit $k$ un réel.

Le vecteur $\vv{u}\covec{0}{1}$ est un vecteur directeur de la droite d'équation $x=k$.

\begin{center}
	\psset{xunit=0.5cm,yunit=0.5cm,algebraic=true,dotstyle=o,dotsize=3pt 0,linewidth=0.3mm,arrowsize=3pt 2,arrowinset=0.25}
\begin{pspicture*}(-1.4,-1.06)(5,5.38)
\psaxes[labelFontSize=\scriptstyle,xAxis=true,yAxis=true,labels=none,Dx=2,Dy=2,ticksize=-2pt 0,subticks=0]{->}(0,0)(-1.4,-1.06)(3.5,5.38)
\psline[linecolor=F1](1,-1.06)(1,5.38)
\rput[tl](1.22,4.8){$x=k$}
\psline[linecolor=A1,linewidth=1.2pt]{->}(2,1)(2,3)
\rput(3.7,2){$\vv{u}\covec{0}{1}$}
\end{pspicture*}
\end{center}

\end{propriete}

\begin{preuve}$A(k\ ;\ 0)$ et $B(k\ ;\ 1)$ sont deux points de la droite d'équation $x=k$.

Ainsi $\vv{AB}\covec{0}{1}$ et $\vv{AB}$ est un vecteur directeur de la droite d'équation $x=k$.

\end{preuve}
