>>72
x+y=4 のとき xy=z^2+3
yを消去
x(4-x)=z^2+3 ⇔ -x^2+4x-3=z^2≧0
よって 1≦x≦3
線分 x+y=4 , 1≦x≦3