有理数解を a/b (a,b は互いに素な整数、b>0) とすると、
a^n=b*整数, ゆえ、b=1 でなければならない。