
\begin{enumerate}
\item Commençons par voir la valeur des variables:
\begin{center}
\begin{tabular}{|*6{>{\ttfamily}Sc|}}
\hline
A[0] & A[1] & B[0] & B[1] & C[0] & C[1] \\
\hline
-3&-1&3&2&7&4\\
\hline
\end{tabular}
\end{center}
Ainsi,
\begin{itemize}
\item La variable \texttt{AB} vaut :
\begin{center}
\ttfamily
AB = ( B[0] - A[0] , B[1] - A[1] ) = (3-(-3) , 2-(-1)) = (6, 3).
\end{center}

\item La variable \texttt{AC} vaut :
\begin{center}
\ttfamily\small
AC = ( C[0] - A[0] , C[1] - A[1] ) = (7-(-3) , 4-(-1)) = (10, 5).
\end{center}

\item La variable \texttt{k} vaut donc:
\begin{center}
\ttfamily
k = AC[0] / AB[0] = 10 / 6 = 5 / 3.
\end{center}
\end{itemize}

Donc,
\begin{center}
\ttfamily
k * AB[1] = $\dfrac{5}{3} \times 3 = 5$ = AC[1]
\end{center}
donc le test
\begin{center}
\ttfamily
k * AB[1] == AC[1]
\end{center}
renvoie \og \texttt{True} \fg.

\item À travers l'exemple précédent, on peut voir que la variable \texttt{AB} représente les coordonnées du vecteur $\vv{AB}$ et que \texttt{AC}, celles de $\vv{AC}$.

Le test \og \texttt{k * AB[1] == AC[1]} \fg{} vérifie quant à lui si les coordonnées sont proportionnelles, et donc si les vecteurs sont colinéaires, auquel cas la fonction renvoie \og \texttt{True} \fg. Et si tel est le cas, cela signifie que les points $A$, $B$ et $C$ sont alignés.

\medskip

Ainsi, la fonction a pour rôle de dire si les points $A$, $B$ et $C$ sont alignés.
\end{enumerate}
