Quand 60 divise 9


Bertrand Hauchecorne

La divisibilité peut s'envisager dans d'autres ensembles de nombres que celui des entiers. L'un d'entre eux, abordé dès le CM1, se prête parfaitement à cette généralisation. On peut alors parler de divisibilité dans les nombres décimaux.

Pour parler de divisibilité, il est indispensable de considérer un ensemble, celui des nombres sur lesquels on travaille, muni de deux opérations, l’addition et la multiplication. Ce n’est cependant pas suffisant si l’on veut éviter certains pièges (voir FOCUS). Voyons un exemple bien connu, qui fait intervenir les nombres décimaux. Parmi les nombres réels, ce sont ceux qui possèdent un développement décimal fini. Ainsi 1/5 = 0,2 en est un. Par contre, 1/3 = 0,333… n’est pas en ce sens un nombre décimal. Ils peuvent tous s’exprimer sous forme de fraction : si un tel nombre u s’exprime avec un nombre fini n de décimales, en le multipliant par 10n, on obtient un entier a et donc u = a / 10n ; inversement, tout nombre de cette forme est décimal. Mais toute fraction n’est pas forcément un nombre décimal (pensez à 1/3).

 

[encadre]

Les anneaux intègres

Considérons un ensemble A muni de deux opérations, l’une nommée addition et l’autre multiplication et notées respectivement avec les symboles + et ×. On suppose que A, muni de l’addition, est un groupe commutatif, c’est-à-dire que cette opération est associative, commutative, qu’il existe un élément neutre, noté 0 (tel que 0 + a = a pour tout a de A), et que tout élément a de A possède un opposé, noté – a (tel que – a + a = 0).

On suppose que la multiplication est elle aussi associative, commutative et possède un élément unité noté 1 (tel que 1 × a = a pour tout a de A). De plus, pour lier les deux opérations, on impose la distributivité de la multiplication par rapport à l’addition : a × (b + c) = a × b + a × c.

Enfin, on suppose que le produit de deux éléments non nuls n’est pas nul. Un ensemble muni d’une telle structure s’appelle un anneau intègre. On peut y définir la notion de divisibilité en disant que a divise b s’il existe c tel que b = a × c. De nombreuses propriétés subsistent, mais d’autres, comme le théorème de Gauss ou celui de Bézout, nécessitent que l’anneau intègre sur lequel on travaille vérifie quelques propriétés supplémentaires.

Si l’on impose l’existence de l’inverse pour la multiplication pour tout élément non nul, on parle de corps. La divisibilité n’a alors plus aucun intérêt puisque tout élément non nul a divise n’importe quel élément b ! En effet, b = a × (a’ × b) où a’ désigne l’inverse de a. C’est la raison pour laquelle on ne parle pas de divisibilité dans l’ensemble des nombres réels ou des nombres complexes.

[/encadre]

 

Des nombres inversibles… ou pas

On peut définir dans l’ensemble D des nombres décimaux la notion de divisibilité comme on le fait habituellement pour les entiers, en disant que le nombre décimal a divise le nombre décimal b s’il existe un nombre décimal c tel que b = a × c. Les entiers étant des nombres décimaux, on en déduit que, pour deux entiers a et b, si a divise b au sens habituel, cette propriété est encore vraie dans l’univers des nombres décimaux. Cependant, la réciproque est fausse : 2 divise 3 (puisque 3 = 2 × 1,5), ou encore 60 divise 9 (puisque 9 = 60 × 0,15).

Dans l’ensemble  \( \mathbb{Z}\)  des entiers relatifs, seuls 1 et – 1 sont inversibles. Pour tout autre entier non nul n, la fraction 1 / n ne définit pas un entier. Au contraire, dans D, une infinité d’éléments possèdent cette propriété. Par exemple, tous les nombres de la forme ± 2n5p, où n et p désignent des entiers, sont inversibles ; ce sont d’ailleurs les seuls si l’on fait varier n et p dans  \( \mathbb{Z}\) . Deux décimaux a et b seront dits associés s’il existe un décimal u inversible tel que a = b × u. L’intérêt de cette définition est que deux nombres associés jouent exactement le même rôle vis-à-vis de la notion de divisibilité ; en particulier, ils possèdent les mêmes diviseurs.

La notion de nombre premier se retrouve dans l’ensemble des nombres décimaux ; on préfère cependant les appeler irréductibles pour éviter des confusions. Un décimal est ainsi appelé s’il n’est pas inversible et si ses seuls diviseurs sont les nombres inversibles et les nombres qui lui sont associés. Ainsi, les nombres 2 et 5 ne sont pas irréductibles puisqu’ils sont inversibles. En revanche, tous les autres nombres premiers (et tous leurs associés) le sont, et ce sont les seuls. Par exemple, 7 est irréductible, 35 l’est aussi, puisque 35 = 7 × 5 (et ces deux nombres sont donc associés).

La notion de décomposition en produit de facteurs irréductibles se retrouve également. Si l’on impose de choisir comme seuls éléments irréductibles de la décomposition les nombres premiers autres que 2 et 5, on peut décomposer de manière unique tout nombre décimal a sous la forme a = u × b où u est inversible et b est un produit de nombres premiers, élevés à certaines puissances, autres que 2 et 5. Par exemple 215,6 = 0,4 × 72 × 11.

On peut définir la notion de nombres premiers entre eux en disant que a et b le sont s’ils n’ont en commun aucun diviseur irréductible. Quelques théorèmes bien connus sont alors encore valables ! C’est le cas du célèbre théorème de Gauss : si a divise b × c et si a est premier avec b, alors a divise c. Un autre théorème bien connu, celui de Bezout, est lui aussi vérifié dans cet ensemble (a et b sont premiers entre eux si, et seulement si, il existe deux autres éléments u et v tels que a × u + b × v = 1).

 

 

Tout est relatif !

La divisibilité dans de telles structures algébriques (les anneaux) n’est en rien anecdotique. Certains d’entre eux ont montré leur intérêt en théorie des nombres. Il s’agit des anneaux d’entiers quadratiques, définis pour chaque nombre premier p comme l’ensemble des nombres de la forme  \( a+b\sqrt{p}\)  où a et b désignent des entiers quelconques.

L’anneau des entiers de Gauss est quant à lui formé des nombres a + i b où a et sont des entiers et i désigne la racine carrée de – 1 ; cet ensemble est inclus dans l’ensemble  \( \mathbb{C}\) des nombres complexes. On peut y définir une notion de division euclidienne et tout nombre s’y décompose en produit d’éléments irréductibles ; ainsi, le nombre premier 2 n’est pas irréductible dans cette structure car on peut écrire 2 = (1 + )(1 – ). Comme quoi, dans le cadre de la divisibilité, tout est… relatif !

 

[encadre]

La divisibilité dans les entiers p-adiques

Prenons un nombre premier p et notons  \( \mathbb{Q}_p\)  l’ensemble des fractions a / b avec a et b deux entiers, b > 0, et telles que p ne divise pas b. On suppose en outre, sans perte de généralité, que la forme a / b est irréductible (on ne peut simplifier cette fraction). La somme, le produit de deux éléments de  \( \mathbb{Q}_p\)  sont des élément de  \( \mathbb{Q}_p\) . Comme cet ensemble contient les entiers (il suffit de prendre b = 1),  \( \mathbb{Q}_p\)  est un anneau intègre. Que peut-on dire de la divisibilité dans  \( \mathbb{Q}_p\)  ?

Prenons un élément r = a / b avec p ne divisant ni a ni b. Non seulement r appartient à  \( \mathbb{Q}_p\)  , mais son inverse, ’ = b / a, également. De tels éléments sont dits inversibles ; ils divisent tout autre élément u puisque u = (u × ’) × r.

Soit maintenant deux éléments r = a / b et s = a’ / b’ de  \( \mathbb{Q}_p\) . Appelons n la plus grande puissance de p divisant a et n’ celle divisant a’ ; on peut donc écrire a = pnc et a’ = pn’c’ avec c et c’ des entiers non divisibles par p.

Ainsi, si n ≤ n’ par exemple, on vérifie que a’ = pn’–n (c’ / c) × a. En posant z = pn’–n (c’ / c), on obtient a’ = z × a, donc aussi s = r × u avec u = zb / b’. Comme p ne divise ni c ni b’, l’élément u est un élément de  \( \mathbb{Q}_p\)  , et r divise s.

Dans le cas où n’ ≤ n, on montre de même que s divise r.

Prenons comme exemple p = 7, r = 34 et s = 14. On vérifie que 14 = 14 / 34 × 34. Or 7 ne divise pas 34, donc 14 / 34 est un élément de  \( \mathbb{Q}_p\)  , ce qui montre que 34 divise 14. Vous vérifierez de même que 100 divise 49 et que 625 divise 154 !

 

Références :

• Dossier « Curieux nombres p-adiques ». Tangente 190, 2019.

• Dossier « Les systèmes de numération ». Tangente 185, 2018.

[/encadre]

 
 

 

 

Lire la suite