准则II:单调有界的数列必有极限 有界 若∃ M>0,∀ n,∣an∣<M,{an}\exists\ M>0, \forall\ n, \vert a_{n}\vert<M, \{a_{n}\}∃ M>0,∀ n,∣an∣<M,{an}有界 若∃ M1>0,∀ n,an≥M1,{an}\exists\ M_{1}>0, \forall\ n, a_{n}\ge M_{1}, \{a_{n}\}∃ M1>0,∀ n,an≥M1,{an}有下界;若∃ M2>0,∀ n,an≤M2,{an}\exists\ M_{2}>0, \forall\ n, a_{n}\le M_{2}, \{a_{n}\}∃ M2>0,∀ n,an≤M2,{an}有上界 {an}\{a_n\}{an}有界 ⇔\Leftrightarrow⇔ {an}\{a_n\}{an} 有上下界 an{a_n}an 单调递增{无上界 ⇒ limn→∞an=+∞an≤M ⇒ limn→∞an∃\begin{cases}\text{无上界 }\Rightarrow\ \lim_{n\to\infty}a_{n}=+\infty\\ a_{n}\le M\ \Rightarrow\ \lim_{n\to\infty}a_{n} \exists\end{cases}{无上界 ⇒ limn→∞an=+∞an≤M ⇒ limn→∞an∃ an{a_n}an 单调递减{无下界 ⇒ limn→∞an=−∞an≥M ⇒ limn→∞an∃\begin{cases}\text{无下界 }\Rightarrow\ \lim_{n\to\infty}a_{n}=-\infty\\ a_{n}\ge M\ \Rightarrow\ \lim_{n\to\infty}a_{n} \exists\end{cases}{无下界 ⇒ limn→∞an=−∞an≥M ⇒ limn→∞an∃ 重要不等式 When x≥0,sinx≤x\color{#D0104C}\text{When }x\ge 0, \sin x\le xWhen x≥0,sinx≤x When x>0,ln(1+x)<x\color{#D0104C}\text{When }x > 0, \ln{(1+x)} < xWhen x>0,ln(1+x)<x
准则II:单调有界的数列必有极限
有界 若∃ M>0,∀ n,∣an∣<M,{an}\exists\ M>0, \forall\ n, \vert a_{n}\vert<M, \{a_{n}\}∃ M>0,∀ n,∣an∣<M,{an}有界 若∃ M1>0,∀ n,an≥M1,{an}\exists\ M_{1}>0, \forall\ n, a_{n}\ge M_{1}, \{a_{n}\}∃ M1>0,∀ n,an≥M1,{an}有下界;若∃ M2>0,∀ n,an≤M2,{an}\exists\ M_{2}>0, \forall\ n, a_{n}\le M_{2}, \{a_{n}\}∃ M2>0,∀ n,an≤M2,{an}有上界 {an}\{a_n\}{an}有界 ⇔\Leftrightarrow⇔ {an}\{a_n\}{an} 有上下界 an{a_n}an 单调递增{无上界 ⇒ limn→∞an=+∞an≤M ⇒ limn→∞an∃\begin{cases}\text{无上界 }\Rightarrow\ \lim_{n\to\infty}a_{n}=+\infty\\ a_{n}\le M\ \Rightarrow\ \lim_{n\to\infty}a_{n} \exists\end{cases}{无上界 ⇒ limn→∞an=+∞an≤M ⇒ limn→∞an∃ an{a_n}an 单调递减{无下界 ⇒ limn→∞an=−∞an≥M ⇒ limn→∞an∃\begin{cases}\text{无下界 }\Rightarrow\ \lim_{n\to\infty}a_{n}=-\infty\\ a_{n}\ge M\ \Rightarrow\ \lim_{n\to\infty}a_{n} \exists\end{cases}{无下界 ⇒ limn→∞an=−∞an≥M ⇒ limn→∞an∃ 重要不等式 When x≥0,sinx≤x\color{#D0104C}\text{When }x\ge 0, \sin x\le xWhen x≥0,sinx≤x When x>0,ln(1+x)<x\color{#D0104C}\text{When }x > 0, \ln{(1+x)} < xWhen x>0,ln(1+x)<x
有界
若∃ M>0,∀ n,∣an∣<M,{an}\exists\ M>0, \forall\ n, \vert a_{n}\vert<M, \{a_{n}\}∃ M>0,∀ n,∣an∣<M,{an}有界 若∃ M1>0,∀ n,an≥M1,{an}\exists\ M_{1}>0, \forall\ n, a_{n}\ge M_{1}, \{a_{n}\}∃ M1>0,∀ n,an≥M1,{an}有下界;若∃ M2>0,∀ n,an≤M2,{an}\exists\ M_{2}>0, \forall\ n, a_{n}\le M_{2}, \{a_{n}\}∃ M2>0,∀ n,an≤M2,{an}有上界 {an}\{a_n\}{an}有界 ⇔\Leftrightarrow⇔ {an}\{a_n\}{an} 有上下界
an{a_n}an 单调递增{无上界 ⇒ limn→∞an=+∞an≤M ⇒ limn→∞an∃\begin{cases}\text{无上界 }\Rightarrow\ \lim_{n\to\infty}a_{n}=+\infty\\ a_{n}\le M\ \Rightarrow\ \lim_{n\to\infty}a_{n} \exists\end{cases}{无上界 ⇒ limn→∞an=+∞an≤M ⇒ limn→∞an∃ an{a_n}an 单调递减{无下界 ⇒ limn→∞an=−∞an≥M ⇒ limn→∞an∃\begin{cases}\text{无下界 }\Rightarrow\ \lim_{n\to\infty}a_{n}=-\infty\\ a_{n}\ge M\ \Rightarrow\ \lim_{n\to\infty}a_{n} \exists\end{cases}{无下界 ⇒ limn→∞an=−∞an≥M ⇒ limn→∞an∃
重要不等式