SECTION SECONDE.
Des Congruences du premier degré.
13. Théorème. Le produit de deux nombres positifs plus petits qu’un nombre premier donné, ne peut être divisé par ce nombre premier.
Soit
le nombre premier et
et
je dis qu’on ne pourra
trouver aucun nombre positif
plus petit que
qui rende
![{\displaystyle ab\equiv 0\ {\text{(module}}\ p{\text{)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3312a981334eea3a26746f747eb191440d57a1f8)
En effet, s’il peut y en avoir, supposons que ce soient les nombres
tous plus petits que
ensorte qu’on ait
soit
le plus petit de tous, desorte
qu’on n’en puisse supposer un plus petit que
on aura évidemment
car si
on aurait
et partant non divisible par
Or
comme nombre premier ne peut être divisé par
mais tombera entre deux multiples de
Soit
sera positif et
Or nous avons supposé
on aura donc
et retranchant de
on aura
donc
devrait être mis au rang
des nombres
et serait plus petit que le plus petit de
tous, ce qui est contre la supposition.
14. Si aucun des deux nombres
n’est divisible par un nombre premier
le produit
ne le sera pas non plus.
Soient
et
les résidus minima positifs des nombres
et
suivant le module
aucun d’eux ne sera nul par hypothèse. Or si
l’on avait
comme
on aurait
ce qui serait
contraire au théorème précédent.
La démonstration de ce théorème a déjà été donnée par Euclide,
Él. vii, 32. Nous n’avons pas cependant voulu l’omettre, tant parceque plusieurs auteurs modernes ont présenté des raisonnements vagues
au lieu de démonstration, ou bien ont négligé ce théorème ; que
dans le but de faire mieux saisir, par ce cas très-simple, l’esprit de
la méthode que nous appliquerons par la suite à des points bien
difficiles.
15. Si aucun des nombres
etc. n’est divisible par le nombre premier
le produit
etc. ne le sera pas non plus.
Suivant l’article précédent,
n’est pas divisible par
donc il en est de même de
et ainsi de suite.
16. Théorème. Un nombre composé ne peut se résoudre que d’une seule manière, en facteurs premiers.
Il est évident par les élémens, que l’on peut toujours décomposer un nombre quelconque en facteurs premiers ; mais on
suppose à tort tacitement que cette décomposition ne soit possible que d’une manière. Imaginons qu’un nombre composé
étant des nombres premiers
inégaux, soit encore décomposable d’une autre manière en facteurs premiers. Il est d’abord manifeste que dans ce second
système de facteurs il ne peut entrer d’autres nombres premiers
que
puisque quelqu’autre que ce fût ne pourrait diviser
qui est composé des premiers. De même aucun des nombres
premiers
ne peut y manquer, car sans cela il ne diviserait pas
(No15) ; la différence ne peut donc porter que sur les
exposans. Or soit un nombre premier
qui ait dans l’un des systèmes l’exposant
et dans l’autre l’exposant
étant
divisons de part et d’autre par
restera dans l’un affecté de l’exposant
et disparaîtra de l’autre, donc
pourrait se décomposer de deux manières, dans l’une desquelles
n’entrerait pas, tandis qu’il resterait dans l’autre, ce qui est contre ce que nous avons
démontré.
17. Si donc le nombre
est le produit de
il s’ensuit que les nombres
ne peuvent avoir de facteurs
premiers différens de ceux de
et que chacun de ces facteurs doit
se trouver autant de fois dans les nombres
pris ensemble, que dans
On déduit de là le caractère pour reconnaître
si le nombre
divise ou non un autre nombre
Il le divisera s’il
ne contient aucun facteur premier étranger à
ni aucune puissance plus grande d’un des facteurs premiers de
Si une de ces
conditions manque,
ne divisera pas
À l’aide du calcul des combinaisons, on verra aisément que si
étant comme ci-dessus des nombres premiers différens, le nombre des diviseurs différens de
en
y comprenant
et
, est
18. Si donc
et si tous
les facteurs
diffèrent des facteurs
, etc. ;
et
n’auront d’autre diviseur commun que
ou bien seront premiers
entr’eux.
Le plus grand commun diviseur entre plusieurs nombres donnés
se trouve de la manière suivante : On décompose
les nombres en facteurs premiers, et l’on prend ceux qui sont communs à tous les nombres
(s’il n’y en avait pas de
tels, les nombres donnés n’auraient pas de commun diviseur) ; alors
on remarque quels sont les exposans de ces facteurs, dans chacun
des nombres
on donne à chaque facteur le plus petit des exposans qu’il a dans
et l’on compose un produit des puissances qui en résultent ; ce sera le plus grand commun
diviseur cherché.
Si l’on cherchait au contraire le plus petit nombre divisible à-la-fois, par les nombres
on prendrait tous les nombres
premiers qui diviseraient quelqu’un des nombres
et on donnerait à chacun d’eux le plus haut exposant qu’il ait dans
les nombres
Le produit de toutes ces puissances
serait le nombre cherché.
Soient, par exemple,
![{\displaystyle A=504=2^{3}.3^{2}.7\ ;\;\;B=2880=2^{6}.3^{2}.5\ ;\;\;C=864=2^{5}.3^{3}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feb3c280fd6891db8cd4c77b32458780abe4c1bd)
Pour trouver le plus grand diviseur commun, on a les facteurs
premiers
et
qui doivent être affectés des exposans
et
d’où il
vient
Quant au plus petit nombre divisible par
il sera
Nous omettons les démonstrations à cause de leur facilité ; d’ailleurs on sait par les élémens comment on résout ces problèmes,
quand les nombres
ne sont point donnés tout décomposés en facteurs.
19. Si les nombres
sont premiers avec
leur produit l’est aussi.
En effet, puisqu’aucun des nombres
n’a de facteurs premiers communs avec
et que le produit de ces nombres
ne peut avoir de facteurs premiers qui n’appartiennent à quelqu’un
d’entr’eux, ce produit n’aura non plus aucun facteur premier commun
avec
Si les nombres
sont premiers entr’eux, et que
soit divisible par chacun d’eux, il le sera aussi par leur produit.
C’est une suite des nos 17 et 18. Soit en effet
un diviseur premier
quelconque du produit
et qu’il ait l’exposant
quelqu’un
des nombres
sera divisible par
parconséquent
qui est divisible par ce nombre, le sera aussi par
il en sera de
même des autres diviseurs du produit.
Donc, si deux nombres
sont congrus suivant plusieurs modules
premiers entr’eux, ils le seront aussi suivant leur produit. En effet, puisque
est divisible par chacun des nombres
il le sera aussi par leur produit.
Enfin, si
est premier avec
et que
soit divisible par
sera aussi divisible par
En effet, puisque
est divisible par
et par
il le sera par leur produit ; donc
sera un entier.
20. Quand
(
étant des nombres premiers inégaux), est une puissance parfaite, par exemple, quand
tous les exposans
etc. sont divisibles par
En effet, le nombre
n’est pas divisible par d’autres nombres
premiers que
soit
l’exposant de
dans
dans
ce
sera
donc
et
est un entier. On démontrera de même
que
sont des nombres entiers.
21. Quand
etc. sont premiers entr’eux, et que le produit
etc. est une puissance parfaite
chaque nombre
etc. est une puissance semblable.
Soit
étant des nombres premiers différens, dont aucun par hypothèse ne divise les nombres
puisque le produit
est divisible par
on se convaincra, comme dans l’article précédent, que
sont
divisibles par
et partant que
est entier. Il en sera de même
pour
Après ces notions nécessaires sur les nombres premiers, nous
allons nous occuper de ce qui peut nous conduire plus directement à notre but.
22. Si les nombres
et
divisibles par
sont congrus suivant le module
premier avec
sont congrus suivant le même module.
En effet
est évidemment divisible par
et, suivant l’hypothèse, par
donc
sera divisible par
(19), c’est-à-dire,
que
Mais si, toutes choses d’ailleurs égales,
et
ont un diviseur commun
on aura
car
sont premiers
entr’eux ; mais
est divisible par
et par
donc
est divisible par
et par
et par conséquent par
c’est-à-dire que
est divisible par
ou que
23. Si
est premier avec
que
et
soient des nombres incongrus suivant le module
et
seront aussi incongrus.
Cette proposition est l’inverse de celle du no précédent.
Il est évident d’après cela, que si l’on multiplie
par tous les
nombres entiers, depuis
jusqu’à
et qu’on cherche les restes
minima des produits, suivant le module
ils seront tous inégaux ;
mais le nombre de ces résidus est
et comme aucun d’eux
n’est
ils se trouveront tous dans la série depuis
jusqu’à
24. L’expression
étant des nombres donnés et
un nombre indéterminé ou variable, peut devenir congrue à un
nombre donné quelconque, suivant le module
premier avec
Soit
le nombre auquel l’expression
doit être congrue, et
le résidu minimum positif de
Par le no précédent on trouvera
nécessairement une valeur de
telle que le résidu minimum
du produit
suivant le module
soit
. Nommons
cette valeur, on aura
donc
25. Nous appelons congruence l’expression de deux quantités
congrues, à l’instar des équations ; si elle renferme une inconnue,
la résoudre, c’est trouver pour cette inconnue une valeur qui satisfasse à la congruence, c’est-à-dire la racine de cette congruence.
On conçoit par là ce que c’est qu’une congruence résoluble, et une
congruence irrésoluble. On voit enfin que nous emploierons les
mêmes distinctions qui ont lieu dans les équations. Nous verrons
plus bas des exemples de congruences transcendantes. Quant aux
congruences algébriques, elles se divisent selon la plus haute puissance de l’inconnue, en congruences du premier, du second degré,
etc. On peut même proposer plusieurs congruences qui renferment
plusieurs inconnues, et de l’élimination desquelles nous traiterons.
26. La congruence du premier degré
se résout toujours par le no 24, quand le module est premier avec
et si
est
la valeur convenable de
ou la racine de la congruence, il est
évident que tous les nombres congrus à
suivant le module de la
congruence, seront aussi des racines (no 9). Il n’est pas moins évident que toutes les racines doivent être congrues à
en effet, si
est une autre racine, on aura
donc
et partant
On peut conclure de là que la congruence
donne la résolution complète de la congruence
Comme les résolutions de la congruence par les valeurs de
congrues à
se présentent d’elles-mêmes, et que sous cet aspect les
nombres congrus doivent être considérés comme équivalens, nous
regarderons ces solutions comme une seule et même. C’est pourquoi
nous dirons que la congruence
qui n’en admet pas
d’autres, ne peut être résolue que d’une seule manière ou n’a
qu’une seule racine. Ainsi, par exemple, la congruence
n’admet pas d’autres racines que celles qui
sont
La même chose n’a pas lieu dans les congruences des degrés supérieurs, et dans celles du premier degré où
le coefficient de l’inconnue n’est pas premier avec le module.
27. Il nous reste à donner quelques détails sur la manière de résoudre ces congruences. Observons d’abord que la congruence
dans laquelle le module est supposé premier avec
dépend de celle-ci,
En effet, si
satisfait à celle-ci,
satisfera à la première ; mais en désignant le module par
la congruence
équivaut à l’équation indéterminée
dont la solution est connue ; aussi nous nous
contenterons de donner ici l’algorithme du calcul.
Si les quantités
etc. dépendent de
etc. de manière qu’on ait
nous les représenterons pour abréger, par
[1]. Soit maintenant l’équation
où
sont positifs. Supposons, ce qui est
permis, que
n’est pas
Alors en opérant comme on le fait ordinairement pour la recherche du plus grand diviseur commun, on formera par la division les équations
![{\displaystyle a=\alpha b+c,\quad b=\beta c+d,\quad c=\gamma d+e,\quad {\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/727c6b31908189f147950465e28e2e11ce19accf)
dans lesquelles
sont entiers et positifs : et
vont en diminuant continuellement jusqu’à ce qu’on
parvienne à
ce qui doit toujours arriver. Il en
résultera
et si l’on
prend
on aura
quand le nombre des lettres
est pair, et
quand il est impair.
28. Euler est le premier qui ait donné la résolution de ces équations (Comment. de Petersb. T. VII, p. 46). La méthode qu’il
a employée consiste à substituer d’autres inconnues à la place de
et de
, elle est d’ailleurs assez connue. Lagrange a traité le
problème d’une manière un peu différente. Il observe que si l’on
réduit la fraction
en fraction continue
![{\displaystyle {\cfrac {1}{\alpha +{\cfrac {1}{\beta +{\cfrac {1}{\gamma +\ {\text{etc.}}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2de8eb544dcf8f29596b5c1965489973c3a2f80c) |
|
|
|
et qu’après avoir effacé sa dernière partie
, on la ramène à une fraction ordinaire
, on aura
Au reste les deux méthodes
conduisent au même algorithme. Les recherches de Lagrange se
trouvent dans l’Histoire de l’Académie de Berlin, année 1767,
pag. 175, et avec d’autres, dans les Additions à l’Algèbre d’Euler.
29. La congruence
, dans laquelle le module n’est pas
premier avec
, se ramène facilement au cas précédent. Soit
le
module et
le plus grand diviseur commun entre
et
; il est
clair d’abord que toute valeur de
qui satisfera à la congruence,
suivant le module
, y satisfera aussi suivant le module
(no 5 ).
Mais puisque
divise
, on a toujours
; donc on
doit avoir
, ou
divisible par
, pour que la
congruence soit résoluble.
Posons donc
,
,
;
et
seront premiers entre eux, et la congruence proposée
,
équivaudra à celle-ci,
; c’est-à-dire, que toute
valeur de
qui satisfera à la seconde, satisfera aussi à la première,
et vice versa. En effet,
sera divisible par
, quand
le
sera par
et réciproquement. Mais nous avons résolu la congruence
; il suit de là que si
est une des valeurs de
,
la congruence
, donne la résolution complète de la
proposée.
30. Quand le module est composé, il est toujours avantageux d’employer la méthode suivante :
Soit le module
, et la congruence proposée
. Résolvons d’abord la congruence suivant le module
, et supposons qu’elle soit satisfaite si
;
étant le plus grand
commun diviseur des nombres
et
. Or il est évident que toute
valeur de
qui satisfera à la congruence
, satisfera aussi à la congruence
, et que partant elle sera
comprise dans la formule
,
désignant un nombre indéterminé. La réciproque de cette proposition n’est pas vraie ;
doit donc
être déterminé de manière à rendre
, racine de la congruence
; on aura donc
ou
. Il suit de là que la résolution d’une congruence quelconque du premier degré, suivant le module
, peut
se ramener à celle de deux congruences, suivant les modules
et
.
On voit facilement que si
est lui-même le produit de deux
facteurs, la solution de la congruence, suivant le module
, dépend de la solution de deux congruences dont ces facteurs sont les
modules ; et généralement, que la résolution d’une congruence suivant un module composé quelconque, dépend de la résolution
d’autres congruences, dont les modules sont les facteurs du premier. Ces modules peuvent être choisis de manière à être des nombres premiers, si on le trouve plus commode.
Soit par exemple la congruence
; si on la résout d’abord suivant le module
, on aura
; en faisant
, il viendra
ou
. Si l’on résout celle-ci encore suivant le module
, on
aura
, et en posant
, on aura
ou
. Cette congruence résolue suivant
le module
, donne
; prenant
, il vient
ou
, qui donne
, d’où
. Or en remontant à la valeur de
,
on trouve
; donc
.
31. De la même manière que la racine de l’équation
,
s’exprime par
, nous désignerons par
la racine d’une congruence
, en y joignant le module pour la spécifier. Ainsi
représente un nombre quelconque qui est
, et qui,
par analogie, peut s’exprimer par
.
Il suit de là généralement que le symbole
ne signifie
rien de réel, ou si l’on aime mieux, est une expression imaginaire,
si
et
ont un diviseur commun qui ne divise pas
; mais, ce cas
excepté, l’expression
a toujours des valeurs réelles, et
en a même une infinité : elles seront toutes congrues suivant
, si
est premier avec
et suivant
quand
est le plus grand commun
diviseur de
et de
.
Ces expressions se calculent presque de même que les fractions
ordinaires, et voici quelques propriétés qui se déduisent facilement
de ce qu’on a vu.
1o. Si
,
suivant le module
, les expressions
,
sont équivalentes.
2o.
et
sont équivalentes.
3o.
et
, sont équivalentes quand
est
premier avec
.
Nous pourrions rapporter plusieurs propositions semblables ; mais
comme elles n’ont aucune difficulté, et qu’elles sont inutiles pour ce
qui suivra, nous passerons à autre chose.
32. On peut facilement, au moyen de ce qui précède, trouver tous les nombres qui ont des résidus donnés, suivant des modules
quelconques ; problème qui sera d’un fréquent usage dans la suite.
Soient d’abord deux modules,
suivant lesquels le nombre
cherché
doit être congru aux nombres
et
Toutes les valeurs
de
sont nécessairement renfermées dans la formule
où
est indéterminé, mais tel que
de sorte que
si
est le plus grand diviseur commun de
et de
la résolution
complète de cette congruence prendra cette forme
ou ce qui revient au même,
étant un nombre entier
indéterminé ; donc la formule
renferme toutes les valeurs de
ce qui revient à
S’il y avait
un troisième module
suivant lequel le nombre cherché dût
être
on suivrait la même marche, après avoir réuni les deux
premières conditions en une seule. Ainsi soit
le plus grand commun diviseur des nombres
et
on obtiendra la congruence
qui sera résolue par une congruence de la forme
et le problème le sera par la congruence
on procéderait de même , quel que
fût le nombre des modules. Il convient d’observer que
sont respectivement les plus petits nombres divisibles à la fois par
ou par
et l’on en conclut facilement, quel que
soit le nombre des modules
que si l’on représente
par
le plus petit nombre divisible par chacun d’eux, on aura la
résolution complète, en prenant
Au reste, si l’une
des congruences n’est pas résoluble, il faut en conclure que le problème est impossible ; mais il est évident que cela ne peut arriver si
les nombres
sont premiers entre eux.
Soient par exemple
ici les deux conditions que
et
se réduisent à une seule
qui,
jointe à la troisième
donnera enfin
33. Quand tous les nombres
etc. sont premiers entre
eux, leur produit est le plus petit nombre divisible par chacun d’eux ;
et dans ce cas il est évident que toutes les congruences
,
etc. se ramèneront à une seule
qui
leur équivaudra,
étant le produit des nombres
etc. :
il suit de là réciproquement qu’une seule condition
peut être décomposée en plusieurs
,
;
etc. si
etc, sont les différens facteurs
premiers entr’eux qui composent
. Cette observation nous donne
non-seulement le moyen de découvrir l’impossibilité lorsqu’elle
existe, mais encore une méthode plus commode et plus élégante
pour déterminer les racines,
34. Soient comme ci-dessus les conditions
,
,
, etc. On résoudra tous les modules en
facteurs premiers entr’eux ;
en
etc. ;
en
etc. ;
de manière que les nombres
, etc.,
, etc. soient premiers ou puissances de nombres premiers ; si l’un des nombres
etc. était premier lui-même ou puissance d’un nombre
premier, il n’y aurait, pour lui, aucune décomposition à faire. Alors
ce qui précède fait voir que l’on peut, aux conditions données,
substituer les suivantes
,
,
, etc. ;
,
, etc., etc.
Or, à moins que tous les nombres
, etc, ne fussent premiers
entr’eux ; par exemple, si
n’est pas premier avec
, il est évident que tous les diviseurs premiers ne peuvent être différens dans
et dans
, mais qu’il doit y avoir quelqu’un des diviseurs
,
, etc.,
qui trouve son égal, son multiple, ou son soumultiple parmi les
diviseurs
,
, etc. Soit d’abord
, les conditions
,
, doivent être identiques, et l’on
doit avoir
ou
; ainsi l’une ou l’autre
de ces deux conditions peut être rejetée ; mais si l’on n’a pas
, le problème est impossible. Soit ensuite
un multiple de
, la condition
doit être contenue dans
celle-ci,
, ou bien celle-ci,
,
qui se déduit de la dernière, doit être équivalente à la première ;
d’où il suit que la condition
, peut être rejetée,
si elle ne contrarie pas l’autre, auquel cas le problème serait
impossible. Quand toutes les conditions superflues sont ainsi rejetées,
il est évident que tous les modules qui restent sont premiers
entr’eux ; on est sûr alors de la possibilité du problême, et on
peut procéder d’après la manière enseignée plus haut.
35. Si nous supposons comme au no 32
,
,
; ces conditions peuvent se décomposer en celles qui suivent :
,
,
;
,
;
.
De ces conditions on peut rejeter
et
,
car la première est renfermée dans la condition
,
et la seconde est équivalente à
: il reste ainsi
![{\displaystyle z\equiv }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7750c9c1aef9deff6be882a71a36e350ace68733) |
![{\displaystyle \left.{\begin{matrix}\ \\\ \\\ \\\ \\\ \end{matrix}}\right\{}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea6efcb987dbc096798c8e7572a5ca684b2e53ef) |
|
![{\displaystyle 17}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c64120a0494859d76d7b9621af60dab553bd82dc) |
![{\displaystyle {\pmod {\;\,9}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afe1bdc509b8aa18fa5d82b38187869f69774697) |
![{\displaystyle \left.{\begin{matrix}\ \\\ \\\ \\\ \\\ \end{matrix}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ba4ba436186c7f6eff380a1855a4c534c24ea11) |
d’où l’on tire
|
![{\displaystyle -}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04bd52ce670743d3b61bec928a7ec9f47309eb36) |
![{\displaystyle 4}](https://wikimedia.org/api/rest_v1/media/math/render/svg/295b4bf1de7cd3500e740e0f4f0635db22d87b42) |
![{\displaystyle {\pmod {\;\,5}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71f87bd7467972084407900f674a955c613c7462) |
|
![{\displaystyle -}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04bd52ce670743d3b61bec928a7ec9f47309eb36) |
![{\displaystyle 4}](https://wikimedia.org/api/rest_v1/media/math/render/svg/295b4bf1de7cd3500e740e0f4f0635db22d87b42) |
![{\displaystyle {\pmod {\;\,7}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdb7fdd3cdd3973936892001bede7bfe6ed619ba) |
|
|
![{\displaystyle 33}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7069e8371d2801429050dd3c82807e391beaed01) |
![{\displaystyle {\pmod {16}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/109d2ad13981d0881a1f568bbe40135e87338dde) |
|
Au reste il est clair qu’il sera souvent plus commode de ramener
à une seule les conditions qui restent et qui proviennent de la
même, ce qui se fera sans peine. Par exemple, quand on a rejeté
quelques-unes des conditions
,
, etc.
celle qui se composera des conditions restantes sera
, suivant
le module formé par le produit de tous les modules qui restent.
Ainsi dans notre exemple des conditions
,
; on tire sur-le-champ la condition
, d’où elles dérivent ; il s’ensuit qu’il n’est pas indifférent,
quant à la brièveté du calcul, de rejeter l’une ou l’autre des conditions
équivalentes ; mais il n’entre pas dans notre plan de parler de ces
détails ni d’autres artifices pratiques que l’usage apprend mieux que
les préceptes.
36. Quand tous les modules
,
,
, etc. sont premiers entr’eux,
il est préférable le plus souvent d’employer la méthode suivante.
On déterminera un nombre
congru à l’unité suivant
, et à
suivant le produit des autres modules ; c’est-à-dire, que
sera une
valeur quelconque de l’expression
, multipliée
par
etc. (no 52) ; mais il vaut mieux prendre la plus petite
de ces valeurs. Soit de même
, et
;
, et
. Alors si l’on cherche
un nombre
qui soit congru aux nombres
suivant les
modules
respectivement, on pourra poser
; en effet on a évidemment
et les autres termes sont
donc
La démonstration est la même pour les
autres modules. Cette solution est préférable à la première ; quand
on a à résoudre plusieurs problèmes du même genre, pour lesquels
les valeurs de
sont les mêmes ; car alors on trouve pour
des valeurs constantes. Ceci s’applique au problème de
chronologie dans lequel on cherche le quantième de l’année pour laquelle l’indiction, le nombre d’or et le cycle solaire sont donnés. Ici
ainsi comme la valeur de l’expression
, ou
est
on aura
on
trouvera de même
. Donc le nombre cherché
sera le résidu minimum du nombre
représentant l’indiction,
le nombre d’or, et
le cycle solaire.
37. Nous n’en dirons pas davantage sur les congruences du premier degré, qui ne renferment qu’une seule inconnue ; il nous reste à
parler des congruences qui renferment plusieurs inconnues ; mais,
comme il faudrait donner trop d’extension à ce chapitre, si nous
voulions exposer chaque chose en toute rigueur, et notre projet
n’étant pas d’épuiser ici la matière, mais seulement de présenter
ce qui est le plus digne d’attention ; nous bornerons notre recherche à
un petit nombre d’observations, réservant l’exposition complète pour
une autre occasion.
1o. De même que dans les équations, on voit qu’il faut avoir
autant de congruences qu’il y a d’inconnues à déterminer.
2o. Soient donc proposées les congruences
![{\displaystyle ax}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d44662eeb8cbba7277da838b75c77d8cd3a4547) |
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle by}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ff566958c276e0f710a15993a8138cd70c075b7) |
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle cz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/253e01af20b938790e8cda75811396498c90201d) |
![{\displaystyle \equiv f}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4493c3b87abc29f501d291ac53fbf44f3ea8e90a) |
……… |
(A) |
|
![{\displaystyle a'x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c2ad326defd80ab9134d3154cc978e9610d8347) |
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle b'y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/334c093ee926d4205ce182b075f2f720b678552a) |
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle c'z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c933a687aeb0080397785aa3b0f7fe7864ad551a) |
![{\displaystyle \equiv f'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cbeec8c3d6a06d378f30e2283bbb0a6b9918dde) |
…………………… |
(A' ) |
|
![{\displaystyle a''x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f8b6b6086cf1ec21231609ec207532234141e98) |
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle b''y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b09f3d131f14d477007475728baf6039df33af3c) |
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle c''z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73eb7d30cef153a49c80963d5c1c0f2d18285227) |
![{\displaystyle \equiv f''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14b6d7c0cc235b66a597ead5c55913f37f38b1dc) |
…………………… |
(A" ) |
|
etc.
|
en même nombre que les inconnues
On déterminera les nombres
de manière qu’on ait :
![{\displaystyle b\xi +b'\xi '+b'\xi ''+\,{\text{etc.}}=0,\qquad c\xi +c'\xi '+b''\xi ''+\,{\text{etc.}}=0,\,{\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bec9d8efdd8efc026a25c2a3f4041c4f4529e6b)
et que ces nombres soient entiers et n’aient aucun diviseur commun à tous, ce qui est toujours possible par la théorie des équations linéaires.
On déterminera de même
de
manière qu’on ait
![{\displaystyle a\nu +a'\nu '+a''\nu ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60c6637e09411b76c3fb3a298d883a0418fa56fa) |
![{\displaystyle +\,{\text{etc.}}=0\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0bf76038e30cc4c8f034c5823db68ab3039f2ee) |
![{\displaystyle c\nu +c'\nu '+c''\nu ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/642199a9c70eefe0f13a905ff9ce535d4e96f1c9) |
|
![{\displaystyle a\zeta +a'\zeta '+a''\zeta ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d89dadd9f2c9bbe1bb23b655cd3fde394f2a05e) |
![{\displaystyle +\,{\text{etc.}}=0\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0bf76038e30cc4c8f034c5823db68ab3039f2ee) |
![{\displaystyle b\zeta +b'\zeta '+b''\zeta ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ccaf05ae5a8558b754ecdf8909823c5babdf20b) |
|
etc. |
|
|
|
3o. Il est évident que si l’on multiplie les congruences
,
,
, etc., d’abord par
,
,
, etc. ensuite par
,
,
, etc. etc.,
et qu’on les ajoute, on obtiendra les congruences suivantes :
![{\displaystyle (a\xi +a'\xi '+a''\xi ''\ +\,{\text{etc.}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80c6c5acd9e59ec737b86193c8d719b2b6059ae6) |
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4) |
![{\displaystyle \equiv }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c5c34250859b6f6d2a77b4e8a2ceaa90638076d) |
![{\displaystyle f\xi +f'\xi '+f''\xi ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f092350429820f7c18d919fffae9be6bac665fe) |
![{\displaystyle +\,{\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fff8934f64df095c644956558b47e50b2a69424) |
|
![{\displaystyle (b\nu +b'\nu '+b''\nu '\ +\,{\text{etc.}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bfebe5b65e8cb77c4018886ab56a88d6070395d) |
![{\displaystyle y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d) |
![{\displaystyle \equiv }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c5c34250859b6f6d2a77b4e8a2ceaa90638076d) |
![{\displaystyle f\nu +f'\nu '+f''\nu ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c96d33f55412ffb5f24ecc3f24e091052ed4e82f) |
![{\displaystyle +\,{\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fff8934f64df095c644956558b47e50b2a69424) |
|
![{\displaystyle (c\zeta +c'\zeta '+b''\zeta ''\ +\,{\text{etc.}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83157ad20af2efce19759820efaec3796d7d8394) |
![{\displaystyle z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98) |
![{\displaystyle \equiv }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c5c34250859b6f6d2a77b4e8a2ceaa90638076d) |
![{\displaystyle f\zeta +f'\zeta '+f''\zeta ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/268d218ba9ab7c8558e6263cf98252eeb571c9db) |
![{\displaystyle +\,{\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fff8934f64df095c644956558b47e50b2a69424) |
|
etc. |
|
|
|
que, pour abréger, nous représenterons ainsi :
![{\displaystyle x.\sum (a\xi )\equiv \sum (f\xi ),\quad y.\sum (b\nu )\equiv \sum (f\nu ),\quad z.\sum (c\zeta )\equiv \sum (f\zeta ),\,{\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77de5f1dd877e067282415a72db8da4fa1c0e7b8)
4o. Il y a plusieurs cas à distinguer en premier lieu quand les
coefficiens des inconnues, c’est-à-dire quand
,
sont premiers avec le module des congruences, ces congruences
peuvent être résolues par les méthodes déjà exposées, et la solution
complète du problème s’obtient par des congruences de cette forme
,
, etc.[2]. Si l’on propose, par
exemple, les congruences
![{\displaystyle x+3y+z\equiv 1,\quad 4x+y+5z\equiv 7,\quad 2x+2y+z\equiv 3{\pmod {8}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7da65160354b7ed6eaba663a16b995bb97cf152)
on trouvera
donc
![{\displaystyle \sum \left(a\xi \right)=-15,\qquad \sum \left(f\xi \right)=-26\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c8915f5a4c4b025749e45fc669cd593af0dfff1)
donc
et partant
. De la même manière on trouvera
, et de là,
5o. Si tous les coefficiens
![{\displaystyle \textstyle \sum \left(a\xi \right),\,\sum \left(b\nu \right),\,{\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6363c69ae4f5572696ba9a31d2848928aaed8520)
ne sont pas premiers avec le module, soient
![{\displaystyle \alpha ,\,\beta ,\,\gamma ,\,{\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f8b984e53c12e9489ce4e90652f6359eb6031e9)
les plus grands diviseurs communs de
![{\displaystyle m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
et de
![{\displaystyle \textstyle \sum \left(a\xi \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1f45cc02de38b4cc6af5a5358d1fb2e965070e5)
,
![{\displaystyle \textstyle \sum \left(b\nu \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40f77293dfe58449fa7286dc5625fac32b9c4876)
,
![{\displaystyle \textstyle \sum \left(c\zeta \right),\,{\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb258e3a857e22948a8b678570aea489c848cca8)
respectivement ; et il est évident que le problème est impossible, si
![{\displaystyle \alpha ,\,\beta ,\,\gamma ,\,{\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f8b984e53c12e9489ce4e90652f6359eb6031e9)
ne divisent aussi
![{\displaystyle \textstyle \sum \left(f\xi \right),\,\sum \left(f\nu \right),\,\sum \left(f\zeta \right),\,{\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/054dd25f4d9f4877505c9f8fa803afc5bffa4dfb)
respectivement ; mais quand ces conditions auront lieu, le problème sera résolu complètement par des congruences telles que
![{\displaystyle x\equiv p{\pmod {\frac {m}{\alpha }}},\quad y\equiv q{\pmod {\frac {m}{\beta }}},\quad z\equiv r{\pmod {\frac {m}{\gamma }}},\quad {\text{etc.}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44c3f2faec193e4ee3ca5a6e5ba0dc7d9609baf8)
ou si l’on aime mieux,
on aura
valeurs différentes pour
savoir :
valeurs pour
valeurs pour
qui satisferont aux congruences. Toutes les solutions de la question, s’il y
en a quelques-unes, devront se trouver parmi celles que nous venons
d’indiquer ; mais il n’est pas permis de renverser la conclusion ;
car souvent toutes les combinaisons des
valeurs de
avec celles
de
et celles de
etc. ne satisfont pas au problème, mais seulement
quelques-unes dont la liaison s’exprime au moyen d’une ou de
plusieurs équations de condition. Au reste comme la solution complète de ce problème n’est pas nécessaire pour la suite, nous ne
nous étendrons pas davantage ici sur ce sujet, et nous nous contenterons d’en donner une idée par un exemple.
Soient proposées les congruences
![{\displaystyle 3x+5y+z\equiv 4,\quad 2x+3y+2z\equiv 7,\quad 5x+y+3z\equiv 6{\pmod {12}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f68a170e318d21a4626f52ff91f946f34a6374f)
on aura ici
![{\displaystyle \xi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0b461aaf61091abd5d2c808931c48b8ff9647db) |
![{\displaystyle =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505a4ceef454c69dffd23792c84b90f488543743) |
![{\displaystyle 1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cc5fd8163a83100c5330622e9e317fa4e872403) |
![{\displaystyle \qquad \xi '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e622dacbe44c48c2b6ed87dca312e12e24c0989) |
![{\displaystyle =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505a4ceef454c69dffd23792c84b90f488543743) |
![{\displaystyle -2,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3eb5d712782dc39d55b585dfb6f09d13ea8de163) |
![{\displaystyle \qquad \xi ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02c69d15f7584ab5c767d0a8ea13922a141243c6) |
![{\displaystyle =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505a4ceef454c69dffd23792c84b90f488543743) |
|
![{\displaystyle \nu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c15bbbb971240cf328aba572178f091684585468) |
![{\displaystyle =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505a4ceef454c69dffd23792c84b90f488543743) |
![{\displaystyle 1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cc5fd8163a83100c5330622e9e317fa4e872403) |
![{\displaystyle \qquad \nu '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0455d86543558e8fac5b48ddc204678a9ce51eb) |
![{\displaystyle =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505a4ceef454c69dffd23792c84b90f488543743) |
![{\displaystyle 1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cc5fd8163a83100c5330622e9e317fa4e872403) |
![{\displaystyle \qquad \nu ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4becd2ee4c0d3bc27cabc6894fb8d870b5b9ae12) |
![{\displaystyle =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505a4ceef454c69dffd23792c84b90f488543743) |
|
![{\displaystyle \zeta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5c3916703cae7938143d38865f78f27faadd4ae) |
![{\displaystyle =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505a4ceef454c69dffd23792c84b90f488543743) |
![{\displaystyle -13,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee4000536942abe42ca4c2862ac6ca358dfc27f5) |
![{\displaystyle \qquad \zeta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9a77a428cbfbe37c9eab2d51dfaaf18266c45e3) |
![{\displaystyle =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505a4ceef454c69dffd23792c84b90f488543743) |
![{\displaystyle 22,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82ccfdd39d87370f37f869db2413a8df0925a84a) |
![{\displaystyle \qquad \zeta ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3856812ec482fb321f98d548364f2edf77225507) |
![{\displaystyle =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505a4ceef454c69dffd23792c84b90f488543743) |
|
d’où
d’où l’on tire quatre valeurs de
savoir,
une seule de
quatre de
savoir,
. Or pour découvrir quelles combinaisons
des valeurs de
et de
on peut admettre, substituons à la place de
ce qui change les congruences proposées
en
et
,
congruences qui reviennent à
,
. Chacune d’elles sera évidemment satisfaite, si
. Concluons de là que les valeurs de
,
,
et
que l’on obtient en faisant successivement
,
,
,
, doivent être combinées respectivement avec les
valeurs
,
,
,
de
; desorte qu’il y a quatre solutions.
![{\displaystyle x\equiv 2,\ 5,\ 8,\ 11\dots ,\;y\equiv 11,\ 11,\ 11,\ 11\dots ,\;z\equiv 3,\ 6,\ 9,\ 0{\pmod {12}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e62bff51e79f486d1575a28a4b9b2b7037d5839)
À ces recherches qui remplissent la tâche que nous nous étions
proposée dans ce chapitre, nous joindrons quelques propositions
qui se rapportent aux mêmes principes, et qui seront d’un fréquent
usage par la suite.
38. Problème. Trouver combien il y a de nombres plus petits qu’un nombre donné
, et premiers avec lui ? Désignons, pour abréger, le nombre cherché par le caractère
placé avant le nombre donné ; le nombre cherché sera
.
1o. Quand
est premier, il est évident que tous les nombres,
depuis
jusqu’à
, sont premiers avec
, et partant, dans ce
cas, on
2o. Quand
est une puissance d’un nombre premier
,
par
exemple ; tous les nombres divisibles par
ne seront pas premiers
avec
, les autres le seront ; c’est pourquoi de
nombres, il
faut rejeter ceux-ci :
![{\displaystyle p,\,2p,\,3p\dots \,(p^{m-1}-1)p.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd22d349431fb2b1c2c1c910f574f3a34644e105)
Il en restera donc
donc …
![{\displaystyle \varphi p^{m}=p^{m-1}.(p-1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcbd0f59932f513ea80d80ebe158ca745930cbf2)
3o. Les autres cas se ramènent facilement à ceux-ci, au moyen
de la proposition suivante : Si on décompose
en facteurs
,
,
, etc. premiers entr’eux, on aura
, etc.,
qui se démontre ainsi qu’il suit. Soient
,
,
, etc. les nombres
premiers avec
et plus petits que lui. Soient de même
,
,
, etc.,
,
,
, etc., etc. les nombres premiers avec
,
, etc.
,
,
, etc., etc. les nombres premiers avec
,
,
, etc. respectivement, et plus petits qu’eux ; il est évident que tous les nombres
premiers avec
le seront aussi avec les facteurs
,
,
, etc.,
et réciproquement (no 19), et que tous les nombres qui seront congrus à l’un quelconque des nombres
,
etc. suivant le module
, seront premiers avec
; de même pour
,
, etc. La
question est donc réduite à déterminer combien il y a de nombres
au dessous de
, qui soient congrus à quelqu’un des nombres
,
, etc. suivant le module
, à quelqu’un des nombres
,
, etc. suivant le module
, etc. ; mais (no 52) tous les
nombres qui ont des résidus donnés suivant chacun des modules
etc. doivent être congrus suivant leur produit
, et
parconséquent il ne peut y en avoir qu’un seul congru à des résidus donnés suivant les modules
,
,
, etc., et qui soit plus
petit que
. Ainsi le nombre cherché sera égal au nombre des
combinaisons des différens nombres
,
,
, etc. avec les nombres
,
,
, etc. et les nombres
,
,
, etc., etc. Or par la théorie
des combinaisons, ce nombre est
. etc.
4o. On voit facilement comment on peut appliquer cette proposition au cas dont il s’agit. On décomposera
en facteurs premiers ; c’est-à-dire, qu’on le réduira à la forme
etc.,
,
,
, etc. étant des nombres premiers différens. Alors on aura
qui peut se mettre sous la forme plus élégante
![{\displaystyle \varphi A=A.{\frac {a-1}{a}}.{\frac {b-1}{b}}.{\frac {c-1}{c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0849a8f0caccbe786dddf06cbaf3e191cd5b706)
etc.
Exemple : Soit
on aura
Ces nombres premiers avec 60, sont :
,
,
,
,
,
,
,
,
,
,
,
,
,
,
.
La première solution de ce problème se trouve dans le Mémoire
d’Euler, intitulé : Theoremata arithmetica novâ methodo demonstrata. (Comment. nov. acc. Petrop. VIII, pag, 74). La démonstration en a été donnée encore dans une autre dissertation intitulée :
Speculationes circa quasdam insignes proprietates numerorum.
(Acta Petrop, VIII, p. 17).
39. Si la signification du caractère
est déterminée de manière
à ce que
exprime combien il y a de nombres premiers avec
et non plus grands que
alors on n’aura plus
mais
mais dans tous les autres cas il n’y aura rien de changé. En adoptant cette définition, nous aurons le théorème suivant :
Si
etc. sont tous les diviseurs de
, l’unité et
y
compris, on aura
. Par exemple, si
,
on aura
|
![{\displaystyle \varphi 1+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aec9032e3ba22b798dd9ade2acf0c4388c6c2c70) |
![{\displaystyle \varphi 2+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6ba10375963e49355567e329d7ec17729e969a5) |
![{\displaystyle \varphi 3+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2f792a4c5aa5a8b6bffa747af5c9d4fdc767c73) |
![{\displaystyle \varphi 5+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dec181d545dac691107ad029a3c9ba2909721f4c) |
![{\displaystyle \varphi 6+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39139256f6e24ca4a95b18b4ca82588a3ff7f102) |
![{\displaystyle \varphi 10+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7447ddce848173d81cbc5e82861a2d73ec9422f8) |
![{\displaystyle \varphi 15+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d03ef038a61f8a924c40eef9c5301b1856331ae6) |
![{\displaystyle \varphi 30}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82edf76ed1161441cc65103f34c2e86df37e295c) |
|
![{\displaystyle =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505a4ceef454c69dffd23792c84b90f488543743) |
![{\displaystyle 1\;+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9827574158759c9800e482d5aa6946c05c3cbe17) |
![{\displaystyle 1\;+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9827574158759c9800e482d5aa6946c05c3cbe17) |
![{\displaystyle 2\;+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65780752f2eff12986d96380243cbf2a122c4c68) |
![{\displaystyle 4\;+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/191b604de742332a9df3e873fc0a2d3682c03724) |
![{\displaystyle 2\;+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65780752f2eff12986d96380243cbf2a122c4c68) |
![{\displaystyle 4\;\;+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58634eb438b81a31b89c3b2e21ee62e5fd9e7530) |
![{\displaystyle 8\;\;+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47dd2c9740742ebeadf34f225ca561f1c6002374) |
![{\displaystyle 8\;\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1151d68e187373d5e4e619eaef376e6a8e205710) |
|
![{\displaystyle =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505a4ceef454c69dffd23792c84b90f488543743) |
.
|
Démonstration. Si l’on multiplie tous les nombres premiers
avec
et non plus grands que lui par
, de même tous les nombres
premiers avec
par
, etc. ; on aura
nombres tous non plus grands que
; mais
1o. Tous ces nombres seront inégaux ; car il est évident que ceux
qui proviennent du même diviseur de
sont tous inégaux. D’ailleurs
s’il en résultait deux égaux provenant de diviseurs différens
et
,
et de nombres
et
qui leur soient respectivement premiers ;
c’est-à-dire, si l’on avait
, ou bien
; en posant
, (ce qui est permis ), il s’ensuivrait, puisque
est premier
avec
et qu’il divise
qu’il devrait aussi diviser
, ce qui est
absurde.
2o. Entre ces nombres on trouvera tous ceux qui composent la
suite
. En effet, soit
un nombre quelconque qui
ne surpasse pas
, et le plus grand commun diviseur entre
et
,
sera le diviseur de
avec lequel
sera premier. Donc
le nombre
se trouvera parmi ceux qui ont été produits par le
diviseur
;
3o. Il suit de là que le nombre total en est
; donc
40. Si
est le plus grand diviseur commun des nombres
etc. on peut toujours déterminer les nombres
etc. de manière qu’on ait
etc.
Considérons d’abord deux nombres
et
seulement, et soit
leur plus grand diviseur commun. Alors la congruence
sera résoluble (no 30). Soit la racine
, et que l’on
fasse
, on aura
,
S’il y a un troisième nombre
, soit
le plus grand diviseur
commun de
et de
, il sera en même temps celui des trois
nombres
,
,
,[3]. On déterminera les nombres
et
de manière qu’on ait
, et l’on aura
.
S’il y a un quatrième nombre
soit
le plus grand diviseur
commun de
et de
, il sera en même temps celui des quatre
nombres
,
,
,
. On fera
, et partant on aura
.
On procéderait de la même manière s’il y avait plus de nombres.
Si les nombres
,
,
, etc. n’avaient pas de diviseur commun,
il est clair qu’on aurait
.
41. Si
est un nombre premier, et qu’on ait
choses parmi lesquelles il peut s’en trouver un certain nombre d’égales entr’elles, pourvu que toutes ne le soient pas : le nombre des permutations de ces choses sera divisible par
Par exemple, cinq choses
peuvent se disposer de
dix manières différentes.
La démonstration de ce théorème se déduit facilement de la
théorie connue des permutations. En effet, supposons que, parmi ces
choses, il y en ait
égales à
,
égales à
,
égales à
, etc.,
desorte qu’on ait
, les nombres
,
,
etc.
pouvant aussi désigner l’unité. Le nombre des permutations sera
; or le numérateur est évidemment divisible par le dénominateur, puisque le nombre des permutations
est entier ; mais il est divisible par
, tandis que le dénominateur, qui est composé de facteurs plus petits que
, n’est pas divisible par
(no 15) ; donc le nombre des permutations sera divisible par
.
Nous espérons cependant que la démonstration suivante ne déplaira pas à quelques lecteurs.
Lorsque dans deux permutations l’ordre des choses ne différera
qu’en ce que celle qui tient la première place dans l’une, en occupe
une différente dans l’autre, mais que du reste toutes les autres
choses, à partir de celle-là, suivent le même ordre dans chacune des permutations, de manière que la dernière de l’une se
trouve placée immédiatement avant la première dans l’autre ;
nous les appellerons permutations semblables[4]. Ainsi
et
,
et
seront semblables.
Or comme chaque permutation est composée de
choses, il est
clair qu’on pourra en trouver
, semblables à une quelconque
d’entre elles, si l’on met successivement à la seconde, à la troisième place, etc., la chose qui occupait la première ; donc si aucunes de ces permutations semblables ne sont identiques, il est
évident que le nombre total des permutations sera égal à
fois le
nombre des permutations dissemblables, et conséquemment sera
divisible par
. Supposons que deux permutations semblables
,
puissent être identiques,
et que
qui occupe la première place dans la première, occupe
la
ème dans la seconde : on aura dans la dernière série le
ème terme égal au 1er, le
ème égal au 2ème, etc.,
d’où résulte que le
ème est encore égal au premier, et parconséquent le
ème, et généralement le
ème égal au
ème (où quand
il faut imaginer qu’on reprenne toujours par le commencement, la série
à moins
qu’on ne retranche de le multiple de
qui en approche
le plus en moins). Cela posé, si on détermine
de manière que
, ce qui peut toujours se faire, puisque
est
premier, il suivra de là que généralement le
ème terme serait égal au
ème, c’est-à-dire qu’un terme quelconque serait égal au suivant, ou que tous les termes seraient égaux entre eux, ce qui est
contre l’hypothèse.
42. Si les coefficiens
etc.,
etc.,
de deux fonctions de la forme
![{\displaystyle x^{m}+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ff2bcc4bbd18450174cef9c7a25f97f3a20c654) |
![{\displaystyle ax^{m-1}+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba5d42ec18f3f005d889dabead8de16eb016a418) |
![{\displaystyle bx^{m-2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb98df5efad5948fe400a0d35d0a7bdf75e30700) |
![{\displaystyle +\dots \ +n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95067407fbcf4281ed08e0b278e457586b2dcf4b) |
,
|
![{\displaystyle x^{m'}+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa376b0553580cc0651106c3e4d95c88ab1cb185) |
![{\displaystyle ax^{m'-1}+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76d875102f8d37cfded754c87fd4e3f6836dc2d5) |
![{\displaystyle b'x^{m'-2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36b3f8b2a61e927304108eb26c7ed9e98246ed03) |
![{\displaystyle +\dots \ +n'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eee724e0fc2d4bd463ed52b4906624629504cdea) |
|
sont tous rationnels, mais non pas tous entiers, et que le produit soit
les coefficiens
etc.,
ne peuvent être tous entiers.
En effet, réduisons à leur plus simple expression toutes les fractions qui peuvent se trouver parmi les nombres
etc. ;
etc. ; et choisissons un nombre premier
qui divise
un ou plusieurs des dénominateurs de ces fractions. Supposons
que
divise le dénominateur d’un coefficient fractionnaire
de
il est clair qu’en divisant
par
on aura aussi
dans
au moins un coefficient fractionnaire dont le dénominateur sera divisible par
(le coefficient du premier terme
par
exemple). Or on voit facilement qu’on pourra toujours trouver un
terme fractionnaire de
dont le dénominateur contienne
élevé à une puissance plus grande que dans tous les termes qui
précèdent, et non moindre que dans tous ceux qui suivent. Soit
ce terme
et
l’exposant de
dans le dénominateur. On trouvera un terme pareil dans
que nous supposerons être
l’exposant de
dans le dénominateur, étant
on aura au moins
Cela posé, le terme
du produit de
par
aura un coefficient fractionnaire dont le dénominateur renfermera
élevé à la puissance
En effet, soient
etc., les termes qui précèdent
dans
etc. ceux qui le suivent. Soient
de même dans
etc., les termes qui précèdent
et
etc. ceux qui le suivent. Dans
le produit de
par
le coefficient de
sera évidemment
![{\displaystyle G\Gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3eeda0620b6b4216171654bde299a0d581d45d56) |
![{\displaystyle +'G\Gamma '+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f9ac0e1f01d48934ed5ec9f7fb213ebb70f82a0) |
![{\displaystyle ''G\Gamma ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de2fb46dc822281644a7e6dbc53d02e4ef8a197d) |
|
|
![{\displaystyle +'\Gamma G'+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7a12a20041cf3ebebf9f2a5eaf8c3f7b92d562a) |
![{\displaystyle ''\Gamma G''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6984a96f098c0bc9fa2fe651c3d5371c7c113531) |
|
Le premier terme
sera une fraction qui, réduite à sa plus
simple expression, aura son dénominateur divisible par
Si les
autres termes sont fractionnaires, leurs dénominateurs ne contiendront que des puissances de
moindres que
puisque chacun
d’eux est le produit de deux facteurs, dont l’un ne contient qu’une
puissance de
plus petite que
ou
et l’autre une puissance
non plus grande que
ou
Ainsi
sera de la forme
, et le reste de la forme
et
étant indépendans de
Donc la somme sera
dont le numérateur
n’est pas divisible par
et dont parconséquent le dénominateur ne peut être ramené à renfermer une puissance de
moindre
que
Donc le coefficient du terme dans le produit de
par
sera
c’est-à-dire une fraction dont le dénominateur renferme la puissance
de
43. La congruence du degré
![{\displaystyle Ax^{m}+Bx^{m-1}+Cx^{m-2}+\ {\text{etc}}.\ +Mx+N\equiv 0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d543f9926f231e7f1991678ee2922624c8af7da7)
dont le module est un nombre premier
qui ne divise pas
, ne peut pas être résolue de plus de
manières, ou n’a pas plus de
racines incongrues suivant
En effet, supposons, s’il est possible, qu’on donne des congruences
de différens degrés
, etc., qui aient plus de
, etc. racines ;
soit
le plus petit des nombres
,
, etc. ; desorte que toutes
les congruences d’un degré inférieur à
s’accordent avec notre
proposition. Comme elle est démontrée plus haut (no 26) pour
le premier degré,
sera
ou
. Admettons donc que la congruence……
ait au moins
racines
etc. ; et supposons que tous les
nombres
etc., sont positifs et plus petits que
, ce qui
est permis, et en outre que
soit le plus petit. Faisons dans la
congruence proposée
elle deviendra
![{\displaystyle Ay^{m}+B'y^{m-1}+\,{\text{etc.}}\ +M'y+N'\equiv 0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12bb773772cdbf05dd83cbab79847baba15c5065)
Or il est évident que cette congruence sera satisfaite si
ou
ou
etc., racines toutes différentes, et en nombre
mais de ce que
est une racine, il suit que
est
divisible par
on aura donc
![{\displaystyle y(Ay^{m-1}+B'y^{m-2}+\ {\text{etc.}}\ +M')\equiv 0{\pmod {p}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3da6005cd3bb461c52292fe383f82eea8a5cc758)
congruence qui sera satisfaite, en y substituant à la place de
une quelconque des
valeurs :
etc., qui sont
toutes
et
Parconséquent, dans ces differens cas,
deviendra
(no 22) ; c’est-à-dire
que la congruence
qui du
degré
aurait
racines ; ce qui ne s’accorde pas avec
notre théorème, quoique nous ayons supposé que toutes les
congruences d’un degré inférieur à
y satisfissent ; ce qui est
absurde.
44. Nous avons supposé ici que le module
ne divisait pas le
coefficient du premier terme ; mais le théorème n’est pas restreint
à ce seul cas. En effet, si le premier coefficient, et même quelques-uns des suivans étaient divisibles par
on pourrait les négliger sans erreur, la congruence serait réduite à un degré inférieur, et le coefficient du premier terme ne serait plus divisible
par
à moins que tous les coefficiens ne le fussent, auquel cas
la congruence deviendrait identique, et l’inconnue serait absolument indéterminée.
Lagrange est le premier qui ait proposé et démontré ce théorème (Mémoires de l’Académie de Berlin, ann. 1768, p. 192).
Il se trouve aussi dans la Dissertation de Legendre, intitulée
Recherches d’Analyse indéterminée (Histoire de l’Académie de
Paris, 1785, p. 466). Euler dans les Nouveaux Commentaires Académiques. Pétersb. XVIII, p. 93, a démontré que la congruence
ne pouvait pas avoir plus de
racines. Quoique
ce ne soit qu’un cas particulier, la méthode dont ce célèbre Géomètre s’est servi, peut s’appliquer facilement à toutes les congruences.
Il s’était déjà occupé d’un cas plus particulier (Comment. Ac.
Pétersb. V. p. 6 ) ; mais cette méthode ne peut s’employer
généralement. Dans la section VIII, nous démontrerons ce théorème
d’une autre manière ; mais quoique toutes ces méthodes puissent
paraître différentes au premier aspect, les gens instruits qui voudront les comparer, s’assureront aisément qu’elles partent toutes
du même principe. Au reste ce théorème ne devant être considéré ici que comme un lemme, et l’exposition complète n’appartenant pas à cette section, nous ne nous arrêterons pas à parler
des modules composés.