"Si consideri il prodotto interno su $R^3$ così definito:$phi((x,y,z);(x',y',z'))= x(x)'-xy'-xz'-yx'+2yy'+yz'-zx'+zy'-zz'$, verificare che è privo di vettori isotropi".
Noto che ottenendo la matrice di Gram $((1,-1,-1),(-1,2,1),(-1,1,-1))$ i minori principali sono non singolari, infatti:$det(1)=1, det((1,-1),(-1,2))=1, det((1,-1,-1),(0,1,0),(0,0,-2))=-2$ quindi questo basterebbe per la tesi.....ma poi perchè se considero il vettore $v=(1,1,1)$ ad esempio, $phi(v,v)=0$? cioè, questa cosa non mi torna