令B={a1,a2,a3,a4},
由四个向量线性相关得|B|=0.从而可以求得a.
再由四个向量可以表示任一解,得四个向量组成的向量组的最大无关组的线性组合为基础解系.
具体就不给你算了.
当然求a时也可以用行变换秩为3求得.