>364
たとえばn=3のとき(3)においてx=√3/(9^(1/3)-1),y=2√3/(9^(1/3)-1)
とおくとx,yは有理数でないが比x:y=1:2は整数比である
このときx=1,y=2を解に持つような(4)が存在する

(4)は、x,y,zを有理数とすると、成立しないので、
x=1,y=2を解に持つような(4)は、存在しません。