Cours et activités en arithmétique pour les classes ... - Robert Rolland
Cours et activités en arithmétique pour les classes ... - Robert Rolland
Cours et activités en arithmétique pour les classes ... - Robert Rolland
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Complém<strong>en</strong>ts d’<strong>arithmétique</strong> 73<br />
Preuve : Il suffit d’introduire la fonction g définie par<br />
g(n) = <br />
φ(d).<br />
d|n<br />
Alors g(n) = n <strong>et</strong> le théorème d’inversion de Möbius nous donne le résultat.<br />
Théorème 4.3.11 Si n ≥ 1 <strong>et</strong> si a est premier avec n alors<br />
a φ(n) ≡ 1 (n).<br />
Preuve : L’<strong>en</strong>semble des élém<strong>en</strong>ts inversib<strong>les</strong> de Z/nZ est un groupe E <strong>pour</strong><br />
la multiplication. Si a est premier avec n la classe de a est un élém<strong>en</strong>t de E.<br />
Les puissances de a <strong>en</strong>g<strong>en</strong>dr<strong>en</strong>t un sous groupe cyclique de E dont l’ordre r<br />
divise l’ordre de E c’est-à-dire φ(n). Or on sait que a r ≡ 1 (n), donc on a<br />
aussi a φ(n) ≡ 1 (n).<br />
Remarque : En particulier si a est premier avec n alors a est inversible<br />
dans Z/nZ <strong>et</strong> a −1 = a φ(n)−1 dans Z/nZ.<br />
4.4 Equations ax+by =c<br />
Soi<strong>en</strong>t a, b, c des <strong>en</strong>tiers. Nous cherchons tous <strong>les</strong> coup<strong>les</strong> d’<strong>en</strong>tiers (x, y) tels<br />
que<br />
ax + by = c.<br />
Eliminons tout d’abord <strong>les</strong> cas triviaux où l’un au moins des deux nombres<br />
a <strong>et</strong> b est nul.<br />
Si a = b = 0 alors si c = 0 tout couple (x, y) est solution, sinon il n’y a pas<br />
de solution.<br />
Si a = 0 <strong>et</strong> b = 0, si b divise c il y a une solution, sinon il n’y <strong>en</strong> a pas.<br />
Maint<strong>en</strong>ant supposons a = 0 <strong>et</strong> b = 0.<br />
1) Supposons a <strong>et</strong> b premiers <strong>en</strong>tre eux.<br />
Il s’agit donc de trouver des coup<strong>les</strong> (x, y) tels que ax + by = c. On sait<br />
que ceci est possible d’après le théorème de Bezout. Plus précisém<strong>en</strong>t <strong>en</strong> se<br />
plaçant dans Z/bZ, on doit résoudre<br />
ax = c.