\begin{enumerate}
  \item Prouver qu'il n'existe pas de couple d'entiers naturels positifs
  $(x, y)$ tels que : $x^2 = 2y^2$.
  \item En déduire que $\sqrt{2}$ est irrationnel.
\end{enumerate}
