高数 无穷级数a1=2,an+1=1/2(an+1/an),求lim(n趋近于无穷)an存在。求证∑(1到n)[(an+