共用题干题用非退化线性替换化下列二次型为标准形，并利用矩阵验算所的结果： x²₁+2x²₂+x²₄+4x₁x₂+4x₁x₃+2x₁x₄+2x₂x₃+2x₂x₄+2x₃x₄.