(17) 
d’où l’on déduit 
AY = AW — A. 
Ainsi ; 
Les trois covariants cp, 61, 62, Ont méme discriminant. 
Nous représenterons cette fonction par la lettre À, et nous 
l’appellerons le discriminant de f. 
En combinant un des covariants o avec f, on obtient une 
nouvelle forme trilinéaire importante. 
Soit K cette forme, définie par l'égalité 
K — { (cod) code 
(Co) (CN) = eee 
Par suite 
K = À [(ab’) (a''b'”) (ac) b,cic: + (a'b') (a''b”) (bc) a,c,c!]. 
Comme nous pouvons intervertir les a et les b, nous aurons 
K — (a’b’) (a”’b””) (ac) b,c,c:. 
En combinant o, avec f, on trouverait 
K’ = (a”’b") (ab) {a’e') byc.c:. 
En conséquence 
K—K'—(a”b'”}c! [(a'b') (ac) bc; — (ab) (u'c') bc.]. 
Cette expression montre que 
K —K'—0. 
Donc: | 
La première transvection des trois covariants ©,, ©, ca sur la 
forme trilinéaire f donne naissance à une seule forme trilinéaire K. 
2 
