>>722
つまり、x[n]の決め方は、
(1) 面積が2で横の長さがx[n]の長方形を描いて縦の長さを測る
(2) 横の長さと縦の長さの平均をx[n+1]とする
ということ。
示すべき事は、
(a) この操作でできる長方形が常に横長である
(b) この操作を施すたびに正方形に近づいていく
の2点。
具体的に言うと、
2< x[n+1]^2 < x[n]^2
を経由して示せば良い。