Citation :
Si n-p < p, ie n < 2p, alors la division est finie
Sinon on recommence
Si n-2p < p, ie n < 3p alors la division est finie
Sinon on recommence ...
Il existe un plus petit q > 1 tel que n < qp. Pour ce q, la division euclidienne donnera un quotient dont on se fiche (somme de tous les précédents) et un reste égal à
. Par définition de q, cela s'écrit aussi
, où r est le reste de la division euclidienne de n par p.
Ce reste, polynomial, est nul
si et seulement si l'exposant sur le x (notre indétreminée) est nul
si et seulement si p divise n
C'est exactement la même chose, mais peut-être un peu plus clair au niveau "reprise d'études"