>74
n≧3のとき(4)が有理数解を持つならば(3)も有理数解を持つ
は成り立たないので

成り立ちます。