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.
24 Chapitre 2<br />
2.5 Comm<strong>en</strong>taires, complém<strong>en</strong>ts<br />
2.5.1 Des exemp<strong>les</strong><br />
Il est important de voir avant toute chose fonctionner <strong>les</strong> algorithmes <strong>et</strong><br />
<strong>les</strong> autres notions sur des exemp<strong>les</strong> concr<strong>et</strong>s, notamm<strong>en</strong>t <strong>en</strong> ce qui concerne<br />
l’algorithme d’Euclide, l’algorithme d’Euclide ét<strong>en</strong>du, le crible d’Erathostène,<br />
l’utilisation des décompositions <strong>en</strong> nombres premiers <strong>pour</strong> <strong>les</strong> calculs du pgcd,<br />
du ppcm, des diviseurs d’un nombre. Les représ<strong>en</strong>tations graphiques seront<br />
aussi très uti<strong>les</strong> à la bonne compréh<strong>en</strong>sion.<br />
2.5.2 Complém<strong>en</strong>ts<br />
Les congru<strong>en</strong>ces<br />
En ce qui concerne <strong>les</strong> congru<strong>en</strong>ces, voici ce qu’il est dit dans le programme,<br />
dans la partie consacrée aux travaux pratiques :<br />
La division euclidi<strong>en</strong>ne perm<strong>et</strong> d’établir des compatibilités avec <strong>les</strong> opérations<br />
nécessaires <strong>pour</strong> <strong>les</strong> problèmes étudiés. Ceux-ci <strong>pour</strong>ront être l’occasion de<br />
prés<strong>en</strong>ter <strong>et</strong> de m<strong>et</strong>tre <strong>en</strong> œuvre la notion de congru<strong>en</strong>ce, au suj<strong>et</strong> de laquelle<br />
aucune connaissance spécifique ne peut être exigée.<br />
Voici donc quelques résultats sur <strong>les</strong> congru<strong>en</strong>ces qu’on sera certainem<strong>en</strong>t<br />
am<strong>en</strong>é à démontrer.<br />
Considérons <strong>les</strong> nombres<br />
· · · − 16 − 10 − 4 2 8 14 20 26 · · ·<br />
Le nombre 2 est le seul nombre de c<strong>et</strong> <strong>en</strong>semble qui soit dans l’intervalle<br />
[0, 6[. Les élém<strong>en</strong>ts de c<strong>et</strong> <strong>en</strong>semble sont tous <strong>les</strong> nombres y tels que<br />
y = 6q + 2<br />
c’est-à-dire, tous <strong>les</strong> nombres y dont la division euclidi<strong>en</strong>ne par 6 a <strong>pour</strong> reste<br />
2.<br />
Si x <strong>et</strong> y sont deux nombres de c<strong>et</strong> <strong>en</strong>semble alors y − x est un multiple de 6.<br />
Plus généralem<strong>en</strong>t, si n ≥ 1 <strong>et</strong> si 0 ≤ r < n, on cherche <strong>les</strong> élém<strong>en</strong>ts de Z<br />
dont la division euclidi<strong>en</strong>ne par n a <strong>pour</strong> reste r.