> rが無理数の場合は、x,y,zは整数比とならない。

これがいえるのは、
x^p+y^p=(x+r)^pの場合です。