ÉGAUTÉ, INÉGALITÉ; VALEURS APPROCHÉES

petit que c et de chercher les valeurs approchées de A à a près, par défaut et par excès.

417. La considération des valeurs approchées par défaut de A à 1; 0,1; 0,01 ; 0,001 ; ... près ofifre un intérêt particulier. Désignons la suite de ces valeurs, écrites dans la notation décimale, par Oq, a„ a,» <hf ••• • Des circonstances toutes pareilles à celles que Ton a signalées au n* 23C se présentent ici. La connaissance d'un terme de cette suite implique la connaissance de tous les termes qui précèdent, lesquels se déduiront du terme que Ton connaît par la suppression d*uu ou plusieurs chiffres décimaux, à droite. Si, par exemple, 3,141 est la valeur approchée du nombre irrationnel A à 0,001 près par défaut, la valeur approchée par défaut du nombre A à 0,01 près sera i<,14; ou a en elTet

et, par suite, a fortiori,

Chacun des nombres Oo, aj, o^, aa, ... se déduisant du précédent par Tadjonction d'un chiffre décimal, qui, à la vérité, peut être un zéro, les termes de cette suite ne vont jamais en décroissant; mais il y a plus, ils finissent toujours par croître; en d'autres termes, dans la suite a^, Oj, (/,, ..., chaque terme est suivi d'un terme plus grand que lui ; en efTet, si l'on considère, par exemple, le terme a^^ il y a certainement des nombres rationnels a plus grands que a^ et plus petits que A; il y a d'ailleurs (n* 406) des nombres décimaux compris entre a^ et a; il y a donc des nombres décimaux plus grands que a^ et plus petits que A ; si p est un tel nombre et si son dernier chiffre représente des unités du n'*""« ordre décimal, la valeur approchée de

A à — ^ près est au moins p; elle est donc plus grande que a^.

10" Les nombres

i-i. «i+jô' <'*+ïJô' •••' "o+W'

sont les valeurs approchées de A, par excès, ^ ^» JÂ* Inô' "* ' Trv'' *"

près; on verrait, comme au n" 236, que ces nombres ne croissent jamais et, comme précédemment, qu'ils finissent toujours par décroitic.

Si deux nombres irrationnels sont égaux, il est clair que les deux suites qui fournissent leurs valeurs approchées à 1 ; 0,1 ; 0,01 ; ... pros, par défaut, sont identiques. Mais si A et B sont des nombres irrationnels ou non qui ne sont pas égaux, les deux suites ne peuvent être identiques. Supposons en effet B > A ; il y aura des nombres rationnels compris entre A v(. B ; entre

deux de ces nombres, il y a certainement des nombres décimaux; il y a donc des nombres décimaux compris entre A et B; soit a un tel nombre et supposons que son dernier chiffre décimal exprime des unités du n'*"« ordre

décimal ; la valeur approchée de A par défaut à -— près sera sûrement

moindre que «, la valeur approchée de B, par défaut, au même ordre, sera au moins égale à « ; ainsi, les deux valeurs approchées ne peuvent être égales. Si donc on désigne par ao»^i)^2« ••• et par 60,6,, 62, ... les valeurs approchées par défaut de A et de B, à 1 ; 0,1 ; 0,01 ; ... prés, et si l'on a B > A, on aura nécessairement, pour une valeur de n assez grande, 6^ > a^; on aura de même 6,,^, > a„ 4.1 , puisque a,,^, et 6,,^, se déduisent respectivement de a„ et de 6, par Tadjonction d'un chiffre décimal; on aura de même 6„ + 2 > «a + 1> etc. On sait aussi que l'inégalité 6„ > a,^ entraîne les inégalités 6,, - 1 ^ a„ 1 , 6„ , > a,j 2 , etc., puisque les nombres 6„ „ a„ , se déduisent respectivement de 6,„ a,^ parla suppression d'un chiffre décimal.

Réciproquement si l'on a, pour une certaine valeur de l'indice n, b,^ > a^, on peut affirmer que le nombre B est plus grand que le nombre A, puisque si A était égal ou supérieur à B, on aurait, quel que fût l'indice n, a„ > 6„ .

Ainsi, la connaissance de la suite des valeurs approchées par défaut à i;0,l; 0,0!;... près d'un nombre rationnel ou irrationnel caractérise entièrement ce nombre. Si l'on connaît ces suites pour deux nombres, on pourra, théoriquement du moins, reconnaître quel en est le plus grand, quel en est le plus petit. La restriction qui vient d'être indiquée se rapporte à ce qu'on ne sait pas jusqu'à quel rang il faut aller dans ces suites pour reconnaître le plus grand des deux nombres. Observons encore, à celte occasion, qu'une suite d'un nombre infini de termes, Oq, a,, Oj, ..., ne peut être effectivement connue; on ne peut aller jusqu'au bout de cette suite. Tout ce que l'on peut connaître, c'est la loi d'après laquelle se suivent les termes qui la composent.

D'ordinaire on ne sépare pas en quelque sorte les divers termes de la suite ÙQ, flj, 02, ... des valeurs approchées par défaut d'un nombre A à i ; 0,1 ; 0,01 ; ... près. On écrit un symbole comme un nombre décimal, auquel on imaginerait une infinité de chiffres décimaux, et de telle sorte que, en conservant seulement la partie entière et les n premières décimales de ce symbole, on obtienne précisément le nombre décimal a„; on ne peut écrire qu'un certain nombre déchiffres décimaux au symbole; on supplée, en faisant suivre ces chiffres décimaux de quelques points, à l'infinité de ceux qui manquent. Par exemple, on a défini plus haut ce qu'il faut entendre par v3; les valeurs approchées de v^3 à i; 0,1; 0,01;... près par défaut ne sont autre chose que ce qu'on a appelé précédemment les racines carrées de 3 à i; 0,1 ; 0,01 ; ... près par défaut ; en écrivant

on entend dire seulement que les nombres

sont les valeurs approchées de \ 3* par défaut à 1; 0,1; 0,01; 0,001; 0,0001; ... près.

Ce symbole ainsi formé, je l'appellerai la représentation décimale du nombre considéré; le connaUre, ce n'est pas, bien entendu, autre chose que connaître la loi suivant laquelle se succèdent les chifTres qui le composent. Un pareil symbole, par exemple, est connu pour ce que Ton a appelé une fraction décimale périodique. Observons de suite, à ce propos, que la représentation décimale d'un nombre irrationnel ne peut être une fraction décimale périodique, puisque celle-ci est la représentation décimale de sa fraction génératrice, laquelle est un nombre rationnel, nécessairement plus petit ou plus grand que le nombre irrationnel que Ton considère.

La connaissance des représentations décimales des nombres irrationnels permettra, comme on le verra bientôt, de calculer sur ces nombres avec telle approximation qu*on voudra ; nous verrons en effet comment toute la théorie des calculs approchés, développée dans le chapitre VIII, peut être transportée aux nombres irrationnels ; mais il est nécessaire d'expliquer tout d'abord ce que sont les opérations sur ces nombres.

§ 3. — Opérations.

418. Pour ce qui concerne les définitions des opérations, j'adopterai les notations suivantes : une grande lettre, A par exemple, servira à désigner un nombre qui pourra être rationnel ou irrationnel; une pelile lettre désignera toujours un nombre rationnel : je représenterai les nombres rationnels plus petits que A par «, a,, «a,..., au contraire les nombres rationnels plus grands que A par a', a^, a^, ... .

419. Addition. — La somme de deux nombres rationnels ou irrationnels A et B autres que zéro est un nombre plus grand que tout nombre formé en ajoutant deux nombres rationnels respectivement plus petits que A et B, et plus petit que tout nombre formé en ajoutant deux nombres rationnels respectivement plus grands que A et B.

420. Démontrons d'abord que si un tel nombre existe, il n'en existe qu'un.

Supposons en effet que deux nombres C, D rationnels ou irrationnels soient tels que l'on ait

a -{ b <C <a' -\- b', rt + 6 < D < «' + b',

quels que soient les nombre* rationnels <i, b respectivement plus petits que A, B et les nombres rationnels a\ b' respectivement plus grands que

390 LEÇONS DARITHMÉTIQUE.

A, B. Quelque petit que soit le nombre rationnel a, on peut supposer que la différence «' + 6' — [a -f 6) = (a' — a) -\- (1/ — b) entre les deux nombres qui comprennent C et D soit plus petite que «; il suffit pour cela de prendre des nombres a et a', d'une part, 6 et 6', de Tautre, tels que Ton ait

les nombres Cet D, compris entre a -f 6 eta' + 6', sont donc égaux (n* 4ia)-

421. Il reste à montrer qu*il existe un nombre qui satisfait à la définition précédente. Considérons un nombre rationnel quelconque; nous le rangerons dans la première catégorie s'il est égal ou inférieur à la somme de deux nombres rationnels a, b respectivement plus petits que A et B, et dans la seconde catégorie s'il est égal ou supérieur à la somme de deux nombres rationnels a', b' respectivement plus grands que A et B.

Il est clair que chaque nombre compris dans la première catégorie est plus petit que chaque nombre compris dans la seconde catégorie. 11 est clair aussi que, dans la première catégorie, il n'y a pas de nombre plus grand que tous les autres : si, en effet, on considère un nombre quelconque c de celle catégorie, il est inférieur ou égal à la somme a -f 6 de deux nombres rationnels respeclivement plus petits que A et B; dans les deux cas, il existe certainement des nombres fl„ 6, respectivement plus grands que rt, b et plus petits que A, B, et le nombre a, 4- 6,, qu'on doit ranger dans la première catégorie, est plus grand que c. On voit de même que, dans la seconde catégorie, il n'existe pas de nombre qui soit plus petit que tous les autres.

S'il existe un nombre rationnel C qui n'appartienne ni à la première ni à la seconde catégorie, c'est qu'il est plus grand que toute somme obtenue en ajoutant deux nombres rationnels respectivement plus petits qiw A et B, et qu'il est plus petit que toute somme obtenue en ajoutant deux nombres rationnels respectivement plus grands que A, B, c'est donc qu'il est la somme des deux nombres A, B telle qu'elle a été définie, et, par cela même, on voit qu'il est unique.

S'il n'y a pas de nombre rationnel qui échappe à la fois aux deux catégories, c'est que le mode de classification précédemment expliqué définit un nombre irrationnel plus grand que tout nombre de la première catégorie, c'est-à-dire plus grand que la somme de deux nombres rationnels quelconques a, b respectivement plus petits que A, B, et plus petit que la somme de deux nombres rationnels quelconques a', b' respectivement plus grands que A, B. Ce nombre irrationnel C est la somme des deux nombres A, B, et l'on écrit dans tous les cas

Exemple : le nombre irrationnel v^ se définit comme on a fait le nombre

V3; et Ton a d'ailleurs, en adoptant la façon d'écrire expliquée au n* 417,

la somme \^ + v^ des deux nombres \/2, V3 est ainsi plus grande que 1,414 + 1,732 = 3,146; elle est plus petite que 1,415 + 1,733 = 3,148; elle est donc comprise entre 3,14 et 3,15; 3,14 est sa valeur approchée, à 0,01 près, par défaut.

422. Il convient de remarquer que tout nombre rationnel c < G peut être reganlé comme la somme de deux nombres rationnels respectivement plus petits que A et B; il n y a lieu à démonstration que dans le cas où c a été rangé dans la première catégorie comme inférieur (non égal) à la somme rt + 6 de deux nombres rationnels plus petits respectivement que A et B; or si l'on a

et si Tun des deux nombres d, 6, le nombre a par exemple, est plus petit que c, on aura

c — a<Cby

et le nombre c pourra être regardé comme la somme des deux nombres rationnels a < A et c — a < 6 < B : si les deux nombres a, b sont supérieurs ou égaux à c, il suffira de prendre deux nombres rationnels quelconques flj, 6|, dont c soit la somme; on aura a, < c < a < A, et de même 6, < B. De même tout nombre rationnel c' > C peut être regardé comme la somme de deux nombres rationnels respectivement plus grands que A, B: car si Ton a par exemple

on aura c' — a' > 6' > B ; or c' est la somme de a' > A et de c' — a'.

Ainsi l'ensemble des nombres rationnels plus petits que A 4- B est composé de tous les nombres que Ton peut obtenir en faisant la somme de deux nombres rationnels respectivement plus petits que A, B, et seulement des nombres que l'on peut obtenir de cette façon ; l'ensemble des nombres rationnels plus grands que A + B est composé de tous les nombres que Ton peut obtenir en faisant la somme de deux nombres rationnels respectivement plus grands que A, B, et seulement des nombres que Ton peut obtenir de cette façon.

423. Par définition, la somme de deux nombres dont l'un est zéro est l'autre nombre, en d'autres termes, on a par délînition,

A + 0=0-hA = A,

que le nombre A soit rationnel ou non.

Si l'on considère maintenant des nombres rationnels ou irrationnels, A, B, C, D, E, ..., en nombre fini, rangés dans un ordre déterminé, pour

définir leur somme A + B h C 1- D -f E + ..., on définira la somme A 4- B des deux premiers, puis le nombre obtenu en ajoutant C à cette somme, nombre que Ton écrit A + B + C, puis le nombre obtenu en ajoutant D à A + B + C, nombre que Ton écrit A + B + C + D, etc.

424. Considérons trois nombres A, B, C; d'après ce qu'on vient de dire, les nombres rationnels plus petits que A 4- B + C sont les mêmes que les nombres que Ton peut obtenir en ajoutant un nombre rationnel c plus petit que C à un nombre rationnel plus petit que A -f B; mais tout nombre rationnel plus petit que A + B peut s'ol)tenir en ajoutant deux nombres rationnels a, b respectivement plus petits que A, B; donc les nombres rationnels plus petits que A -f B + C sont les mômes que les nombres que Ton peut obtenir en ajoutant trois nombres rationnels a, 6, c respectivement plus petits que A, B, C. De même les nombres rationnels plus grands que A + B -f C sont les mêmes que ceux que Ton obtient en ajoutant trois nombres rationnels respectivement plus grands que A, B, C. On passe du cas de trois nombres au cas de quatre nombres, comme on a passé du cas de deux nombres au cas de trois nombres, et il est clair que les nombres rationnels plus petits que la somme A + B + C -f D + E + ..., des nombres A, B, C, D, E, ... sont les mêmes que les nombres que l'on obtient en ajoutant des nombres rationnels a, 6, r, d, e, ... respectivement plus petits que A, B, C, D, E, ..., et que les nombres rationnels plus grands que la somme A +^ + C-f-D-fE-f... sont les mêmes que les nombres que Ton obtient en ajoutant des nombres rationnels a\ 6', c', d', c'y ... respectivement plus grands que A, B, G, D, E, ... .

Gomme dans une somme de nombres rationnels Tordre des termes n'infiue pas sur le résultat, on voit que Tordre des nombres A, B, C, D, E, ... n'intervient pas dans la détermination des nombres rationnels pins petits ou plus grands que leur somme. Ainsi :

Dans une somme de nombf^es quelconques, on peut inteiiertir Vordre des termes.

Celte proposition subsiste évidemment lorsque quelques-uns des nombres à ajouter sont nuls, puisqu'il n'y a pas à tenir compte de ces nombres nuls, pour le résultat.

On voit de même que dans une somme de termes quelconques, on peut remplacer tels termes que Ton veut par leur somme effectuée : au surplus, cette proposition est une conséquence de la précédente.

Les propriétés fondamentales de Taddition sont étendues aux nombres irrationnels.

425. En ajoutant à un nombre A un nombre B différent de zéro, on obtient un nombre A 4- B plus grand que A.

Pour le démontrer, il suffit (n" 413) de prouver Texistence d'un nombre rationnel a' tel que Ton ait

OPÉUATIONS. 393

Soient 6, a, a' des nombres rationnels vérifiant les inégalilés

la somme des nombres a' — a < B et a < A est plus petite que A + B; or cette somme a^ est plus grande que A.

426. Soustraction. — Soustraire un nombre B d'un nombre A, c'est trouver un nombre C tel que l'on ait A = B + C.

Le problème n'est possible que si A est égal ou supérieur à B; en elTet, en ajoutant 0 à B, on trouve pour somme B, et en ajoutant à B un nombre autre que 0, on trouve un résultat plus grand que B. Si donc A est plus petit que B, on ne reproduira jamais A en ajoutant à B quelque nombre que ce soil.

Si A est égal à B, on a

0 satisfait à la condition énoncée; pour la raison qu'on vient de rappeler, c'est le seul nombre qui satisfasse à cette condition.

Si l'on a A > B, on va prouver qu'il existe un nombre C autre que zéro et tel que l'on ait A = B + C; on prouvera ensuite qu'il n'en existe qu'un.

Rangeons dans une première catégorie tout nombre rationnel c qui est égal ou inférieur à la différence a — b' entre un nombre rationnel a plus petit que A et un nombre rationnel b' supérieur à B, mais d'ailleurs moindre que a. Rangeons dans une seconde catégorie tout nombre rationnel c' qui est égal ou supérieur à la différence a[ — 6|, entre un nombre rationnel a > A et un nombre rationnel 6, < B ; puisque l'on a

a\ est certainement plus grand que b^.

Chaque nombre de la première catégorie est plus petit que chaque nombre de la seconde catégorie ; il suffit pour le démontrer de prouver que Ton a, en vertu des inégalilés précédentes,

car, s'il en est ainsi, tout nombre plus petit que a—b' sera certainement inférieur à a\ — b^^ ou à un nombre plus grand; or l'inégalité précédente équivaut à l'inégalité a + 6, < a, + 6', qui est évidente puisque ."on a

La différence {a\ + b') —{a+ b^) = («', — a) -f (b' — //,) peut être supposée aussi petite qu'on le veut : on peut donc trouver deux nombres appartenant, Tun à la première catégorie, l'autre à la seconde, qui diffèrent aussi peu qu'on le veut.

Dans la première catégorie il n'y a pas de nombre plus grand que tous les autres; si c est un nombre de la première catégorie, pour montrer

394 LEÇONS DARITIIMÉTIQUE.

qu'il existe dans cette caté.içorie un nombre plus grand que c, il suffit de le démontrer dans le cas où c a été rangé dans cette catégorie comme égal (non inférieur) à la différence a — 6' ; or, si les nombres rationnels a et 1/ sont tels que Ton ait

il est clair qu'il y aura des nombres rationnels a,. 6j tels que Ton ait

B< 62<6'<a<ff,<A,

«•l le nombre Oj — b^ > a — 6' appartiendra à la première catégorie. De môme, dans la seconde catégorie, il n'y a pas de nombre plus petit que tous les aulres.

On va montrer maintenant que si l'on ajoute un nombre de la première catégorie et un nombre rationnel plus petit que B, on obtient un nombre plus petit que A, et que si l'on ajoute un nombre de la seconde catégorie et un nombre rationnel plus grand que B, on obtient un nombre plus grand que A.

Désignons en effet par p, fi' des nombres rationnels tels que Ton ait

et par c un nombre de la première catégorie, qui pourra par conséquent être regardé comme égal ou inférieur à la différence a — b' entre un nombre rationnel a < A et un nombre rationnel 6' > B ; on aura donc

or, P étant plus petit que B et, par suite, que 6', le second membre est plus pelit que a : on a donc

c + P < A ; de même, si Ton suppose

c'^a^-b^ on aura

Or P' étant plus grand que 6j, a' — 6j + P' ®st plus grand quea'i; par suite & + P' est plus grand que A.

Ceci posé, deux cas peuvent se présenter; ou bien, dans le mode de classification adopté, il y a un nombre rationnel C qui n'appartient ni à une catégorie ni à l'autre, ei ce nombre est alors unique, puisqu'il y a dans les deux catégories des nombres qui ditfèrent aussi peu qu'on le veut ; ou bien tout nombre rationnel trouve sa place dans une catégorie ou dans l'autre, et alors le mode de classification définit un nombre irrationnel G. Dans les deux cas, le nombre A est plus grand

que la somme de deux nombres rationnels quelconques respectivement plus petits que B et C, et plus petit que la somme de deux nombres rationnels quelconques respectivement plus grands que B et C : dans tous les cas, on a

427. Les deux nombres A, B étant donnés, il ne peut y avoir qu'un seul nombre C vérifiant cette égalité; si, en effet, il existait un autre nombre D tel que l'on eût

et si Ton avait, par exemple, C> D, il existerait alors un nombre E tel que Ton eût C = D -f K ; on aurait donc, à cause de la première égalité,

mais en ajoutant E à la somme B + D qui, par hypotbèse, est égale à A, on obtient un nombre plus grand que B + D et, par conséquent, plus grand que A. La contradiction est manifeste.