点P1(x1,y1)、P2(x2,y2)是正比例函数y=-4x图像上的两点,且x1