数列的单调有界和极限值

设数列{an},满足a1=a,a>0;an+1=½（an+2/an）,证明极限存在并求其值。
首先极限存在一定是收敛的（数列收敛的基本性质）

1.唯一性，极限具有唯一性
2.有界性，收敛数列有界
3.保号性，号，指的是<>号，有时候根据有界性对算出的极限进行保号，有的地方也说保序。

根据此题我们可以分为以下几步骤：

1.	证明极限存在的两个原则（单调和有界）==》单调有界必有极限。
2.	确定极限，在求其值

======================
1.证明极限存在

1.1证明有界
		a>0，显然an>0
		根据不等式a+b/2>=√a*b==> 
		an+1=½(an+2/an)>=√an*2/an
		>=√2
		故an>=√2，根据数列推论{an}中an>=某数，则liman >=某数 ，则{an}极限下界为>=√2。
										   n->无穷
1.2证明单调
		利用坐差法，后巷减去前项  
		an+1-an==>
		½（an+2/an）-an==>
		½an+1/an-an==>
		½an-an+1/an==>
		-½an+1/an==>
		1/an-½an==>
		1/an-an/2==>
		2/2an-an²/2an==>
		2-an²/2an; 
		其中我们已知an>0并且an>=√2，
		故分母不为0，有意义，
		分子an>=√2，平方之后2-大于等于2的数将<=0
		故an+1-an<=0，则单调递减。
以上证明该数列的极限存在，求此数列极限值：
	  liman=A   将该极限带入表达式计算极限值得到：
	   n->无穷
		
	  A=½（A+2/A）==>
	  A=½A+1/A==>
	  1/A=½*A==>
	  ½*A²=1==>
	  A²=2
	  A=±√2；该值存在两个，根据极限保号性的规则我们得到：
	  A>=√2，则 liman==A ==√2
	  		   n->无穷