证明齐次方程组 Ax = 0 总是有 x = 0 作为解。非平凡解存在 iff \det A = 0 。