数列极限

posted
read
448 words · 2 min
tags
#math
contents

等差数列

an=a1+(n−1)da_{n}=a_{1}+(n-1)d Sn=n2(2a1+(n−1)d)=n2(a1+an)S_{n}=\frac{n}{2}(2a_{1}+(n-1)d)=\frac{n}{2}(a_{1}+a_{n})

等比数列

an=a1rn−1a_{n}=a_{1}r^{n-1} Sn={na1,r=1a1(1−rn)1−r,r≠1S_{n}= \begin{cases} na_{1}, &r=1\\ \frac{a_{1}(1-r^n)}{1-r}, &r\neq 1 \end{cases}

常见数列前n项和

∑k=1nk=1+2+3+⋯+n=n(n+1)2\sum^{n}_{k=1}k=1+2+3+\dots+n=\frac{n(n+1)}{2} ∑k=1nk2=12+22+32+⋯+n2=n(n+1)(2n+1)6\sum^{n}_{k=1}k^2=1^2+2^2+3^2+\dots+n^2=\frac{n(n+1)(2n+1)}{6} ∑k=1n1k(k+1)=11×2+12×3+13×4+⋯+1n(n+1)=nn+1\sum^{n}_ {k=1} \frac{1}{k(k+1)}=\frac{1}{1\times2}+\frac{1}{2\times 3}+\frac{1}{3 \times 4}+\dots+\frac{1}{n(n+1)}=\frac{n}{n+1}

重要数列,单调递增:

lim⁡n→∞(1+1n)n=e\lim_{ n \to \infty } \left( 1+\frac{1}{n} \right)^n=e

算术平均值大于集合平均值

a+b2≥ab\frac{a+b}{2}\geq \sqrt{ ab }
  • 原数列收敛,子列也收敛
  • 子列发散,原数列发散
  • 两子列收敛到不同极限,原数列发散
lim⁡n→∞an=0⇔lim⁡n→∞∣an∣=0\lim_{ n \to \infty } a_{n}= 0 \Leftrightarrow \lim_{ n \to \infty } |a_{n}|= 0 lim⁡x→x0f(x)=A⇒lim⁡x→x0∣f(x)∣=∣A∣\lim_{ x \to x_{0} } f(x) =A \Rightarrow \lim_{ x \to x_{0} } |f(x)|=|A|

反向一般不成立:例如 f(x)=−1f(x)=-1、A=1A=1。当 A=0A=0 时,两者等价;当 A≠0A\neq0 时,若去心邻域内 f(x)f(x) 与 AA 同号,反向也成立。

脱帽法

lim⁡n→∞xn>a⇒xn>a\lim_{ n \to \infty } x_{n}>a \Rightarrow x_{n}>a

戴帽法

xn≥a⇒lim⁡n→∞xn≥ax_{n}\geq a \Rightarrow \lim_{ n \to \infty } x_{n}\geq a

和差化积

sin⁡α+sin⁡β=2sin⁡α+β2cos⁡α−β2\sin \alpha +\sin \beta=2\sin\frac{\alpha+\beta}{2}\cos \frac{\alpha-\beta}{2} sin⁡α−sin⁡β=2sin⁡α−β2cos⁡α+β2\sin \alpha -\sin \beta=2\sin\frac{\alpha-\beta}{2}\cos \frac{\alpha+\beta}{2} cos⁡α+cos⁡β=2cos⁡α+β2cos⁡α−β2\cos \alpha +\cos \beta=2\cos\frac{\alpha+\beta}{2}\cos \frac{\alpha-\beta}{2} cos⁡α−cos⁡β=−2sin⁡α+β2sin⁡α−β2\cos \alpha -\cos \beta=-2\sin\frac{\alpha+\beta}{2}\sin \frac{\alpha-\beta}{2}

正余弦公式

sin⁡(α±β)=sin⁡αcos⁡β±cos⁡αsin⁡β\sin(\alpha\pm \beta)=\sin \alpha \cos \beta \pm \cos \alpha \sin \beta cos⁡(α+β)=cos⁡αcos⁡β∓sin⁡αsin⁡β\cos(\alpha+\beta)=\cos \alpha \cos \beta \mp \sin \alpha \sin \beta tan⁡(α±β)=tan⁡α±tan⁡β1∓tan⁡αtan⁡β\tan(\alpha\pm \beta)=\frac{\tan \alpha \pm \tan \beta}{1\mp \tan \alpha \tan \beta}

海涅定理(归结原则)

∃lim⁡x→x0f(x)=A⇔∀xn∃lim⁡xn→x0f(xn)=A\exists \lim_{ x \to x_{0} } f(x)=A \Leftrightarrow \forall x_{n} \exists \lim_{ x_{n} \to x_{0} }f(x_{n})=A

夹逼准则

n⋅umin⁡≤∑i=1nui≤n⋅umax⁡n \cdot u_{\min}\leq \sum^{n}_{i=1}u_{i}\leq n\cdot u_{\max} 1⋅umax⁡≤∑i=1nui≤n⋅umax1\cdot u_{\max}\leq \sum^{n}_{i=1}u_{i}\leq n\cdot u_{max} lim⁡n→∞n1n=e0=1\lim_{ n \to \infty }n^ \frac{1}{n}=e^0 =1 lim⁡n→∞∑i=1mainn=max⁡{am}\lim_{ n \to \infty } \sqrt[n]{\sum^{m}_{i=1}a_{i}^n}=\max \{a_{m}\} 0<a<b⇔0<1b<1a, lim⁡n→∞(a−n+b−n)1n=1a0<a<b \Leftrightarrow 0<\frac{1}{b} <\frac{1}{a} ,\ \lim_{ n \to \infty } (a^{-n}+b^{-n})^ \frac{1}{n}=\frac{1}{a} ∣a±b∣≤∣a∣+∣b∣|a\pm b|\leq|a|+|b| ∣a1±a2±a3±⋯±an∣≤∣a1∣+∣a2∣+⋯+∣an∣|a_{1}\pm a_{2}\pm a_{3}\pm\dots\pm a_{n}|\leq|a_{1}|+|a_{2}|+\dots+|a_{n}| ∣∣a∣−∣b∣∣≤∣a−b∣||a|-|b||\leq |a-b| ab≤a+b2≤a2+b22, (a,b≥0)\sqrt{ ab }\leq \frac{a+b}{2}\leq \sqrt{ \frac{a^2 +b^2}{2}}, \ (a,b\geq 0) ∣ab∣≤a2+b22|ab|\leq \frac{a^2+b^2}{2} unn=un⋅1n≤un2+1n22, un>0\frac{u_{n}}{n}=u_{n} \cdot \frac{1}{n}\leq \frac{u_{n}^2 +\frac{1}{n}^2}{2}, \ u_{n} > 0 abc3≤a+b+c3≤a2+b2+c23, (a,b,c≥0)\sqrt[3]{ abc }\leq \frac{a+b+c}{3}\leq \sqrt{ \frac{a^2 +b^2+c^2}{3}}, \ (a,b,c\geq 0) a≥b≥0, am≥bm(m>0), am≤bm(m<0)a\geq b\geq 0, \ a^m\geq b^m(m>0), \ a^m\leq b^m(m<0) 0<a<x<b, 0<c<y<d ⇒cb<yx<da0<a<x<b, \ 0<c<y<d \ \Rightarrow \frac{c}{b}< \frac{y}{ x} < \frac{d}{a} sin⁡x<x<tan⁡x(0<x<π2)\sin x < x < \tan x \left( 0< x < \frac{\pi}{2} \right) sin⁡x<x(x>0)\sin x<x(x>0) x<tan⁡x<4πxx<\tan x< \frac{4}{\pi}x sin⁡x>2πx\sin x> \frac{2}{\pi}x arctan⁡x<x<arcsin⁡x\arctan x < x< \arcsin x ex≥x+1e^x\geq x+1 ln⁡x<x−1\ln x < x -1 11+x<ln⁡(1+1x)<1x\frac{1}{1+x}<\ln\left( 1+ \frac{1}{x} \right)< \frac{1}{x} x1+x<ln⁡(1+x)<x\frac{x}{1+x}<\ln(1+x)<x

压缩映射

0≤∣xn+1−a∣≤k∣xn−a∣0\leq |x_{n+1}-a|\leq k|x_{n}-a|

单调有界必有极限

xx+1−xn>or<0, xn+1xn>or<1x_{x+1}-x_{n}> o r <0, \ \frac{x_{n+1}}{x_{n}}> or <1

在区间 II 上可导,且以下导数符号对所有 x∈Ix\in I 成立时:

f′(x)>0⇒f(x) 在 I 上严格递增f'(x)>0 \Rightarrow f(x) \text{ 在 } I \text{ 上严格递增} f′(x)<0⇒f(x) 在 I 上严格递减f'(x)<0 \Rightarrow f(x) \text{ 在 } I \text{ 上严格递减}