PHYSICAS E NATURAES 219 



Or dous avons fait voir 1 que la double substitution linéaire qui 

 ramène ces deux covariants à leur forme canonique fait disparaitre, 

 si on 1'applique à la forme 9, les termes A 0l , Â lQ , A t2 , A u . 



Par conséquent, si nous employons la quadruple substitution li- 

 néaire qui ramène les quatre covariants 



à leurs formes canoniques, les six formes 1) à 6) subiront la rédu- 

 ction qui vient d'être indiquée. 



Mais d'un autre côté, il est visible que les six covariants biqua- 

 driques ne peuvent avoir cette forme que si / elle-même est réduite à 



^liii^i Vi 2 i W i~r( a i 122^1 Vi 2 2 W 2 ' ^2211^2 ^2 Z Í U Í T ^1212^1 ^2 Z i W 2 ' 

 ~f" CÍ 2i2i ír 2^1 2: 2 M l "T" a i221 ^i 2^2 ^2 W l "" ^2112^2^1 Z 1 W 2/ ~T ^2222^2^2 ^2 W 2" 



Gomme on le voit, nous avons fait disparaitre ainsi les quatre ter- 

 mes qui suivent le premier et les quatre qui précèdent le dernier. 



De la même manière, dans la forme à cinq séries de variables, 

 on pourra faire disparaitre les cinq termes qui suivent le premier et 

 les cinq termes qui précèdent le dernier. 



Nous avons donc bien là une forme canonique analogue à celle qui 

 à été donnée pour les formes binaires. 



Nous rappellerons encore une propriété des quatre covariants L*, 

 M*, v\, P*, qui nous será utile dans ce qui va suivre. 



Si nous employons la forme canonique de f, nous aurons évidem- 

 ment. 



1*4 i 4 1 r 4 1 2 2 # 



Ij z =? í »iiii« 1 i22 Cí l22i ia i2lâ a? l "T" * a SH22 a 22ii a 2ii2 a ai2t a; 2' + " P X l X 2 » 



My—k a im a im o 212i a 21i2 y i + 4 a 2222 a 2211 & 1212 a 1221 y 2 -r py^', 



iV ;: = 4 1111 221i a 2112 a m2 Z 1 -f *^2222 a ii22 122i°2121 Z 2~^P 2 i 2 2' 

 • P « == 4a iili a 221i a 2i2i a i221 W l + 4 a 2222 a ii22 a i212 a 2H2 W 2~^ U i U V 



1 Ibid., p. 424. 



