Soit un plan muni d’une forme quadratique. Montrer que les conditions suivantes sont équivalentes.
1
est un plan hyperbolique.
2
est non-dégénérée d’indice .
3
le discriminant de est égal à , modulo un carré (et donc dans une base orthonormée, l’expression de est , avec des scalaires et tels que est un carré).