小明在求同一坐标轴上两点间的距离时发现，对于平面直角坐标系内任意两点P₁（x₁ ， y₁），P₂（x₂ ， y₂），可通过构造直角三角形利用图1得到结论：P₁P₂= 他还利用图2证明了线段P₁P₂的中点P（x，y）P的坐标公式：x= ，y= ．