>549
(3)の解のyが無理数である場合について、日高はまったく考察していない

その場合は、x,y,zが有理数の場合と同じとなります。