>676
>(1)の無理数解(R, S, T)の無理数部分を落としたものは、
(r, s, t)になるので、  (a^{1/(p-1)}倍と同じに、)
『(2)の』有理数解になります。

その通りだと、思います。