设点OAB是不共线的三点,求证:对于直线AB上的任意一点P,有实数mn,且m+n=1,使向量OP=m向量OA+n向量OB