>>17
俺は質問するくらいのレベルの人なら示せそうだと思うことは
どんどん省略する
そんな答え方が気に喰わないならコテをつけたからどうぞ、スルーしてくれw

>>14
>>18
a_nは無理数であり、またa_n=ka_m(k有理数,m=nでない)とは書けない(すぐ示せる有名)＊

a_n=(a_(n-1)までの仮定した形)/((a_(n-1)までの仮定した形)
右辺の分母を有理化すると
a_n=(a_(n-1)までの仮定した形)とかける
また、＊より右辺は2つ以上の項が存在しなければならない
このとき、右辺を二乗して√がすべて消えることはありえない。

つまり形式的には
0+0√2+・・・=0の形になることはない。