1.2 Supposons, par l`absurde, que a | b. Il existe alors un entier q tel

1.2
Supposons, par l’absurde, que a | b.
Il existe alors un entier q tel b = a · q .
En multipliant cette égalité par c, on obtient b c = (a · q) c = a · (q c) .
Cette équation signifie que a | b c .
Il est donc impossible que a | b si a ∤ b c .
Théorie des nombres : divisibilité dans Z
Corrigé 1.2