>>569
後半については、>>478で言った通りまったくダメなままなんだが…

たとえばn=7だったら、√8-√7になって、無理数-無理数だよ。それを
「無理数-有理数」になると決め付けている時点でアウト。

>>466が示した背理法による証明の論理展開をもう一度たどりなおして
みて。あるいは、背理法そのものについての復習がひつようならそれをどうぞ。