Démonstration du théorème général de l’incommensurabilité
# Démonstration du théorème général de l’incommensurabilité

## ANALISE.

Toutes les questions où se présente le cas de l’incommensurabilité, c’est-à-dire, les questions où il s’agit de démontrer l’égalité de deux rapports dont l’un est incommensurable, ont les caractères communs que voici : 1.ᵒ elles supposent deux séries de quantités soumises, dans chaque série, à la loi de continuité ; 2.ᵒ elles supposent de plus que les termes des deux séries sont liés les uns aux autres par une dépendance réciproque, en sorte que les deux séries se correspondent terme à terme; 3.ᵒ elles supposent enfin que, lorsque deux termes de l’une des séries sont commensurables, leurs correspondans dans l’autre série leur sont proportionnels. La difficulté de ces sortes de questions consiste alors à démontrer que la même proportionnalité a encore lieu pour des termes incommensurables, et voici comment on peut y parvenir.

Soient les deux séries correspondantes

K₁, K₂, K₃, …Kᵢ, Kᵢ₊₁, …Kₗ, Kₗ₊₁, …Kₘ, Kₘ₊₁, …Kₙ, Kₙ₊₁, …

Q₁, Q₂, Q₃, …Qᵢ, Qᵢ₊₁, …Qₗ, Qₗ₊₁, …Qₘ, Qₘ₊₁, …Qₙ, Qₙ₊₁, …

assujéties aux conditions qui viennent d’être exposées.

On suppose reconnue que, si deux termes Kᵢ, Kₗ de l’une quelconque des séries, sont commensurables entre eux, ils ont, avec leurs correspondans dans l’autre série, la relation

(1) Kᵢ/Kₗ=Qᵢ/Qₗ ;

et il s’agit de démontrer que, si deux autres termes Kₘ, Kₙ, de l’une quelconque des séries sont incommensurables, ils auront également, avec leurs correspondans dans l’autre série, la relation

(2) Kₘ/Kₙ=Qₘ/Qₙ ;

La proposition sera vraie, si l’on prouve généralement qu’on ne peut avoir un quelconque des deux rapports supérieur à l’autre ; par exemple,

(3) Kₘ/Kₙ > Qₘ/Qₙ ;

Si, en effet, la relation (3) pouvait exister, on devrait avoir

(4) Kₘ/Kₙ=Qₘ/Q_{n′} ;

Qₙ étant un terme choisi convenablement dans la seconde série et <Qₙ ; or, quelque petite que puisse être d’ailleurs la différence (Qₙ−Q_{n′}), on peut concevoir, dans le numérateur Qₘ, des parties égales encore plus petites ; et, en mesurant Qₙ avec une de ces parties, on pourra former une quantité

(5)Q_{n″}{<Qₙ>Q_{n′}

c’est-à-dire, comprise entre Qₙ et Q_{n′}, et commensurable avec Qₘ, laquelle devant nécessairement faire partie de la seconde série, aura conséquemment, dans la première, un terme correspondant

(6)K_{n″}<Kₙ.

Maintenant, Q_{n″} étant commensurable avec Qₘ, on aura, d’après l’hypothèse (1),

(7) K_{n″}/Kₘ=Q_{n″}/Qₘ.

La relation (7) étant démontrée vraie, tandis que la relation (4) est douteuse, leur combinaison est propre à fixer notre jugement sur cette relation (4). Multiplions donc par ordre les relations (4), (7) ; il viendra, en réduisant,

(8) K_{n″}/Kₙ=Q_{n″}/Q_{n′}.

Or, cette relation (8) est absurde ; car (6) son premier rapport est <1, tandis (5) que son second rapport est au contraire >1 ; donc la relation (4) est impossible ; et, attendu qu’elle est une conséquence inévitable de la relation (3), il en résulte que cette dernière ne peut être admise ; et comme, d’un autre côté, on ne peut la rejeter sans admettre la relation (2), il s’ensuit que cette relation a lieu en effet, malgré l’incommensurabilité supposée entre Kₘ et Kₙ.

La proportionnalité entre tous les termes correspondans des deux séries est donc une suite nécessaire de la proportionnalité entre ceux de ces termes qui sont commensurables.

Ce mode de raisonnement, qui ne laisse rien à désirer du côté de la rigueur, nous semble présenter deux avantages principaux sur celui qu’il est d’usage d’employer dans tous les cas de cette nature. 1.ᵒ Ce que nous disons d’un rapport pouvant être également appliqué à l’autre, nous nous trouvons dispensés de la contre-épreuve à laquelle on est explicitement ou implicitement assujéti dans l’application des méthodes usitées ; 2.ᵒ notre théorème général, une fois démontré, s’applique avec la plus grande facilité aux lignes proportionnelles, aux angles comparés aux arcs, aux aires des rectangles de même base, aux angles dièdres comparés aux angles plans, aux volumes des parallèlipipèdes de même base, aux fuseaux sphériques comparés soit entre eux soit la sphère, et généralement à tous les cas de l’incommensurabilité, tant en géométrie qu’en arithmétique et en statique, sans qu’on soit obligé défaire une démonstration pour chaque cas. La seule attention à avoir est de bien s’assurer, avant d’appliquer le théorème général, que les deux séries de quantités auxquelles on en veut faire l’application, sont exactement soumises aux lois que nous avons supposé exister dans celles que nous venons de considérer.

Il est essentiel de remarquer que notre démonstration n’exige pas que les deux séries de quantités, admises comme proportionnelles, dans le cas de la commensurabilité, soient exclusivement croissantes ou décroissantes dans le même sens. L’une de ces séries peut croître tandis que l’autre décroit : comme il arriverait, par exemple, si l’une des séries était formée de multiplicandes et l’autre de multiplicateurs de nature à donner une suite de produits égaux. Dans ce cas, si l’on prend dans la première série deux multiplicandes M et Mᵢ il faudra leur comparer respectivement dans la seconde les multiplicateurs mᵢ et mₕ ; car on doit avoir Mₕ/Mᵢ=mᵢ/mₕ. Ainsi, dans le second rapport de chaque proportion, l’ordre des termes est inverse de celui de termes du premier.

* ↑ C’est-à-dire que, dans chaque série, on peut concevoir deux termes aussi peu différens qu’on voudra.
* ↑ La loi de correspondance entre les deux séries peut d’ailleurs être quelconque ; elle peut même être inconnue, pourvu qu’on soit certain de son existence.
* ↑ L’ordre des rapports pouvant être indifféremment direct ou inverse, pourvu qu’il soit constant dans toute l’étendue des deux séries.
