>422
a=1のときにyが無理数のときはx,y,zが整数比となるならばyが有理数のときに整数比となる
だからa=1のときにyが無理数のときx,y,zが整数比とならないことは
おまえは証明していない

(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数）