a1和a2线性无关,将a1 a2扩充为最大无关组