Aller au contenu

Page:Gauss - Recherches arithmétiques, traduction Poullet-Delisle, 1807.djvu/353

La bibliothèque libre.
Cette page a été validée par deux contributeurs.
331
ARITHMÉTIQUES.

par , , , les mêmes nombres qu’en II, no précédent, on aura , , si donc chacun des nombres , ou , on aura , , d’où l’on déduit facilement , , . Ainsi ces deux transformations ne pourront être différentes que dans le cas où l’un des nombres , est et l’autre . Or alors , , c’est-à-dire que la valeur est opposée à elle-même.

V. Il suit facilement de ce que nous avons dit (no 271) sur les caractères des formes définies et indéfinies, que si est positif, négatif et une forme négative, est une forme définie négative, et que si est positif et positif ou négatif, mais une forme positive, est une forme indéfinie. Or comme , ne peuvent être équivalentes, à moins qu’à cet égard elles ne soient semblables, il est évident que des formes binaires de déterminant positif et les formes positives ne peuvent être représentées proprement par une forme ternaire, indéfinie de déterminant positif, et que par une forme ternaire de la première ou de la deuxième espèce, on ne peut représenter que des formes binaires de la deuxième ou de la première respectivement. On peut conclure de la même manière, que par une forme ternaire définie de déterminant négatif (qui est positive), on ne peut représenter que des formes binaires positives, et par une forme ternaire indéfinie de déterminant négatif, que des formes binaires négatives et des formes de déterminant positif.

284. Comme les représentations impropres d’une forme binaire de déterminant , par une forme ternaire qui a pour adjointe , sont celles d’où l’on déduit les représentations impropres du nombre par la forme , il est évident que ne peut être représenté improprement par , à moins que n’ait des diviseurs quarrés. Supposons que les différens diviseurs quarrés de , non compris , soient , , , etc., dont le nombre sera toujours fini puisque ne peut pas être , toute représentation impropre de par donnera une représentation du nombre par , dans laquelle les valeurs des indéterminées auront pour plus grand commun diviseur l’un des nombres , , , etc. Par cette raison, nous dirons, pour abréger, que toute représen-

2