因为向量P1P=∧PP2（P与P2不重合）
由定比分点公式,设P(x0,y0)
x0=(x1+∧x2)/(1+∧)
y0=(y1+∧y2)/(1+∧)
在直线上,有：
ax0+by0+c=0
a(x1+∧x2)+b(y1+∧y2)+c(1+∧)=0
ax1+by1+c=-∧(ax2+by2+c)
∧=-(ax1+by1+c)/(ax2+by2+c)得证
P在线段P1P2上,所以有∧大于0
直线为k(2x-3)+4-y=0
∧=-(k(2-3)+4-4)/(k(10-3)+4-1)
=k/(7k+3)>0
k0