Page 1 sur 1

Division euclidienne

Publié : mar. août 04, 2020 3:31 pm
par Mohamed
Soient $x$ et $y$ des entiers naturels non nuls et $m$ le plus petit entier naturel non nul tel que $y$ divise $mx$. Prouver que $m$ divise $y$.

Re: Division euclidienne

Publié : mar. août 04, 2020 7:04 pm
par Mohamed
La division euclidienne de $y$ par $m$ s'écrit $y=mq+r$ avec $0\leq r < m$. Notre objectif est de prouver que $r=0$. On a $rx=yx-mqx$ et comme $y|mx$, il existe $k\in \N$ tel que $mx=ky$, donc $rx=yx-qky=y(x-qk)$, donc $y|rx$ et par minimalité de $m$ et le fait que $r < m$, on a $r=0$.