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 qtel 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|bsi a∤b c .
Théorie des nombres : divisibilité dans ZCorrigé 1.2