必要性:(反证)如果某组k,l使得a1+ka3,a2+la3线性相关
由定义,存在非零常数c1,c2使得c1(a1+ka3)+c2(a2+la3)=0
重新写一下就得到a1,a2,a3的非零线性组合,矛盾
非充分:举一个例子就行,比如
a1=[1,0,0]
a2=[0,1,0]
a3=[0,0,0]
必要性:(反证)如果某组k,l使得a1+ka3,a2+la3线性相关
由定义,存在非零常数c1,c2使得c1(a1+ka3)+c2(a2+la3)=0
重新写一下就得到a1,a2,a3的非零线性组合,矛盾
非充分:举一个例子就行,比如
a1=[1,0,0]
a2=[0,1,0]
a3=[0,0,0]