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