1。
显然有un=u(n+1)^2+u(n+2)^21。
显然有un=u(n+1)^2+u(n+2)^2+。。。≥0,(n=0,1,2,3。。。)
Lim{n→∞}un=0。
un或都是0或不都是0。
2。
f(x)=x-1-lnx,x≥1
==>
f'(x)=1-1/x≥0
==>
x>1,f(x)>f(1)=0
==>
x-1>lnx
3。
反证法:设un>0。
un-u(n+1)=[u(n+1)^2+u(n+2)^2+。。。]-[u(n+2)^2+u(n+3)^2+。。。]=u(n+1)^2
==>
u(n+1)=[un-u(n+1)]/u(n+1)=un/u(n+1)-1 (n=0,1,2,3。
。。)
≥ ln[un/u(n+1)]
==>
u1+u2+。。。+u(n+1)≥ln[u0/u1]+ln[u1/u1]+。。。+ln[un/u(n+1)]=
=ln(u0)-ln(u(n+1))
Lim{n→∞}[ln(u0)-ln(u(n+1))]=+∞
==>
u1+u2+。
。。≥+∞
和u1+u2+。。。收敛矛盾。
所以un都是0。
。