216について、
「(2)についていえたのは有理数解がないことだけであって、
背理法で考えるならばX,Yは自然数なのでx=X/d,y=Y/dは無理数である。よって矛盾は生じない。」

よろしければ、この部分を詳しく説明して、いただけないでしょうか。
x^p+y^p=(x+p^{1/(p-1)}^pは、無理数解を持つ場合があるという意味でしょうか？