以方程x+y=5的解为坐标的所有点组成的过程