2y3ycom

Sean x1=y1 y2, x2=y1-y2, x3=y3

Entonces f = 2(y1 y2)(y1-y2) 2(y1 y2)y3-6 (y1-y2)y3

= 2y1^2-4y3y1-2y2^2 8y3y2

= 2(y1-y3)^2-2y2^2-2y3^2 8y3y2

= 2(y1-y3)^2-2(y2-2y3)^2 6y3^2

= 2z1^2 -2z2^2 6z3^2 -- Forma estándar

= w1^2 w2^2 - w3^2 -- forma canónica

La forma canónica no es única

La forma canónica es única y única por positivo y los índices de inercia negativos están bien (independientemente del orden)