294
INCOMMENSURABILITÉ.
Soient les deux séries correspondantes
![{\displaystyle \mathrm {Q} _{1},\mathrm {Q} _{2},\mathrm {Q} _{3},\dots \mathrm {Q} _{i},\mathrm {Q} _{i+1},\dots \mathrm {Q} _{l},\mathrm {Q} _{l+1},\dots \mathrm {Q} _{m},\mathrm {Q} _{m+1},\dots \mathrm {Q} _{n},\mathrm {Q} _{n+1},\dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/60f6c480f99d703767bb76a6cb1680f6317fc1f5)
assujéties aux conditions qui viennent d’être exposées.
On suppose reconnue que, si deux termes
de l’une quelconque des séries, sont commensurables entre eux, ils ont, avec leurs correspondans dans l’autre série, la relation
![{\displaystyle (1)\qquad {\frac {\mathrm {K} _{i}}{\mathrm {K} _{l}}}={\frac {\mathrm {Q} _{i}}{\mathrm {Q} _{l}}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b788e63a03ef1f3b966a54c24636fe23e03d213c)
et il s’agit de démontrer que, si deux autres termes
, de l’une quelconque des séries sont incommensurables, ils auront également, avec leurs correspondans dans l’autre série, la relation
![{\displaystyle (2)\qquad {\frac {\mathrm {K} _{m}}{\mathrm {K} _{n}}}={\frac {\mathrm {Q} _{m}}{\mathrm {Q} _{n}}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/824aa85d42bf9cb3a28b24b0dc186ec76d7556eb)
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,
![{\displaystyle (3)\qquad {\frac {\mathrm {K} _{m}}{\mathrm {K} _{n}}}>{\frac {\mathrm {Q} _{m}}{\mathrm {Q} _{n}}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b10d9c0a8e2dcce648487dddca9fa1b5c82f63b4)
Si, en effet, la relation
pouvait exister, on devrait avoir
![{\displaystyle (4)\qquad {\frac {\mathrm {K} _{m}}{\mathrm {K} _{n}}}={\frac {\mathrm {Q} _{m}}{\mathrm {Q} _{n'}}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82fe82165f4a16478c7ad99552020346fbe3a71)
étant un terme choisi convenablement dans la seconde série et
; or, quelque petite que puisse être d’ailleurs la différence
, on peut concevoir, dans le numérateur
, des parties égales encore plus petites ; et, en mesurant
avec une de ces parties, on pourra former une quantité
![{\displaystyle (5)\qquad \mathrm {Q} _{n''}{\begin{cases}<\mathrm {Q} _{n}\\>\mathrm {Q} _{n'}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca90c830cd58934a13f48fd49fabeb8db1a92352)
c’est-à-dire, comprise entre
et
, et commensurable avec
, laquelle devant nécessairement faire partie de la seconde série, aura