xy+z=yz+7x=zx−y
xy+z=yz+7x から y(y+z)=x(z+7x) y2+yz−xz−7x2=0 ①
yz+7x=zx−y から z(z+7x)=y(x−y) z2+7xz−xy+y2=0 ②
xy+z=zx−y から z(y+z)=x(x−y) yz+z2−x2+xy=0 ③
①-②は
yz−8xz−7x2−z2+xy=0 y(x+z)−(7x2+8xz+z2)=0
y(x+z)−(7x+z)(x+z)=0 (x+z)(y−7x−z)=0
これから x=−z、y−7x−z=0
x=−zを①に代入すると
y2+yz−6z2=0 (y+3z)(y−2z)=0 ∴解の1つとしてy=−3z=3xがある
これから y=3k,z=−k,x=k (kは整数)
例としてk=1のとき y=3,z=−1,x=1 から与式は
13−1=3−1+7=−11−3=2 よって成り立つ
またy−7x−z=0を①に代入すると
(7x+z)2+(7x+z)z−xz−7x2=0
(3x+z)(7x+z)=0 z=−3x z=−7x
z=−3xを①に代入すると
y=4x となり 4z=−12x=−3yの関係となる これからx=k,y=4k,z=−3k (kは整数)
例としてk=1のとき x=1,y=4,z=−3 から与式は
14−3=4−3+7=−31−4=1 よって成り立つ