>>427
(有理数+p^{1/(p-1)})^pはいつでも無理数ですか？

これは常に無理数となる。
この部分は日高の主張は正しい。
なぜならば，pが奇素数なのでp-1は偶数となる。したがって二項定理により展開すれば，pの次数がk/(p-1)=1/2となる項がただ一つだけ生じる。
この√pは他の展開した項で打ち消せないので，(有理数+p^{1/(p-1)})^pは無理数となる。

もちろん>>426に問題がないわけではない。
ともに有理数とはならないというのは正しいが，ともに無理数とはならない，という証明になっていない。
つまり，このままでは証明は先に進めることはできない。
そして，この部分が決定的に間違っている。