News :: Erreur :: Statistiques :: ClearType :: Imprimer ::

THÉORIE DE LA DÉMONSTRATION | NOMBRES | OPÉRATEURS ARITHMÉTIQUES |
THÉORIE DES NOMBRES | THÉORIE DES ENSEMBLES | PROBABILITÉS | STATISTIQUES

LISTE DES SUJETS TRAITÉS SUR CETTE PAGE

Traditionnellement, la théorie des nombres est une branche des mathématiques qui s'occupe des propriétés des nombres entiers, qu'ils soient entiers naturels ou entiers relatifs. Plus généralement, le champ d'étude de cette théorie concerne une large classe de problèmes qui proviennent naturellement de l'étude des entiers. La théorie des nombres peut être divisée en plusieurs branches d'étude (théorie algébrique des nombres, théorie calculatoire des nombres, etc.) en fonction des méthodes utilisées et des questions traitées.

Nous avons choisi de présenter dans cet exposé que les sujets qui sont indispensables à l'étude de la mathématique et de la physique théorique ainsi que ceux devant faire absolument partie de la culture générale de l'ingénieur.

PRINCIPE DU BON ORDRE

Nous tiendrons acquis ce principe qui dit que que tout ensemble non vide  contient un plus petit élément.

Nous pouvons utiliser ce théorème pour démontrer une propriété importante des nombres appelée "propriété archimédienne" ou "axiome d'Archimède" qui s'énonce ainsi :

Pour où a est non nul, il existe au moins un entier positif n tel que:

  (4.1)

En d'autres termes, pour deux grandeurs inégales, il existe toujours un multiple entier de la plus petite, supérieur à la plus grande. Nous appelons "archimédien" des structures dont les éléments vérifient une propriété comparable (cf. chapitre de Théorie Des Ensembles).

Même si cela est trivial à comprendre faisons la démonstration car elle permet de voir le type de démarches utilisés par les mathématiciens quand ils doivent démontrer des éléments triviaux de ce type...

Démonstration:

Supposons le contraire en disant que pour  nous avons :

    (4.2)

Si nous démontrons que cela est absurde pour tout n alors nous aurons démontré la propriété archimédienne.

Considérons alors l'ensemble:

  (4.3)

En utilisant le principe du bon ordre, nous déduisons qu'il existe  tel que  pour tout . Posons donc que ce plus petit élément est: 

  (4.4)

et nous avons donc aussi:

  (4.5)

Comme par hypothèse nous devons alors avoir:

  (4.6)

et si nous réarrangeons et simplifions:

  (4.7)

et que nous simplifions le signe négatif nous devions donc avoir...:

  (4.8)

d'où une contradiction évidente!

Cette contradiction amène que l'hypothèse initiale comme quoi pour tout n alors est fausse et donc que la propriété archimédienne est démontrée par l'absurde.

C.Q.F.D.

PRINCIPE D'INDUCTION

Soit S un ensemble de nombres naturels qui possède les deux propriétés suivantes :

P1.

P2. Si , alors

Alors :

   (4.9)

Nous construisons ainsi l'ensemble des nombres naturels (se référer au chapitre de Théorie des Ensembles pour voir la construction rigoureuse de l'ensemble des nombres entiers avec les axiomes de Zermelo-Fraenkel).

Soit maintenant:

  (4.10)

le symbole " \ " signifiant "excluant". Nous voulons démontrer que :

  (4.11)

A nouveau, même si cela est trivial à comprendre faisons la démonstration car elle permet de voir le type de démarches utilisés par les mathématiciens quand ils doivent démontrer des éléments triviaux de ce type...

Démonstration:

Supposons le contraire, c'est-à-dire:

  (4.12)

Par le principe du bon ordre, puisque , B doit posséder un plus petit élément que nous noterons .

Mais puisque de par (P1), nous avons que et bien évidemment aussi que , c'est-à-dire aussi . En faisant appel à (P2), nous avons finalement que , c'est-à-dire que , donc une contradiction.

C.Q.F.D.

Exemple: 

Nous souhaitons montrer à l'aide du principe d'induction, que la somme des n premiers carrés est égale à , c'est-à-dire que pour  nous aurions (cf. chapitre de Suites Et Séries):

  (4.13)

D'abord la relation ci-dessus est facilement vérifiée pour  nous allons montrer que  vérifie aussi cette relation. En vertu de l'hypothèse d'induction:

  (4.14)

nous retrouvons bien l'hypothèse de la validité de la première relation mais avec , d'où le résultat.

C.Q.F.D.

Ce procédé de démonstration est donc d'une très grande importance dans l'étude de l'arithmétique; souvent l'observation et l'induction ont permis de soupçonner des lois qu'il eût été plus difficile de trouver par a priori. Nous nous rendons compte de l'exactitude des formules par la méthode précédente qui a donné naissance à l'algèbre moderne par les études de Fermat et de Pascal sur le triangle de Pascal (voir la section d'Algèbre)

DIVISIBILITÉ

Définition: Soit  avec . Nous disons que "A divise B (sans restes)" s'il existe un entier q (le quotient) tel que : 

  (4.15)

auquel cas nous écrivons :

A|B   (4.16)

Dans le cas contraire, nous écrivons  et nous lisons "A ne divise pas B".

Par ailleurs, si A|B, nous dirons aussi que "B est divisible par A" ou que "B est un multiple de A".

Dans le cas où A|B et que , nous dirons que A est un "diviseur propre" de B.

De plus, il est clair que A|0 quel que soit  sinon quoi nous avons une singularité.

Voici maintenant quelques théorèmes élémentaires se rattachant à la divisibilité:

T1. Si A|B, alors A|BC quel que soit

Démonstration:

Si A|B, alors il existe un entier q tel que . Alors, et ainsi A|BC.

C.Q.F.D.

T2. Si A|B et B|C, alors A|C.

Démonstration: 

Si A|B et B|C, alors il existe des entiers q et r tels que et . Donc, et ainsi A|C.

C.Q.F.D.

T3. Si A|B et A|C, alors :

,   (4.17)

Démonstration:

Si A|B et A|C, alors il existe des entiers q et r tels que et . Il s'ensuit que:

  (4.18)

et ainsi que .

C.Q.F.D.

T4. Si A|B et B|A, alors

Démonstration:

Si A|B et  B|A, alors il existe des entiers q et r tels que  et . Nous avons donc  et ainsi ; c'est pourquoi nous pouvons avoir  si  et qu'ainsi

C.Q.F.D.

T5. Si A|B et  alors

Démonstration:

Si A|B et , alors il existe un entier  tel que . Mais alors, , puisque .

C.Q.F.D.

DIVISION EUCLIDIENNE

La division euclidienne est une opération qui, à deux entiers naturels appelés dividende et diviseur, associe deux entiers appelés quotient et reste. Initialement définie aux entiers naturels non nuls, elle se généralise aux entiers relatifs et aux polynômes, par exemple.

Définition: Nous appelons "division euclidienne" ou "division entière" de deux nombres A et B l'opération consistant à diviser B par A en s'arrêtant quand le reste devient strictement inférieur à A.

Rappelons que tout nombre qui n'a pas de diviseur euclidien autre 1 et lui-même est dit "nombre premier" et que tout couple de nombres qui n'ont que 1 comme diviseur euclidien commun sont dits "premiers entre eux".

Soit  avec . Le "théorème de la division euclidienne" affirme qu'il existe des entiers uniques  q et r tels que :

  (4.19)

où . De plus, si , alors .

Démonstration:

Considérons l'ensemble:

  (4.20)

Il est facile de voir que  et que , d'où, d'après le principe du bon ordre, nous concluons que S contient un plus petit élément . Soit q l'entier satisfaisant donc à

  (4.21)

Nous voulons d'abord montrer que en supposant le contraire (démonstration par l'absurde), c'est-à-dire que . Alors, dans ce cas, nous avons :

  (4.22)

ce qui est équivalent à:

  (4.23)

mais  et:

  (4.24)

ce qui contredit le fait que :

    (4.25)

est le plus petit élément de S. Donc, . Enfin, il est clair que si , nous avons A|B, d'où la seconde affirmation du théorème.

C.Q.F.D.

Remarque: Dans l'énoncé de la division euclidienne, nous avons supposé que . Qu'obtenons-nous lorsque ? Dans cette situation, -A est positif, et alors nous pouvons appliquer la division euclidienne à B et -A. Par conséquent, il existe des entiers  q et r  tels que:

où   (4.26)

Or, cette relation peut s'écrire , où bien sûr, -q est un entier. La conclusion est que la division euclidienne peut s'énoncer sous la forme plus générale : 

Soit , alors il existe des entiers  q et r tels que , où . De plus, si , alors .

Les entiers  q et r sont dans la division euclidienne uniques. En effet, s'il existe deux autres entiers  et  tels que  avec toujours , alors  et ainsi . En vertu de (T5) nous avons, si , . Or, cette dernière inégalité est impossible puisque . Donc,  et, puisque , alors ; d'où l'unicité.

PLUS GRAND COMMUN DIVISEUR

Soit  tels que . Le "plus grand commun diviseur" (noté "PGCD" par la suite) de a et b, noté :

    (4.27)

est l'entier naturel  d non nul qui satisfait aux deux propriétés suivantes :

P1. d|a et d|b (donc sans reste r dans la division!)

P2. si c|a et c|b alors et c|d (par définition!)

Notons que 1 est toujours un diviseur commun de deux entiers arbitraires.

Exemple:

Considérons les entiers positifs 36 et 54. Un diviseur commun de 36 et 54 est un entier positif qui divise 36, et aussi 54. Par exemple, 1 et 2 sont des diviseurs communs de 36 et 54.

  (4.28)

Nous avons alors l'intersection représentée par le diagramme de Venn suivant:

  (4.29)

avec l'ensemble des diviseurs communs suivant:

  (4.30)

et donc le PGCD est:

  (4.31)

et nous constatons que l'ensemble des diviseurs communs de 36 et 54 est aussi l'ensemble des
diviseurs de 18.

Cependant, il n'est pas forcément évident que le PGCD autre qu'unitaire (c'est-à-dire différent 1) de deux entiers a et b qui ne sont pas premier entre eux existe toujours. Ce fait est démontré dans le théorème suivant (cependant, si le PGCD existe, il est de par sa définition unique!) dit "théorème de Bézout" qui permet aussi de démontrer d'autres propriétés intéressantes de deux nombres comme nous le verrons plus tard.

Démonstration:

Soit   tels que . Si d divise a et d divise b (pour les deux sans reste r!) il existe alors obligatoirement des entiers relatifs x et y tels que:

  (4.32)

Cette relation est appelée "identité de Bézout" et il s'agit d'une équation diophantienne linéaire (cf. chapitre de Calcul Algébrique).

Evidemment, si a et b sont premiers entre eux nous savons que d vaut alors 1.

Pour démontrer l'identité de Bézout considérons d'abord l'ensemble:

  (4.33)

Comme  et , nous pouvons utiliser le principe du bon ordre et conclure que S possède un plus petit élément d. Nous pouvons alors écrire:

  (4.34)  

pour un certain choix . Il suffit donc de montrer que pour démontrer l'identité de Bézout!

Procédons via une démonstration par l'absurde en posant supposant . Alors si c'est le cas, d'après la division euclidienne, il existe  tels que , où . Mais alors:

  (4.35)

Ainsi, nous avons que  et , ce qui contredit le fait que d est le plus petit élément possible de S. Donc nous avons démontré ainsi non seulement que d|a mais qu'en plus d existe toujours et, de la même façon, nous démontrons que d|b.

Comme corollaire important montrons maintenant que si tels que , alors :

  (4.36)

constitue l'ensemble de tous les multiples de :

Comme d|a et d|b, alors  pour tout . Soit . Nous voulons montrer que .

Soit d'abord  ce qui signifie que d|s et qui implique . Soit un , cela voudrait donc dire que  pour un certain .

Comme  pour un choix d'entiers quelconques , alors:

  (4.37)

C.Q.F.D.

Les hypothèses peuvent sembler compliquées mais portez plutôt votre attention un certain temps sur la dernière relation. Vous allez tout de suite comprendre!

Remarque: Si au lieu de définir le PGCD de deux entiers non nuls, nous permettons à l'un d'entre eux d'être égal à 0, disons , ? Dans ce cas, nous avons a|b et , selon notre définition du PGCD, il est clair que .

Soit  et soit , alors nous avons les propriétés suivantes du PGCD :

P1.

P2.  où

P3.

P4. Si  tel que g|a et g|b alors

Dans certains ouvrages, ces quatre propriétés sont démontrées en utilisant intrinsèquement la propriété elle-même. Personnellement nous nous en abstiendrons car faire cela est plus ridicule qu'autre chose à notre goût car la propriété est une démonstration en elle-même.

Elaborons maintenant une méthode qui s'avérera très importante pour calculer le plus grand commun diviseur de deux entiers (utile en informatique parfois).

ALGORITHME D'EUCLIDE

L'algorithme d'Euclide est un algorithme permettant de déterminer le plus grand commun diviseur de deux entiers.

Pour aborder cette méthode de manière intuitive, il faut savoir que vous devez comprendre un nombre entier comme une longueur, un couple d'entiers comme un rectangle (côtés) et leur PGCD est la taille du plus grand carré permettant de carreler (paver) ce rectangle par définition (oui si vous réfléchissez un petit moment c'est assez logique!).

L'algorithme décompose le rectangle initial en carrés, de plus en plus petits, par divisions euclidiennes successives, de la longueur par la largeur, puis de la largeur par le reste, jusqu'à un reste nul. Il faut bien comprendre cette démarche géométrique pour comprendre ensuite l'algorithme.

Exemple:

Considérons que nous cherchons le PGCD (a,b) où b vaut 21 et a vaut15 et gardons à l'esprit que le PGCD, outre le fait qu'il divise a et b, doit laisser un reste nul! En d'autres termes il doit pouvoir diviser le reste de la division de b par a aussi!

Nous avons donc le rectangle de 21 par 15 suivant:

  (4.38)

D'abord nous regardons si 15 est le PGCD (on commence toujours par le plus petit). Nous divisons alors 21 par 15 ce qui équivaut géométriquement à:

  (4.39)

15 n'est donc pas le PGCD (on s'en doutait...). Nous voyons immédiatement que nous n'arrivons pas à paver le rectangle avec un carré de 15 par 15.

Nous avons donc un reste de 6 (rectange de gauche). Le PGCD comme nous le savons doit, s'il existe, par définition pouvoir diviser ce reste et laisser un reste nul.

Il nous reste donc un rectangle de 15 par 6. Nous cherchons donc maintenant à paver ce nouveau rectangle car nous savons que le PGCD est par construction inférieur ou égal à 6. Nous avons alors:

  (4.40)

Et nous divisons donc 15 par le reste 6 (ce résultat sera inférieur à 6 et permet immédiatement de tester si le reste sera le PGCD). Nous obtenons:

  (4.41)

A nouveau, nous n'arrivons pas à paver ce rectangle rien qu'avec des carrés. En d'autres termes, nous avons un reste non nul qui vaut 3. Soit un rectangle de 6 par 3. Nous cherchons donc maintenant à paver ce nouveau rectangle car nous savons que le PGCD est par construction inférieur ou égal à 3 et qu'il laissera un reste nul si il existe. Nous avons alors géométriquement:

  (4.42)

Nous divisons 6 par 3 (ce qui sera inférieur à 3 et permet immédiatement de tester si le reste sera le PGCD):

  (4.43)

et c'est tout bon! Nous avons 3 qui laisse donc un reste nul et divise le reste 6 il s'agit donc du PGCD. Nous avons donc au final:

Maintenant, voyons l'approche formelle équivalente:

Soit , où . En appliquant successivement la division euclidienne (avec b>a), nous obtenons la suite d'équations:

    (4.44)

Si , alors .

Sinon de manière plus formelle:

Démonstration:

Nous voulons d'abord montrer que . Or, d'après la propriété :

  (4.45)

nous avons :

  (4.46)

Pour démontrer la deuxième propriété de l'algorithme d'Euclide, nous écrivons l'avant dernière équation du système sous la forme:

  (4.47)

Or, en utilisant l'équation qui précède cette avant dernière équation du système, nous avons :

    (4.48)

En continuant ce processus, nous arrivons à exprimer  comme une combinaison linéaire de a et b.

C.Q.F.D.

Exemple:

Calculons le plus grand commun diviseur de (966,429) et exprimons ce nombre comme une combinaison linéaire de 966 et de 429.

Nous appliquons bien évidemment l'algorithme d'Euclide: 

  (4.49)

Nous en déduisons donc que :

    (4.50)

et, de plus, que:

  (4.51)

Donc le PGCD est bien exprimé comme une combinaison linéaire de a et b et constitue à ce titre le PGCD.

Définition: Nous disons que les entiers sont "relativement premiers" si :

  (4.52)

PLUS PETIT COMMUN MULTIPLE

Définitions:

D1. Soit , nous disons que m est un "commun multiple" de  si  pour .

D2. Soit , nous appelons "plus petit commun multiple" (PPCM) de , noté : 

  (4.53)

le plus petit entier positif par tous les communs multiples de .

Exemple :

Considérons les entiers positifs 3 et 5. Un multiple commun de 3 et 5 est un entier positif qui est à la fois un multiple de 3, et un multiple de 5. Autrement dit, qui est divisible par 3 et aussi par 5. Nous avons donc:

  (4.54)

Nous avons alors l'intersection représentée par le diagramme de Venn suivant:

  (4.55)

avec l'ensemble des communes multiples suivant:

  (4.56)

et le PPCM est alors:

  (4.57)

On constate que l'ensemble des multiples communs de 3 et 5 est aussi l'ensemble des multiples de 15.

Remarque: Soit . Alors, le plus petit commun multiple existe. En effet, considérons l'ensemble:

  (4.58)

Puisque , alors l'ensemble est non vide et, d'après l'axiome du bon ordre, l'ensemble E contient un plus petit élément positif.

Voyons maintenant quelques théorèmes relatifs au PPCM :

T1. Si m est un commun multiple de  alors

Démonstration:

Soit . Alors, d'après la division euclidienne, il existe des entiers  q et r tels que:

  (4.59)

Il suffit de montrer que . Supposons  (démonstration par l'absurde). Puisque  et , alors on a  et cela pour . Donc, r est un commun multiple de  plus petit que le PPCM On vient d'obtenir une contradiction, ce qui prouve le théorème.

C.Q.F.D.

T2. Si , alors

La démonstration sera supposée évidente (dans le cas contraire contactez-nous et cela sera détaillé!)

T3.

Démonstration:

Pour la démonstration, nous allons utiliser le "lemme d'Euclide" qui dit que si a|bc et  alors a|c.

Effectivement cela se vérifie aisément car nous avons vu qu'il existe  tels que  et alors . Mais a|ac et a|bc impliquent que , c'est-à-dire également que .

Revenons à notre théorème:

Puisque  et , il suffit de prouver le résultat pour des entiers positifs a et b. En tout premier lieu, considérons le cas où . L'entier [a,b] étant un multiple de a, nous pouvons écrire . Ainsi, nous avons  et, puisque , il s'ensuit, d'après le lemme d'Euclide, que b | m. Donc,  et alors . Mais ab est un commun multiple de a et b qui ne peut être plus petit que le PPCM. c'est pourquoi .

Pour le cas général, c'est-à-dire , nous avons, d'après la propriété :

    (4.60)

et avec le résultat obtenu précédemment que:

  (4.61)

Lorsque nous multiplions des deux côtés de l'équation par , le résultat suit et la démonstration est effectuée.

C.Q.F.D.

tHÉORÈME FONDAMENTAL DE L'ARITHMÉTIQUE

Le théorème fondamental de l'arithmétique dit que tout nombre naturel  peut s'écrire comme un produit de nombres premiers, et cette représentation est unique, à part l'ordre dans lequel les facteurs premiers sont disposés.

Le théorème établit l'importance des nombres premiers. Essentiellement, ils sont les briques élémentaires de construction des entiers positifs, chaque entier positif contenant des nombres premiers d'une manière unique.

Démonstration:

Si n est premier, alors la preuve est terminée. Supposons que n n'est pas premier et considérons l'ensemble:

  (4.62)

Alors,  et , puisque n est composé, nous avons que . D'après le principe du bon ordre, D possède un plus petit élément  qui est premier, sans quoi le choix minimal de  serait contredit. Nous pouvons donc écrire . Si  est premier, alors la preuve est terminée. Si  est composé, alors nous répétons le même argument que précédemment et nous en déduisons l'existence d'un nombre premier  et d'un entier  tels que . En poursuivant ainsi nous arrivons forcément à la conclusion que  sera premier.

Donc finalement nous avons bien démontré qu'un nombre quelconque est décomposable en facteurs de nombres premiers à l'aide du principe du bon ordre.

C.Q.F.D.

Nous ne connaissons pas à ce jour de loi simple qui permette de calculer le n-ième facteur premier . Ainsi, pour savoir si un entier m est premier, il est pratiquement plus facile à ce jour de vérifier sa présence dans une table de nombres premiers.

En fait, nous utilisons aujourd'hui la méthode suivante :

Soit un nombre m, si nous voulons déterminer s'il est premier ou non, nous calculons s'il est divisible par les nombres premiers qui appartiennent à l'ensemble : 

  (4.63)

Exemple:

L'entier 223 n'est divisible par 2, ni par 3, ni par 5, ni par 7, ni par 11, ni par 13. Il est inutile de continuer avec le prochain nombre premier, car . Nous en déduisons dès lors que le nombre 223 est premier.

CONRUENCES

Définition: Soit . Si a et b ont même reste dans la division euclidienne par m nous disons que "a est congru à b modulo m", et nous écrivons :

  (4.64)

ou de manière équivalente il existe un nombre entier relatif k tel que :

  (4.65)

Le lecteur pourra vérifier que cela impose que

  (4.66)

soit en français.... que m divise la différence entre a et b. Dans le cas contraire, nous disons que "a est non congru à b modulo m".

Une autre manière de dire tout cela si ce n'est pas clair... :

L'étude de ces propriétés qui relient trois nombres entre eux est appelée communément "l'arithmétique modulaire".

La relation de congruence est une relation d'équivalence (cf. chapitre sur les Opérateurs), en d'autres termes , soient alors la relation de congruence est :

P1. Réflexive :

  (4.67)

P2. Symétrique :

  (4.68)

P3. Transitive :

  (4.69)

Démonstration:

Les propriétés P1 et P2 sont évidentes (si ce n'est pas le cas faites le nous savoir nous développerons!). Nous démontrerons P3. Les hypothèses impliquent que . Mais alors :

  (4.70)

ce qui montre que a et c sont congrus modulo m.

C.Q.F.D.

La relation de congruence est compatible avec la somme et le produit (se rappeler que la puissance n'est finalement qu'une extension du produit!).

Effectivement, soient tel que et alors :

P1.

P2.

Démonstrations:

Nous avons:

  (4.71)

par hypothèse. Mais alors :

  (4.72)

ce qui démontre P1. Nous avons également :

  (4.73)

ce qui démontre P2.

C.Q.F.D.

Remarque: La relation de congruence se comporte sur de nombreux points comme la relation d'égalité. Néanmoins une propriété de la relation d'égalité n'est plus vraie pour celle de congruence, à savoir la simplification : si , nous n'avons pas nécessairement .

Exemple :

mais

Jusqu'ici, nous avons vu des propriétés des congruences faisant intervenir un seul modulus. Nous allons maintenant étudier le comportement de la relation de congruence lors d'un changement de modulus.

P1. Si et d|m, alors

P2. Si et alors a et b sont congrus modulo [r,s]

Ces deux propriétés sont évidentes. Inutile d'aller dans les détails pour P1. Pour P2, puisque b-a est un multiple de r et de s puisque par hypothèse :

  (4.74)

b-a est donc un multiple du PPCM de r et s, ce qui démontre P2.

De ces propriétés il vient que si nous désignons par f(x) un polynôme à coefficient entiers (positifs ou négatifs):

  (4.75)

La congruence  donnera aussi .

Si nous remplaçons x successivement  par tous les nombres entiers dans un polynôme f(x) à coefficients entiers, et si nous prenons les résidus pour le module m, ces résidus se reproduisent  de m en m (dans le sens où la congruence se vérifie), puisque nous avons, quel que soit l'entier m et x:

  (4.76)

Nous en déduisons alors l'impossibilité de résoudre la congruence suivante :

  (4.77)

en nombres entiers, si r désigne l'un quelconque des non-résidus (un résidu qui ne satisfait pas la congruence).

CLASSES DE CONGRUENCE

Définition: Nous appelons "classe de congruence modulo m", le sous-ensemble de l'ensemble défini par la propriété que deux éléments a et b de sont dans la même classe si et seulement si ou qu'un ensemble d'éléments entre eux sont congrus par ce même modulo.

Exemple:

Soit . Nous divisons l'ensemble des entiers en classes de congruence modulo 3. Exemple de trois ensembles dont tous les éléments sont congrus entre eux sans reste (observez bien ce que donne l'ensemble des classes!) :

  (4.78)

Ainsi, nous voyons que pour chaque couple d'élément d'une classe de congruence, la congruence modulo 3 existe. Cependant, nous voyons que nous ne pouvons pas prendre où -9 se trouve dans le première classe et -8 dans le seconde.

Le plus petit nombre non négatif de la première classe est 0, celui de la deuxième est 1 et celui de la dernière est 2. Ainsi, nous noterons ces trois classes respectivement , le chiffre 3 en indice indiquant le modulus.

Il est intéressant de noter que si nous prenons un nombre quelconque de la première classe et un nombre quelconque de la deuxième, alors leur somme est toujours dans la deuxième classe. Ceci se généralise et permet de définir une somme sur les classes modulo 3 en posant :

  (4.79)

Ainsi que :

  (4.80)

Ainsi, pour tout , la classe de congruence de :

  (4.81)

est l'ensemble des entiers congrus à a modulo m (et congrus entre eux modulo m). Cette classe est notée :

  (4.82)

Remarque: Le fait d'avoir mis entre parenthèse l'expression "et congrus entre eux modulo m" est du au fait que la congruence, étant une relation d'équivalence nous avons comme nous l'avons démontré plus haut que si , alors .

Définition: L'ensemble des classes de congruences (qui forment par le fait que la congruence est une relation d'équivalence des : "classes d'équivalences"), pour un m fixe donne ce que nous appelons un "ensemble quotient" (cf. chapitre Opérateurs). Plus rigoureusement, nous parlons de "l'ensemble quotient de par la relation de congruence" dont les éléments sont les classes de congruences (ou : classes d'équivalences) et qui forment alors l'anneau .

Nous déduisons de la définition les deux propriétés triviales suivantes :

P1. Le nombre b est dans la classe si et seulement si

P2. Les classes et sont égales si et seulement si

Montrons maintenant qu'il y a exactement m différentes classes de congruence modulo m, à savoir .

Démonstration:

Soit , alors tout nombre entier a est congru modulo m à un et un seul entier r de l'ensemble (remarquez bien, c'est important, que nous nous restreignons aux entiers positifs ou nuls sans prendre en compte les négatifs!). De plus, cet entier r est exactement le reste de la division de a par m. En d'autres termes, si , alors :

  (4.83)

si et seulement si où q est le quotient de a par m et r le reste. La démonstration est donc une conséquence immédiate de la définition de la congruence et de la division euclidienne.

C.Q.F.D.

Définition: Un entier b est dans une classe de congruence modulo m est appelé "représentant de cette classe" (il est claire que par la relation d'équivalence que deux représentants d'une même classe sont donc congrus entre eux modulo m).

Nous allons pouvoir maintenant définir une addition et une multiplication sur les classes de congruences. Pour définir la somme de deux classes , il suffit de prendre un représentant de chaque classe, de faire leur somme et de prendre la classe de congruence du résultat. Ainsi (voir les exemples plus haut) :

  (4.84)

et de même pour la multiplication :

  (4.85)

Par définition de la somme et du produit, nous constatons que la classe de 0 est l'élément neutre pour l'addition :

  (4.86)

et la classe de l'entier 1 est l'élément neutre pour la multiplication :

  (4.87)

Définition: Un élément de est "une unité" s'il existe un élément tel que

Le théorème suivant permet de caractériser les classes modulo m qui sont des unités dans :

Théorème : Soit [a] un élément . Alors [a] est une unité si et seulement si .

Démonstration:

Supposons d'abord que . Alors par Bézout, nous avons son identité :

  (4.88)

Autrement dit, as est congru à 1 modulo m. Mais ceci est équivalent à écrire par définition que ce qui montre que [a] est une unité. Réciproquement, si [a] est une unité, ceci implique qu'il existe une classe [s] telle que .

Ainsi, nous venons de démontrer que constitue bien un anneau puisqu'il possède une addition, une multiplication, un élément neutre et un inverse.

C.Q.F.D.

FRACTIONS CONTINUES

La notion de fraction continue remonte à l'époque de Fermat et atteint son apogée avec les travaux de Lagrange et Legendre vers la fin du 18ème siècle. Ces fractions sont importantes en physique car nous les retrouvons en acoustique ainsi que dans la démarche intellectuelle qui a amené Galois à créer sa théorie des groupes.

Considérons dans un premier temps le nombre rationnel a/b avec  avec  et . Nous savons que tous les quotients  et les restes  sont dans le cadre de la division euclidienne des entiers positifs.

Rappelons l'algorithme d'Euclide vu plus haut (mais noté de manière un peu différente):

  (4.89)

Par substitutions successives, nous obtenons:

  (4.90)

Ce qui est aussi parfois noté:

  (4.91)

Ainsi, tout nombre rationnel positif peut s'exprimer comme une fraction continue finie où .

Exemples:

E1. Cherchons l'expression de 17/49. Nous savons déjà que  donc que . Nous avons alors:

  (4.92)

Nous voyons bien dans cet exemple que nous avons effectivement . Nous pouvons également remarquer que par construction:

  (4.93)

où les crochets représentent la partie entière et nous avons aussi:

  (4.94)

E2. Voyons comment extraire la racine carrée d'un nombre A par la méthode des fractions continues.

Soit a le plus grand nombre entier dont le carré  est plus petit que A. On le soustrait de A. Il y a donc un reste de:

  (4.95)

où nous avons utilisé une des identités remarquables vues dans le chapitre d'Algèbre. D'où en divisant les deux membres par la deuxième parenthèse, nous avons:

  (4.96)

Soit:

  (4.97)

Dans le dénominateur, nous remplaçons  par:

  (4.98)

Cela donne:

  (4.99)

etc.... on voit ainsi que le système est simple pour déterminer l'expression d'une racine en termes de fraction continue.

Le développement du nombre a/b s'appelle le "développement du nombre a/b en fraction continue finie" et est condensé sous la notation suivante:

  (4.100)

Nous considérerons comme intuitif que tout nombre rationnel peut s'exprimer comme fraction continue finie et inversement que toute fraction continue finie représente un nombre rationnel. Par extension, un nombre irrationnel est représenté par une fraction continue infinie!

Considérons maintenant  une fraction continue finie. La fraction continue:

  (4.101)

où  est appelée la "k-ème réduite" ou la "k-ème convergente" ou encore le "k-ème quotient partiel".

Avec cette notation, nous avons:

  (4.102)

Pour simplifier les expressions ci-dessus, nous introduisons les suites  (n pour numérateur et d pour dénominateur) définies par:

  (4.103)

à l'aide de cette construction, nous avons une petite inégalité intéressante immédiate pour un peu plus loin:

  (4.104)

Avec la définition ci-dessus, nous constatons que:

  (4.105)

Soit en généralisant:

  (4.106)

Maintenant, montrons pour un usage ultérieur que pour , nous avons:

  (4.107)

Le résultat est immédiat pour . En supposant que le résultat est vrai pour i montrons qu'il est aussi vrai pour . Puisque:

  (4.108)

alors en utilisant l'hypothèse d'induction, nous obtenons le résultat!

Nous pouvons maintenant établir une relation indispensable pour la suite. Montre que si  est la k-ème réduite de la fraction continue simple finie  alors:

  (4.109)

Démonstration:

  (4.110)

puisque:

  (4.111)

donc:

  (4.112)

ce qui nous indique que le signe  est le même que celui de .

Il en résulte que  pour k impair, et que  pour k pair. Il s'ensuit que:

 et   (4.113)

Ensuite, puisque:

  (4.114)

Donc pour k pair, nous avons , nous en déduisons donc:

  (4.115)

C.Q.F.D.

Montrons maintenant que toute fraction continue infinie peut représenter un nombre irrationnel quelconque.

En des termes formels, si  est une suite d'entiers tous positifs et que nous considérons  alors celui-ci converge nécessairement vers un nombre réel si .

Effectivement il n'est pas difficile d'observer (c'est assez intuitif) avec un exemple pratique que nous avons:

  (4.116)

lorsque .

Maintenant, notons x un nombre réel quelconque et  la partie entière de ce nombre réel. Alors nous avons vu tout au début de notre étude des fractions continues que:

  (4.117)

Il vient donc que:

  (4.118)

Attardons nous pour les nécessités du chapitre d'Acoustique sur le calcul d'une fraction continue d'un logarithme en utilisant la relation précédente!

D'abord rappelons que:

  (4.119)

Soit (relation démontrée dans le chapitre d'Analyse fonctionnelle):

  (4.120)

avec  et .

Soit  défini par:

  (4.121)

Alors montrons que:

  (4.122)

En effet, pour  nous avons:

  (4.123)

pour  nous avons:

  (4.124)

donc:

  (4.125)

et puisque nous avions montré que:

  (4.126)

etc... par récurrence ce qui démontre notre droit d'utiliser ce changement d'écriture.

Exemple:

Cherchons l'expression de la fraction continue de:

  (4.127)

Nous savons en jouant avec la définition du logarithme que:

  (4.128)

donc:

  (4.129)

donc . Nous avons alors:

  (4.130)

et puisque:

  (4.131)

il vient:

  (4.132)

Donc nous avons le premier quotient partiel:

  (4.133)

Et in extenso nous avons déjà:

  (4.134)

Simplifions:

  (4.135)

Donc le premier quotient partiel peut s'écrire:

  (4.136)

et passons au deuxième quotient partiel. Nous savons déjà pour cela que:

  (4.137)

donc il est immédiat que  et alors:

  (4.138)

Il vient alors:

  (4.139)

etc... etc.