简单的向量证明题OC=aOA+bOB ,a+b=1,证明A、B、C共线