que nous appellerons
en sorte que l’on ait les équations
![{\displaystyle {\begin{aligned}&x^{2}\,\ \ -ay^{2}\ \,\ =\mathrm {R} ,\\&x'2\,\ -ay'2\ =\mathrm {R} ,\\&x''2\ -ay''2\,=\mathrm {R} ,\\&x'''2-ay'''2=\mathrm {R} ,\\&\ldots \ldots \ldots \ldots \ldots \ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0230a6e1c41c7488a44358b9fb1ebf64333c110)
dont le nombre sera infini.
5. Lemme. — Le produit de ces deux quantités
et
est
car
![{\displaystyle \left(x'^{2}-ay^{2}\right)^{2}\left(x'^{2}-ay'^{2}\right)=x^{2}x'^{2}+a^{2}y^{2}y'^{2}-ay^{2}x'^{2}-ax^{2}y'^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3056eb7859eff9f6e607cdbacfdfdce2b9d5c42)
![{\displaystyle {\begin{aligned}&=x^{2}x'^{2}\pm 2axx'yy'^{2}-v+a^{2}y^{2}y'^{2}-ax^{2}y'^{2}+2axyx'y'-ay^{2}x'^{2}\\&=\left(xx'\pm ayy'\right)^{2}-a\left(xy'\pm yx'\right)^{2}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0b722ad40c679ef79cfca80694df9eb36ea0aac)
D’où l’on voit que le produit de deux quantités de cette forme
étant une quantité donnée, est toujours aussi de la même forme, et qu’ainsi le produit d’autant des quantités de cette forme qu’on voudra sera encore de la même forme.
Donc on aura
![{\displaystyle \left(x^{2}-ay^{2}\right)^{2}=\left(x^{2}+ay^{2}\right)^{2}-a(2xy)^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6093f788ae7f36217ae5b1b7c70d20c058e97b1)
![{\displaystyle (x^{2}-ay^{2})^{3}=\left(x^{3}+3axy^{2}\right)^{2}-a(3x^{2}y+ay^{3})^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a58effb7393c55d95e8599456faa84264cc9381)
et ainsi des autres.
6. Supposons d’abord que
et
soient premiers entre eux, et multipliant ensemble deux quelconques des équations du no 4, on aura (Lemme)
(A)
|
|
|
De plus, les mêmes équations donneront celle-ci :
![{\displaystyle \mathrm {R} \left(y'^{2}-y^{2}\right)^{2}=x^{2}y'^{2}-y^{2}x'^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f63c84776ad67283cc68187e4802334fd8c7f8de)
savoir, à cause de ![{\displaystyle x^{2}y'^{2}-y^{2}x'^{2}=(xy'+yx')(xy'-yx'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b920188bcf07627315a3511a72502dd733b136bb)
(B)
|
|
|