首先，齐次线性方程组AX=0的基础解系a1,a2,...,ak的任意线性组合仍然是AX=0的解.然而Aβ≠0故β不是AX=0的解，从而β不能被a1,a2,...,ak线性表示，故a1,a2,...ak,β线性无关
