证明:
假设数列an收敛于实数A和实数B,其中A≠B,不妨假设A0,使得对于任意的n≥N,总有
|an-A|
|an-A|<(B-A)/2
即A-(B-A)/2
(3A-B)/2-B
3(A-B)/2
即|an-B|>|A-B|/2对于任意的n≥N成立。
因此存在一个e'=|A-B|/2>0,使得对于任意的N'>0,总会有更大的N''>N且N>N',使得
对于任意的n≥N'',总是不满足|an-B|
归谬完毕。
收敛数列必有界
因为E是任意的。如果我们假设a,b不相等,即a与b的差值不为0,则我们设|a-b|=t,(t不等于0)则我们一定能找到一个E满足0
数学分析第二章第六讲用二项展开式放缩证明极限