试证：坐标平面内的三点A,B,C共线的充要条件试存在三个均不为零的实数l,m,n,使lOA+mOB+nOC=0,且l+m+n=0

试证：坐标平面内的三点A,B,C共线的充要条件试存在三个均不为零的实数l,m,n,使lOA+mOB+nOC=0,且l+m+n=0
（一）充分性
∵l+m+n=0
∴l=-m-n
∴lOA+mOB+nOC=(-m-n)OA+mOB+nOC
=m(OB-OA)+n(OC-OA)=mAB+nAC=0
得AB=(-n/m)AC
∴ 三点A,B,C共线
二.(必要性）
∵三点A,B,C共线
∴存在两个均不为0的实数m,n使得
AB=(-n/m)AC
即mAB+nAC=0
得m(OB-OA)+n(OC-OA)=0
(-m-n)OA+mOB+nOC=0
令l=-m-n
得lOA+mOB+nOC=0
所以坐标平面内的三点A,B,C共线的充要条件是存在三个均不为0的实数l,m,n,使lOA+mOB+nOC=0,(OA,OB,OC均为向量,l,m,n和向量是乘的关系）且l+m+n=0.
疑问：充分性和必要性是什么,为什么要先证充分性