Problème VI.
32. Étant donnée l’expression
![{\displaystyle py^{2}+2qyz\pm rz^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1c8de13f4509901d0d03b5b22ac83836e3c48ff)
où
sont des nombres entiers donnés dont le premier ou le dernier est supposé impair, et
des nombres entiers indéterminés ; on propose de la ramener à la forme
![{\displaystyle 4an+b,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3642c6a451193ad5099e1373ee3d45c3eade41d)
en supposant
un nombre entier positif ou négatif qui ne soit pas plus grand que
et
un nombre entier indéterminé.
Supposons d’abord que
soit un nombre impair, et faisant l’expression proposée égale à
en sorte que l’on ait
![{\displaystyle py^{2}+2qyz\pm rz^{2}=\mathrm {X} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fc2c2c5f7f7ac75ebbcb318193ee35c83efa430)
qu’on multiplie cette équation par
elle deviendra
![{\displaystyle p\mathrm {X} =(py+qz)^{2}\pm az^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f200a9ba442cb069e44389c99eb19d6069ef206)
à cause de
(hypothèse), ou bien en faisant ![{\displaystyle py+qz=y',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc03cff9573099d730fc479a939b2532c597bbbd)
![{\displaystyle p\mathrm {X} =y'^{2}\pm az^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91504f6212a42be3fdc26f9719a88c69127407b0)
Maintenant supposons, en général, que la plus grande commune mesure de
et
soit
étant un nombre non carré ni divisible par aucun carré ; et faisant
![{\displaystyle p=\mathrm {P} p'c^{2},\quad a=r'p'c^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e472a40a0c85ed1596bb144a6d58785ec4e8612)
il est clair que
et
seront premiers entre eux, et que l’équation
![{\displaystyle a=pr\mp q^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9afa9f3a407ceab04f2cc863554646a6815ca384)
devenant
![{\displaystyle r'p'c^{2}=\mathrm {P} rp'c^{2}\mp q^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6604622c66e15ca05e9549afe450e5e6a6134c66)
ne pourra subsister en nombres entiers à moins que
ne soit divisible par
ainsi l’on aura
![{\displaystyle q=q'p'c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a70f51fef1cbce11178e9d83cde70df9d63ad45)