Es ist \(\sigma(x,y)=\sum_{i=1,j=0}^3 a_{ij}x_iy_j=x^TAy\) , also ein ganz normales
bilineares Polynom. Die Koeffizientenmatrix \(A=(a_{ij})\) ist symmetrisch und
daher die Gram-Matrix einer symmetrischen Bilinearform. Wenn die
Matrix \(A\) positiv definit ist, liegt ein Skalarprodukt vor.
Die Matrix ist genau dann positiv definit, wenn die führenden Hauptminoren
alle \(> 0\) sind, was hier, wie man leicht nachrechnet, der Fall ist.