et il ne s’agira que de voir si l’on peut déterminer les nombres
en sorte que l’on ait
![{\displaystyle \mathrm {PR-Q^{2}} =a,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d0fc1595fab3d1de7fe2bc0aa50f37e12387b8f)
et que
ne soit ni
ni ![{\displaystyle >\mathrm {R} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c46c8d8e84d99a279211fc9e56e3ee755c58fd19)
Pour satisfaire à la première condition je substitue dans la quantité
les valeurs de
et je trouve, en effaçant ce qui se détruit,
![{\displaystyle \mathrm {PR-Q^{2}} =\left(pr-q^{2}\right)(\mathrm {M} n-\mathrm {N} m)^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6e87e71b4acf944d81e9c28c8b81e31fe1e5ec2)
mais (hypothèse)
![{\displaystyle pr-q^{2}=a,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8a5b01b70f41969f9f012f3b98ba61b5dd4cfa2)
donc, pour que
soit aussi égal à
il faudra que l’on ait
![{\displaystyle (\mathrm {M} n-\mathrm {N} m)^{2}=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c9d9d9b23c672e49c2c2465fbfa641f1023f235)
et par conséquent
![{\displaystyle \mathrm {M} n-\mathrm {N} m=\pm 1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97fcd60f2289620c265f81e267cea06b134f8d48)
À l’égard de la seconde condition, il est clair qu’elle ne saurait avoir lieu à moins que
ne soit en même temps
et
ainsi nous supposerons que
soit en effet
et
et nous allons voir ce qui doit s’ensuivre.
Soit
(le raisonnement serait le même si
était
en prenant seulement
à la place de
), il est clair qu’on peut faire
![{\displaystyle \mathrm {M=\mu N+M'} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a45f6e599aff9b9d74ae58d841378fa60e37db0e)
et qu’on peut prendre
tel que
devienne moindre que
car il n’y a qu’à prendre pour
le quotient de la division de
par
et
sera le reste ; de plus il est facile de voir qu’on peut toujours supposer que
ne soit pas moindre que
car si l’on trouvait
en sorte que
on pourrait faire
![{\displaystyle \mathrm {M=2N-(N-M')} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a650ecd14da74d81929ca5fead1f98c74d627b8e)
c’est-à-dire prendre
et
à la place de
Or si l’on suppose aussi, ce qui est permis,
![{\displaystyle m=\mu n+m',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66d117e92345aa69c540206d7d1c0feb083322ce)
étant un nombre quelconque, et qu’on substitue ces valeurs de
et