>746
「(3) に整数比の無理数解があれば、 (3) に有理数解がある」
は関係ないのでは?(>>712

論点が、よくわかりません。