THÉORIE ALGÉBRIQUE DES FORMES QUADRATIQUES BINAIRES

Soit l(a, b, c) un invariant tel que

Faisons dans celte égalité a=ic=:o, 6= i,il vient :

I(aY, aS + Py, pS) 4- cp(^ ^)l(o, i, o).

Posons

il vient :

J(^T. «^^^ -^ ^ï- P°) = ?(Ç g) et l'équation (i) devient

J(a'. b', c') = J(aY, cr5 + Py, §5)J(a, 6, c).

Prenons les dérivées de cette équation successivement par rapport à a, p, Y» S, et dans les résultats faisons a = S = i, ^ = y = o, il vient :

Ôj , dJ ÔJ , \ T/ I s