>183
自明でないのはrが無理数のときに
x=s*p^{1/(p-1)},y=t*p^{1/(p-1)},z=(s+1)*p^{1/(p-1)} (s,tは有理数)
が(3)を満たすかどうかということです

x=s、y=t、z=(s+1)は、(3)を満たしません。