數列極限——課本例題與習題

用定義求極限1

  • 證:limnann!=0\lim\limits_{n\to\infty}\frac{a^n}{n!}=0

  • 記得對a分情況討論哦!
  • a=0a=0顯然成立
  • a0a\ne0時,有,k=[a]+1記k=[|a|]+1則有 ann!0=ann!=aa...a...a12...k...n\Big|\frac{a^n}{n!}-0\Big|=\frac{|a|^n}{n!}=\frac{|a|\cdot|a|\cdot...\cdot|a|\cdot...\cdot|a|}{1\cdot2\cdot...\cdot k\cdot...\cdot n} Kan\le K\frac{|a|}n
  • 其中K=aa...a12...kK=\frac{|a|\cdot|a|\cdot...\cdot|a|}{1\cdot2\cdot...\cdot k}
  • 因此,對ε>0\forall\varepsilon>0,取N=max{k,Kaε}N=\max\{k,\frac{K|a|}{\varepsilon}\},則當n>Nn>N時,就有ann!0Kan<ε\Big|\frac{a^n}{n!}-0\Big|\le K\frac{|a|}n<\varepsilon

用定義求極限2

證明limnan=1(a>0)\lim\limits_{n\to\infty}\sqrt[n]{a}=1(a>0)

  • 依然要分情況
  • a=1a=1時顯然
  • a>1a>1時,記αn=a1n1>0\alpha_n=a^{\frac 1n}-1>0,則有a=(1+αn)n1+nαn=1+n(a1n1)a=(1+\alpha_n)^n\ge1+n\alpha_n=1+n(a^{\frac 1n}-1) \Rightarrow a1n1a1na^{\frac 1n}-1\le\frac{}{}\frac{a-1}n所以對任意ε>0N=a1ε\varepsilon>0,只要讓N=\frac{a-1}{\varepsilon},則對所有n>Nn>N,有an1<ε|\sqrt[n]{a}-1|<\varepsilon

用定義求極限3

求數列{nn}\{\sqrt[n]n\}的極限

  • an=nn=1+hn,hn>0(n>1)a_n=\sqrt[n]n=1+h_n,h_n>0(n>1),則有n=(1+hn)n>n(n1)2hn2n=(1+h_n)^n>\frac{n(n-1)}{2}h_n^2 \Rightarrow 0<hn<2n10<h_n<\sqrt{\frac 2{n-1}}
  • 於是有1an<1+2n111\le a_n<1+\sqrt{\frac 2{n-1}}\to1

用定義求極限4

求證:limn1n!n=0\lim\limits_{n\to\infty}\frac1{\sqrt[n]{n!}}=0

  • 由題1可知,limnann!=0\lim\limits_{n\to\infty}\frac{a^n}{n!}=0於是對任意正數ε\varepsilon,由於limn(1ε)nn!=0\lim\limits_{n\to\infty}\frac{(\frac 1{\varepsilon})^n}{n!}=0於是N,n>N\exist N,n>N時,(1ε)nn!<1\frac{(\frac 1{\varepsilon})^n}{n!}<1 \Rightarrow 1n!n<ε\frac1{\sqrt[n]{n!}}<\varepsilon

這個題乍一看方法覺得有點技巧性太強,其實是可以有思路的:要證1n!n<ε\frac1{\sqrt[n]{n!}}<\varepsilon轉化一下就變成1n!<εn\frac 1{n!}<\varepsilon^n 於是變成了(1ε)nn!<1\frac{(\frac 1{\varepsilon})^n}{n!}<1的形式

用定義求極限5

求下列極限:

  • limn1234...2n12n\lim\limits_{n\to\infty}\frac12\cdot\frac34...\frac{2n-1}{2n}
  • limnp=1np!n!\lim\limits_{n\to\infty}\frac{\sum\limits_{p=1}^np!}{n!}
  • limn[(n+1)αnα],0<α<1\lim\limits_{n\to\infty}[(n+1)^{\alpha}-n^{\alpha}],0<\alpha<1
  • limn(1+α)(1+α2)...(1+α2n)\lim\limits_{n\to\infty}(1+\alpha)(1+\alpha^2)...(1+\alpha^{2^n})

  • (1)
    • 小技巧注意一下:2n=12(2n+1+2n1)(2n1)(2n+1)2n=\frac12(2n+1+2n-1)\ge\sqrt{(2n-1)(2n+1)}
    • 於是就有01234...2n12n1133350\le\frac12\cdot\frac34...\frac{2n-1}{2n}\le\frac1{\sqrt{1\cdot3}}\cdot\frac{3}{\sqrt{3 \cdot 5}} \ldots 2n1(2n1)(2n+1)=12n+10(n)\ldots\frac{2 n-1}{\sqrt{(2 n-1)(2 n+1)}}=\frac{1}{\sqrt{2 n+1}} \rightarrow 0(n \rightarrow \infty)
    • 所以極限爲0
  • (2)
    • p=1np!=1!+...+(n1)!+n!\sum\limits_{p=1}^np!=1!+...+(n-1)!+n! <n!+(n1)!+(n2)(n2)!<2(n1)!+n!<n!+(n-1)!+(n-2)(n-2)!<2(n-1)!+n!
    • 於是當n>2n>2時,1<p=1np!n!<2(n1)!n!+1=2n+11(n)1<\frac{\sum\limits_{p=1}^np!}{n!}<\frac{2(n-1) !}{n !}+1=\frac{2}{n}+1 \rightarrow 1(n \rightarrow \infty)
  • (3)
    • (1+n)α=(1+n)α1(1+n)nα1(1+n)(1+n)^{\alpha}=(1+n)^{\alpha-1}(1+n)\ge n^{\alpha-1}(1+n)
    • 於是有0<[(n+1)αnα]<nα10(n)0<[(n+1)^{\alpha}-n^{\alpha}]<n^{\alpha-1}\to0(n\to\infty)
  • (4)
    • 啊!這個題第一次沒做出來,其實仔細觀察一下就得到了,這些都是+,看着是不是想給它都消了,這種全是+而且還是平方和的加,應該首先就要想到平方差公式了,之後會發現這個像多米諾骨牌一樣全倒了!limn(1+α)(1+α2)(1+α2n)=limn1α4n1α=11α\lim _{n \rightarrow \infty}(1+\alpha)\left(1+\alpha^{2}\right) \cdots\left(1+\alpha^{2^{n}}\right)=\lim _{n \rightarrow \infty} \frac{1-\alpha^{4^n}}{1-\alpha}=\frac{1}{1-\alpha}

一個證明題

  • limnan=a\lim\limits_{n\to\infty}a_n=a
  • a>0,an>0a>0,a_n>0
  • 證:limnann=1\lim\limits_{n\to\infty}\sqrt[n]{a_n}=1

  • 由題2知,對任意a>0a>0都有limnan=1\lim\limits_{n\to\infty}\sqrt[n]{a}=1
  • 因爲limnan=a\lim\limits_{n\to\infty}a_n=a,取ε0=a2,N,n>N\varepsilon_0=\frac a2,則存在N,當n>N時,有 ana<a2a2<an<32a|a_n-a|<\frac a2\Rightarrow \frac a2<a_n<\frac 32a
  • 兩邊加個根號並求極限就出來了!

兩個證明題

  • an=1+12α+...+1nα(α>1)a_n=1+\frac1{2^{\alpha}}+...+\frac1{n^{\alpha}}(\alpha>1)證明:{an}\{a_n\}收斂

如果用單調有界定理,這個題關鍵在於怎麼放縮得到ana_n的界?這個方法也是讓人意想不到,措手不及

  • 遞增是肯定的了,接下來放縮,找的是a2na_{2n}來放!!奇奇怪怪又有點意思a2n=1+12α+...+1(2n)αa_{2n}=1+\frac1{2^{\alpha}}+...+\frac1{(2n)^{\alpha}}再拆成兩部分=(1+13α+...+1(2n1)α)+(12α+...+1(2n)α)=(1+\frac1{3^{\alpha}}+...+\frac1{(2n-1)^{\alpha}})+(\frac1{2^{\alpha}}+...+\frac1{(2n)^{\alpha}}) <(1+13α+...+1(2n+1)α)+(12α+...+1(2n)α)<(1+\frac1{3^{\alpha}}+...+\frac1{(2n+1)^{\alpha}})+(\frac1{2^{\alpha}}+...+\frac1{(2n)^{\alpha}}) <1+2an2α=1+an2α1>an<1+2\frac{a_n}{2^{\alpha}}=1+\frac{a_n}{2^{\alpha-1}}>a_n
  • 解出來就有an<1112α1a_n<\frac1{1-\frac1{2^{\alpha-1}}}

三個證明題

  • S爲有界數集
  • supS=aS\sup S=a\notin S
  • 證明:存在嚴格遞增數列{xn}S使\{x_n\}\subset S,使得 limnxn=a\lim\limits_{n\to\infty}x_n=a

  • 由於aSa是S的上確界,因此對任意ε>0xS使x>aε\varepsilon>0,都存在x\in S,使得x>a-\varepsilon
  • 又由於aS,x<aa\notin S,所以x<a,從而有aε<x<aa-\varepsilon<x<a
  • ε1=1,x1S滿\varepsilon_1=1,則存在x_1\in S,滿足 aε1<x1<aa-\varepsilon_1<x_1<a
  • ε2=min{12,ax1}\varepsilon_2=\min\{\frac12,a-x_1\},則存在x2x_2使得aε2<x2<aa-\varepsilon_2<x_2<a 並且有x1=a(ax1)<aε2<x2x_1=a-(a-x_1)<a-\varepsilon_2<x_2
  • 按上述方法一直取啊取得到xn1x_{n-1}後,取εn=min{1n,axn1},xn,\varepsilon_n=\min\{\frac1n,a-x_{n-1}\},\exist x_n, aεn<xn<aa-\varepsilon_n<x_n<a xn1<xnx_{n-1}<x_n
  • 得到數列{xn}S\{x_n\}\subset S,它是一個嚴格遞增數列,且滿足aεn<xn<a<a+εna-\varepsilon_n<x_n<a<a+\varepsilon_nxna<εn1n|x_n-a|<\varepsilon_n\le\frac1n得證

一個重要極限

  • 證明:極限limn(1+1n)n\lim\limits_{n\to\infty}(1+\frac1n)^n存在

  • 用單調有界,先證明其單調
    • 書上是通過將式子展開再放縮的,很麻煩,周老師說用基本不等式就可以做,我試了一下發現確實很簡單——an=(1+1n)n1((1+1n)n+1n+1)n+1a_n=(1+\frac1n)^n\cdot1\le(\frac{(1+\frac1n)\cdot n+1}{n+1})^{n+1} =(1+1n+1)n+1=an+1=(1+\frac1{n+1})^{n+1}=a_{n+1}
    • 但是後面求有界我沒想到簡便的方法,還是隻能將式子展開,即(1+1n)n=1+1+n(n1)21n2+...+n(n1)...(nk+1)k!1nk+...+1nn(1+\frac1n)^n=1+1+\frac{n(n-1)}2\cdot\frac1{n^2}+...+\frac{n(n-1)...(n-k+1)}{k!}\frac1{n^k}+...+\frac1{n^n} =2+12(11n)+...+1k!(11n)(12n)...(1k1n)+=2+\frac12(1-\frac1n)+...+\frac1{k!}(1-\frac1n)(1-\frac2n)...(1-\frac{k-1}n)+ +...+1n!(11n)(12n)...(1n1n)+...+\frac1{n!}(1-\frac1n)(1-\frac2n)...(1-\frac{n-1}n) <2+12+...+1n!<2+\frac12+...+\frac1{n!} <2+112+...+1n(n1)=31n<3<2+\frac1{1\cdot2}+...+\frac1{n(n-1)}=3-\frac1n<3

一個重要題型

  • c>0,x1=c,xn+1=c+xnc>0,x_1=\sqrt c,x_{n+1}=\sqrt{c+x_n}
  • 證明:limxn\lim x_n存在並求它

這類一個套一個的題,用單調有界就能解決它,一般思路是:

  • 直接在遞推式兩邊求極限,根據極限設置上下界
  • 求數列的增減性(注意數學歸納法在這類題中的應用)

  • 先看增減性:xn+1xn=c+xnc+xn1x_{n+1}-x_n=\sqrt{c+x_n}-\sqrt{c+x_{n-1}} =xnxn1(c+xn)(c+xn1)=\frac{x_n-x_{n-1}}{(\sqrt{c+x_n})(\sqrt{c+x_{n-1}})}
    • 數學歸納法:設{xn}\{x_n\}是單調遞增的,當k=2k=2時,x2x1=c+cc>0x_2-x_1=\sqrt{c+\sqrt c}-\sqrt{c}>0
    • k=nk=n時若xnxn1>0k=n+1x_n-x_{n-1}>0,則當k=n+1時也有…>0,故遞增
  • 求界:
    • 依然數學歸納法,x1=c<1+c,xn<1+cx_1=\sqrt c<1+\sqrt c,設x_n<1+\sqrt c,xn+1=c+xn<c+1+c<1+cx_{n+1}=\sqrt{c+x_n}<\sqrt{c+1+\sqrt c}<1+\sqrt c得證
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章