矩阵代数的中的定义，nontrivial=nonzeroAX=0, 行列式|A|~=0, 则X有非平凡解, 否则, 只有平凡解X=0.因为任何线性空间的子空间都过零点, 所以明显的等于0的时候解是成立的,但这显然没什么意义,说这个0解是平凡的, 否则, 就存在不平凡解了