exo7 256

Montrer que si $x$ et $y$ sont des entiers naturels tels que $x^2$ divise $y^2$, alors $x$ divise $y$. Application : démontrer, par l’absurde, que $\sqrt{2}$ n’est pas rationnel.