たとえば
x^2+y^2=(x+2)^2…(3)
x,y,zが1:2:3になる解はありません。これは、x、y、zに有理数の解がないことの証明になりません。解の比が違うから。