反证法判断数列发散

判断数列发散有以下几种方法：

• 无界数列一定发散
• 有一个发散子列的数列一定发散
• 如果两个子列不收敛于同一个数列，那么这个数列发散
• 柯西收敛准则也是判定数列发散的充分必要条件

总的来说，就是先假定数列收敛，然后设其极限为A，然后导出矛盾即可

例1：证明数列 { sin ⁡ n } \{\sin n\} {sinn}发散。
证明：设存在$\underset{n\to \infty }{\lim }\sin n=a$，则有$\underset{n\to \infty }{\lim }(\sin (n+2)-\sin (n))=0$，由于$\sin (n+2)-\sin n=2\sin 1\cos (n+1)$，所以$\underset{n\to \infty }{\lim }\cos (n+1)=0$，由于$\cos (n+1)=\cos n\cos 1-\sin n\sin 1$，这又导出$\underset{n\to \infty }{\lim }\sin n=0$，但是这与恒等式${\sin }^{2}n+{\cos }^{2}n=1$矛盾。
补充：根据这个方法也可以证明 { tan ⁡ n } \{\tan n\} {tann}发散

例2：设$x_1=\frac{c}{2},x_{n+1}=\frac{c}{2}+\frac{x_n^2}{2},n\in {\mathbf{N}}_{+}$，证明：若$c>1$,则 { x n } \left\{x_{n}\right\} {xn​}发散
证明：若数列 { x n } \left\{x_{n}\right\} {xn​}收敛，假设其极限为A,根据递推式$x_{n+1}=\frac{c}{2}+\frac{x_n^2}{2}$，两边令$n\to \infty$，就可以得到：
$$A=\frac{c}{2}+\frac{A^2}{2}$$
易知上式在$c>1$时无实根。