问答题 证明：若a1、a2、a3、a4互不相等，则此方程组无解。

问答题 判别下列二次型的正定形： f（x1，x2，x3）=-2x21-6x22-4x23+2x1x2+2x1x3。

问答题 设4阶矩阵，且矩阵X满足关系式X（E-C-1B）TCT=E，求矩阵X.