验证a1=[1,2,3]^T,a2=[1,1,2]^T,a3=[-2,-6,-7]^T为R3的基