330
RECHERCHES
est premier avec
, on aura
pour les valeurs de
plus
grandes que
.
III. Cela fait, il est évident que toute représentation propre
de la forme
par
appartient nécessairement à quelqu’une des
valeurs restantes et à une seule ; ainsi il faut parcourir
ces différentes valeurs, et chercher les représentations qui appartiennent à chacune d’elles.
Pour trouver les représentations qui appartiennent à une valeur
donnée
, il faut déterminer d’abord une forme ternaire
dont le déterminant soit
, et dans laquelle on
ait
,
,
,
,
; les valeurs de
,
,
se déduisent de là, à l’aide des équations du
no 276, II, par lesquelles on voit facilement que lorsque
et
sont premiers entre eux, les nombres
,
,
sont nécessairement entiers ; puisque les produits de ces nombres par
et
sont des nombres entiers ; mais en général si l’un de ces trois
nombres se trouve fractionnaire, ou si les formes
,
ne sont
pas équivalentes, il n’y aura aucunes représentations de
par
appartenantes à la valeur
, mais si
,
,
sont entiers
et que les formes
,
soient équivalentes, toute transformation de
en
, comme
![{\displaystyle \alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3)
,
![{\displaystyle \beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ed48a5e36207156fb792fa79d29925d2f7901e8)
,
![{\displaystyle \gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a223c880b0ce3da8f64ee33c4f0010beee400b1a)
;
——![{\displaystyle \alpha '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cb0468d39268c4405a9286d2cba77c2e4631fed)
,
![{\displaystyle \beta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d14001f211d8e272b5c10e45c739d320359c48c8)
,
![{\displaystyle \gamma '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0e2b9e9e12e56bd62af445be6803ec4843e919a)
;
——![{\displaystyle \alpha ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4651b4e0cb2e6bf7726effc97a1c4ca63c799a67)
,
![{\displaystyle \beta ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ea133d868709de57c71dcb6f576628d79c9fbe8)
,
![{\displaystyle \gamma '',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee5af5fb9d0accfeba7e2d6786e1223d81106749)
donne une représentation telle que
,
,
;
et de cette manière il n’y a aucune représentation qui ne puisse se déduire d’une transformation. Ainsi la partie
du second problème, relative aux représentations propres, est ramenée au troisième problème.
IV. Au reste, les différentes transformations de
en
produisent toujours des représentations différentes, excepté le seul
cas où
est une valeur opposée à elle-même, dans lequel
deux transformations ne donnent qu’une seule représentation. Supposons, en effet, que
se change aussi en
par la substitution
![{\displaystyle \alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3)
,
![{\displaystyle \beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ed48a5e36207156fb792fa79d29925d2f7901e8)
,
![{\displaystyle \delta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5321cfa797202b3e1f8620663ff43c4660ea03a)
;
——![{\displaystyle \alpha '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cb0468d39268c4405a9286d2cba77c2e4631fed)
,
![{\displaystyle \beta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d14001f211d8e272b5c10e45c739d320359c48c8)
,
![{\displaystyle \delta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aab2d3fbf71b804a6005c7546c058e15f4ea3685)
;
——![{\displaystyle \alpha ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4651b4e0cb2e6bf7726effc97a1c4ca63c799a67)
,
![{\displaystyle \beta ''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ea133d868709de57c71dcb6f576628d79c9fbe8)
,
![{\displaystyle \delta '',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9de95ea85fec8e19b0be20e94f4e1dd6af7a236)
qui donne la même représentation que la précédente, et désignant