点P1(x1,y1),点P2(x2,y2)是一次函数y=-4x+3图像上的两个点,且x1