>112
> (3)(4)の解の比は同じなので、(4)のrが有理数でも
は使えないだろ

「(3)のx,yが共に有理数ではない」ならば、解になります。