a1可由,a2,a3,a4线性表示,
∴a1,a2,a3,a4线性相关,
∴行列式|a1,a2,a3,a4|=0.若a1,a2,a3,a4线性无关，
则行列式|a1,a2,a3,a4|≠0.