de Bisam a écrit:Tu connais le pivot de Gauss... mais ça n'a rien à voir avec le lemme de Gauss.
Bref, c'est de l'arithmétique élémentaire.
Ici, ton membre de droite peut se factoriser par p... et donc celui de gauche devrait aussi se factoriser par p.
Mas comme p et q sont premiers entre eux, c'est forcément parce que p divise a0 (d'après le lemme de Gauss).
Effectivement, ça fait 2 lignes !
Ah oui... En fait je pensais exactement faire comme ça, il ne me manquait que cette lemme de Gauss
Sauf qu'on ne sait pas si p et q^n sont premiers entre eux non?...
Et après, il faudrait quand même prouver que le membre de droite appartient à Z, car par définition, a|b <=> a=k*b avec k € Z non ?
).
