Considérons deux formes quadratiques

f = a^2z= «0^1 -i- io.iœiX^-\- a^x\ — {xa^^^){xa'^-'^)^ g r=z hx'- = boxl -^ 2biXiX2~h b^xl = (xb^^^)(xb^^^).

Leurs invariants proprement dits, tous d'ordre 2, distincts et formant un système complet, sont

H = J^(/j g") = aob^— iciibi ~h a^b^; d'ailleurs

de sorte que si H = o, les racines de / sont conjuguées harmoniques par rapport à celles de g,