Ces formules sont celles auxquelles nous voulions parvenir; elles ne q2 qui peut ne pas se reduire à = : contiennent de fraction, que la quantité qui donnent aussi P2- AQ2=1, on trouvera alors: 1. Cependant, si nous et la formule de substitution ne renfermera plus que des nombres entiers. Le nombre A qui joue ici un rôle essentiel, a pour valeur g(l, m, n); il doit être évidemment positif, pour que la substitution ne soit pas identique. Če sont donc les entiers pour lesquels la forme adjointe est positive, qui sont les éléments essentiels de notre solution. En résumé: si nous désignons par S la substitution (8), par Σ la substitution (9), la formule abrégée S-ES donnera en nombres entiers la relation entre les deux groupes de variables, x, y, z, et X, Y, Z, par laquelle f(x, y, z) se change en f(X, Y, Z). Comme conséquence de la méthode précédente, on obtient aisément les théorèmes suivants que je me bornerai à énoncer. une substitution S, qui change en elle même une forme quadratique quelconque, l'équation du troisième degré, qu'on formera en égalant à zéro le déterminant du système admettra pour une de ses racines l'unité, et pour les autres deux valeurs réciproques. 1 II. λ = Si l'on représente ces deux racines réciproques par e- et =e-V-1, la condition pour que la substitution S, prisen fois de suite, donne en dernière lieu une substitution identique, est donnée par l'équation nw=27; et les seules valeurs possibles du nombre n, si les coefficients sont entiers, sont n = 2, 3, 4. III. Il existe un nombre infini de formes quadratiques ternaires qu'une même substitution change en elles-mêmes; et on peut les représenter ainsi: f = ka2+IBC, A, B, C, désignant trois fonctions linéaires déterminées, et k, l, deux coef-ficients arbitraires. Toutes les substitutions qui changent en elles-mêmes ces diverses formes, s'obtiendront en faisant A, B, C, désignant trois fonctions de même forme que A, B, C, mais relatives à d'autres variables, et à une constante arbitraire. Paris, Mai 1853. 19. Sur la théorie des formes quadratiques. (Par M. Hermite à Paris.) Premier mémoire. La Ma méthode que j'ai exposée dans un précédent article, pour obtenir toutes les transformations en elle-même d'une forme ternaire indéfinie, exige comme élément analytique essentiel, la connaissance des systèmes d'entiers qui rendent positive la forme adjointe. La nature d'une pareille condition fait bien voir que les transformations semblables d'une forme indéfinie, impliquent nécessairement dans leurs expressions un nombre infini d'entiers arbitraires. Les considérations que nous développerons ici, montreront même la possibilité de donner aux formules de transformations, une expression qui offre explicitement un nombre infini d'entiers indéterminés. Nous insistons sur ce point, parcequ'il nous semble caractéristique dans la théorie des formes quadratiques. D'autres formes donnent lieu en effet à un nombre pareillement infini de substitutions semblables, mais toutes ces substitutions s'expriment avec un nombre essentiellement limité d'entiers arbitraires. Telles sont les formes du n° degré, décomposables en n facteurs linéaires pour lesquelles on a la proposition suivante: „Soit a le nombre des facteurs linéaires réels, b le nombre des couples „de facteurs imaginaires conjugues, et +1 la somme de ces nombres: toutes „les substitutions semblables seront données symboliquement par la formule ... 19 „où m, m2, On peut encore démontrer par rapport à ces formes, qu'en nommant Set T, deux substitutions semblables quelconques, on a toujours S.TT.S. Au contraire, dans la théorie des formes ternaires indéfinies, une pareille relation n'existe qu'autant que S et T sont les puissances d'une même substitution; auquel cas la relation proposée, se vérifie d'elle même. Nous Crelle's Journal f. d. M. Bd. XLVII. Heft 4. 43 rappellerons encore que la connaissance d'une transformation semblable d'une forme quadratique ternaire, ne définit pas complètement cette forme, de sorte qu'une substitution donnée, change en elles mêmes une infinité de formes ternaires distinctes. Par le théorème suivant, on verra au contraire comment une forme décomposable en facteurs linéaires, est connue, à un facteur numérique près, lorsqu'on donne une de ces transformations en elle-même. Designons cette substitution par Σ, et concevons qu'on forme Σ2, Σ3, etc. Σi, en représentant par cette notation la même substitution, prise 2, 3,... i fois de suite, et pour fixer les idées, supposons la substitution donnée par les on aura, à un facteur numérique près, la forme en X, Y,... U, décomposable en facteurs linéaires, et que la substitution change en elle-même. Je me reserve de démontrer prochainement ces théorèmes, sur la forme décomposable en facteurs. Le dernier exige qu'aucune puissance de la substitution, ne puisse donner la substitution identique: x= X, y = Y, ... u = U. Ces exemples de la grande différence que l'on doit établir entre la théorie des formes quadratiques et celle des formes décomposables en facteurs, au point de vue de la recherche des substitutions semblables, ajoutent encore, ce me semble, à l'interêt de la question difficile que nous avons abordée pour le cas des formes ternaires. En se bornant d'abord en quelque sorte au point de vue algébrique, on est conduit, à plusieurs théorèmes qui nous ont paru dignes d'interêt, et que nous exposerons avec détail. Nous donnerons ensuite un nouveau développement aux considérations arithmétiques dejà présentées dans notre premier article. Première partie. I. L'analyse que j'ai exposée precédemment dans ce journal, donne sous la forme suivante au moyen de trois indéterminées λ, u, v, l'expression de toutes les substitutions qui changent en elle-même une forme quadratique terPosons, en conservant les mêmes notations: naire. f 4 = ax2 + a'y2+ a′′x2+2byz+2b'xx+26"xy ab2 + a'b'2 + a"b"2 — 2bb′b" — aa' a", et représentons la forme adjointe par Nous aurons souvent besoin d'employer la valeur de g, lorsqu'on met λ, u, v, pour la première, la deuxième et la troisième indéterminée; nous la désignerons par 7, de sorte que On peut le démontrer directement de la manière suivante. fonctions linéaires df df df ; on trouvera sans peine |