三角形P1OA,P2A1A2是等腰直角三角形,点P1,P2在函数y=4/x(x>0)的图像上,斜边OA,A1A2都在x轴