高等代数 判断数域K上的n元方程x1^2+x2^2+x3^3+.+xn-1^2-xn^2=0 的解集是否为Kn的子空间