设实二次型 f (x1, x2, x3) = (x1 − x2 + x3) 2 + (x2 + x3) 2 + (x1 + ax3) 2 , 其中 a 是参数.
(a) 求 f (x1, x2, x3) = 0 的解;
(b) 求 f (x1, x2, x3) 的规范形