P1(x1,y1),P2(x2,y2)是正比例函数 Y=-1/2x图像上的两点,求y1,y2的数量关系