>359
自然数A,B,Cに対しA^p+B^p=C^pを考えています。だからC/Aは有理数。
君は(3)でこれが無理数になる場合を考えています。

pが、奇素数の場合は、どうでしょうか?