המספר e: הבדלים בין גרסאות בדף

מתוך Math-Wiki
אין תקציר עריכה
אין תקציר עריכה
שורה 2: שורה 2:


==המספר e==
==המספר e==
לסדרה <math>a_n=\left(1+\frac{1}{n}\right)^n</math> יש גבול ממשי (כפי שמוכח בהמשך). '''אנו מגדירים את המספר e''' להיות גבול הסדרה הזו.
לסדרה <math>a_n=\left(1+\dfrac1n\right)^n</math> יש גבול ממשי (כפי שמוכח בהמשך). '''אנו מגדירים את המספר e''' להיות גבול הסדרה הזו.


::<math>e:=\lim\limits_{n\to\infty}\left(1+\frac{1}{n}\right)^n</math>
::<math>e:=\lim\limits_{n\to\infty}\left(1+\dfrac1n\right)^n</math>


'''משפט.''' תהי <math>a_n</math> סדרה כלשהי המתכנסת במובן הרחב לאינסוף, אזי <math>e=\lim\limits_{n\to\infty}\left(1+\frac{1}{a_n}\right)^{a_n}</math>
'''משפט.''' תהי <math>a_n</math> סדרה כלשהי המתכנסת במובן הרחב לאינסוף, אזי <math>e=\lim\limits_{n\to\infty}\left(1+\dfrac1{a_n}\right)^{a_n}</math>


'''משפט.''' תהי <math>a_n</math> סדרה כלשהי המתכנסת במובן הרחב לאינסוף, ותהי <math>b_n</math> סדרה המתכנסת (במובן הצר, או במובן הרחב) לגבול L. אזי <math>e^L=\lim\limits_{n\to\infty}\left(1+\frac{1}{a_n}\right)^{a_n\cdot b_n}</math>
'''משפט.''' תהי <math>a_n</math> סדרה כלשהי המתכנסת במובן הרחב לאינסוף, ותהי <math>b_n</math> סדרה המתכנסת (במובן הצר, או במובן הרחב) לגבול <math>L</math> . אזי <math>e^L=\lim\limits_{n\to\infty}\left(1+\dfrac1{a_n}\right)^{a_n\cdot b_n}</math>




<font size=4 color=#a7adcd>'''תרגיל.'''</font>
<font size=4 color=#a7adcd>'''תרגיל.'''</font>


חשב את גבול הסדרה <math>a_n=\left(1-\frac{1}{n}\right)^n</math>
חשב את גבול הסדרה <math>a_n=\left(1-\dfrac1n\right)^n</math>




'''פתרון.''' נפתח את הסדרה על מנת לקבל ביטוי מהצורה של המשפט למעלה.
;פתרון
נפתח את הסדרה על מנת לקבל ביטוי מהצורה של המשפט למעלה.


:<math>\begin{align}\left(1-\frac1n\right)^n&=\left(\frac{n-1}{n}\right)^n=\left(\left(\frac{n}{n-1}\right)^{-1}\right)^n\\
&=\left(1+\frac1{n-1}\right)^{-n}=\left(1+\frac1{n-1}\right)^{(n-1)\frac{-n}{n-1}}\end{align}</math>


:<math>\left(1-\frac{1}{n}\right)^n=\left(\frac{n-1}{n}\right)^n=\left(\left(\frac{n}{n-1}\right)^{-1}\right)^n=</math>


כיון ש- <math>\dfrac{-n}{n-1}\to-1</math> אנו מקבלים כי


:<math>=\left(1+\frac{1}{n-1}\right)^{-n}=\left(1+\frac{1}{n-1}\right)^{(n-1)\frac{-n}{n-1}}</math>
<math>\lim\limits_{n\to\infty}\left(1-\dfrac1n\right)^n=e^{-1}=\frac1e</math>
 
 
כיון ש- <math>\frac{-n}{n-1}\to(-1)</math> אנו מקבלים כי
 
<math>\lim\limits_{n\to\infty}\left(1-\frac{1}{n}\right)^n=e^{-1}=\frac{1}{e}</math>


==תכונות==
==תכונות==
הסדרה <math>\left(1+\frac{1}{n}\right)^n</math> מתכנסת לגבול ממשי, וכמו כן לכל מספר טבעי n מתקיים כי:
הסדרה <math>\left(1+\dfrac1n\right)^n</math> מתכנסת לגבול ממשי, וכמו כן לכל מספר טבעי <math>n</math> מתקיים כי:
 
 
:<math>\left(1+\frac{1}{n}\right)^{n}<e<\left(1+\frac{1}{n}\right)^{n+1}</math>


:<math>\left(1+\dfrac1n\right)^n<e<\left(1+\dfrac1n\right)^{n+1}</math>


;הוכחה:
;הוכחה:
שורה 41: שורה 37:


מובן מאליו כי
מובן מאליו כי
 
:<math>\left(1+\dfrac1n\right)^n<\left(1+\dfrac1n\right)^{n+1}</math>
:<math>\left(1+\frac{1}{n}\right)^{n}<\left(1+\frac{1}{n}\right)^{n+1}</math>
 
אם כך, שתי הסדרות מונוטוניות וחסומות ולכן מתכנסות.
אם כך, שתי הסדרות מונוטוניות וחסומות ולכן מתכנסות.


כמו כן:
כמו כן:
 
:<math>\left(1+\dfrac1n\right)^{n+1}=\left(1+\dfrac1n\right)^n\cdot\left(1+\dfrac1n\right)\to e\cdot1</math>
:<math>\left(1+\frac{1}{n}\right)^{n+1}=\left(1+\frac{1}{n}\right)^n\cdot\left(1+\frac{1}{n}\right)\to e\cdot1</math>


וביחד אנו מקבלים את מה שרצינו להוכיח, כיוון שסדרה מונוטונית עולה תמיד קטנה מגבולה, וסדרה מונוטונית יורדת גדולה מגבולה.
וביחד אנו מקבלים את מה שרצינו להוכיח, כיוון שסדרה מונוטונית עולה תמיד קטנה מגבולה, וסדרה מונוטונית יורדת גדולה מגבולה.
שורה 56: שורה 49:


נסמן
נסמן
 
:<math>a_n=\left(1+\dfrac1n\right)^{n+1}</math>
:<math>a_n=\left(1+\frac{1}{n}\right)^{n+1}</math>
 
רוצים להוכיח
רוצים להוכיח
:<math>a_{n+1}<a_n</math>
:<math>a_{n+1}<a_n</math>
כלומר
כלומר
 
:<math>\left(1+\dfrac1{n+1}\right)^{n+2}<\left(1+\dfrac1n\right)^{n+1}</math>
:<math>\left(1+\frac{1}{n+1}\right)^{n+2}<\left(1+\frac{1}{n}\right)^{n+1}</math>
 
נפתח את אי-השוויון:
נפתח את אי-השוויון:


:<math>\left(1+\frac{1}{n+1}\right)\left(1+\frac{1}{n+1}\right)^{n+1}<\left(1+\frac{1}{n}\right)^{n+1}</math>
:<math>\left(1+\dfrac1{n+1}\right)\left(1+\dfrac1{n+1}\right)^{n+1}<\left(1+\dfrac1n\right)^{n+1}</math>


:<math>\left(1+\frac{1}{n+1}\right)<\left(\frac{1+\frac{1}{n}}{1+\frac{1}{n+1}}\right)^{n+1}=\left(\frac{(n+1)^2}{n(n+2)}\right)^{n+1}=\left(1+\frac{1}{n(n+2)}\right)^{n+1}</math>
:<math>\left(1+\dfrac1{n+1}\right)<\left(\frac{1+\frac1n}{1+\frac1{n+1}}\right)^{n+1}=\left(\dfrac{(n+1)^2}{n(n+2)}\right)^{n+1}=\left(1+\dfrac1{n(n+2)}\right)^{n+1}</math>




כעת נשים לב כי לפי פיתוח הבינום של ניוטון מתקיים:
כעת נשים לב כי לפי פיתוח הבינום של ניוטון מתקיים:
 
:<math>\left(1+\dfrac1{n(n+2)}\right)^{n+1}=1+\dfrac{n+1}{n(n+2)}+\cdots>1+\dfrac{n+1}{n(n+2)}</math>
:<math>\left(1+\frac{1}{n(n+2)}\right)^{n+1}=1+\frac{n+1}{n(n+2)}+\cdots>1+\frac{n+1}{n(n+2)}</math>
 
לכן מספיק להוכיח כי
לכן מספיק להוכיח כי
 
:<math>1+\dfrac1{n+1}<1+\dfrac{n+1}{n(n+2)}</math>
:<math>1+\frac{1}{n+1}<1+\frac{n+1}{n(n+2)}</math>
 
אבל קל לראות כי אי שיוויון זה מתקיים תמיד:
אבל קל לראות כי אי שיוויון זה מתקיים תמיד:
 
:<math>1<\dfrac{(n+1)^2}{n(n+2)}=\dfrac{n^2+2n+1}{n^2+2n}</math>
:<math>1<\frac{(n+1)^2}{n(n+2)}=\frac{n^2+2n+1}{n^2+2n}</math>


==דוגמאות==
==דוגמאות==
<font size=4 color=#a7adcd>'''תרגיל.'''</font>
<font size=4 color=#a7adcd>'''תרגיל.'''</font>


מצא את גבול הסדרה <math>\lim\limits_{n\to\infty}\frac{n}{\sqrt[n]{n!}}</math>
מצא את גבול הסדרה <math>\lim\limits_{n\to\infty}\dfrac{n}{\sqrt[n]{n!}}</math>


:<math>\frac{n}{\sqrt[n]{n!}}=\sqrt[n]{\frac{n^n}{n!}}</math>
:<math>\dfrac{n}{\sqrt[n]{n!}}=\sqrt[n]{\dfrac{n^n}{n!}}</math>


לכן לפי משפט אם <math>\frac{a_{n+1}}{a_n}\to L</math> אזי גם <math>\sqrt[n]{a_n}\to L</math> .
לכן לפי משפט אם <math>\dfrac{a_{n+1}}{a_n}\to L</math> אזי גם <math>\sqrt[n]{a_n}\to L</math> .


לכן הגבול הנו:
לכן הגבול הנו:
 
:<math>\lim\limits_{n\to\infty}\dfrac{(n+1)^{n+1}n!}{n^n(n+1)!}=\lim\limits_{n\to\infty}\dfrac{(n+1)^{n}}{n^n}=e</math>
:<math>\lim\limits_{n\to\infty}\frac{(n+1)^{n+1}n!}{n^n(n+1)!}=\lim\limits_{n\to\infty}\frac{(n+1)^{n}}{n^n}=e</math>

גרסה מ־16:55, 11 בפברואר 2017

חזרה לסדרות

המספר e

לסדרה [math]\displaystyle{ a_n=\left(1+\dfrac1n\right)^n }[/math] יש גבול ממשי (כפי שמוכח בהמשך). אנו מגדירים את המספר e להיות גבול הסדרה הזו.

[math]\displaystyle{ e:=\lim\limits_{n\to\infty}\left(1+\dfrac1n\right)^n }[/math]

משפט. תהי [math]\displaystyle{ a_n }[/math] סדרה כלשהי המתכנסת במובן הרחב לאינסוף, אזי [math]\displaystyle{ e=\lim\limits_{n\to\infty}\left(1+\dfrac1{a_n}\right)^{a_n} }[/math]

משפט. תהי [math]\displaystyle{ a_n }[/math] סדרה כלשהי המתכנסת במובן הרחב לאינסוף, ותהי [math]\displaystyle{ b_n }[/math] סדרה המתכנסת (במובן הצר, או במובן הרחב) לגבול [math]\displaystyle{ L }[/math] . אזי [math]\displaystyle{ e^L=\lim\limits_{n\to\infty}\left(1+\dfrac1{a_n}\right)^{a_n\cdot b_n} }[/math]


תרגיל.

חשב את גבול הסדרה [math]\displaystyle{ a_n=\left(1-\dfrac1n\right)^n }[/math]


פתרון

נפתח את הסדרה על מנת לקבל ביטוי מהצורה של המשפט למעלה.

[math]\displaystyle{ \begin{align}\left(1-\frac1n\right)^n&=\left(\frac{n-1}{n}\right)^n=\left(\left(\frac{n}{n-1}\right)^{-1}\right)^n\\ &=\left(1+\frac1{n-1}\right)^{-n}=\left(1+\frac1{n-1}\right)^{(n-1)\frac{-n}{n-1}}\end{align} }[/math]


כיון ש- [math]\displaystyle{ \dfrac{-n}{n-1}\to-1 }[/math] אנו מקבלים כי

[math]\displaystyle{ \lim\limits_{n\to\infty}\left(1-\dfrac1n\right)^n=e^{-1}=\frac1e }[/math]

תכונות

הסדרה [math]\displaystyle{ \left(1+\dfrac1n\right)^n }[/math] מתכנסת לגבול ממשי, וכמו כן לכל מספר טבעי [math]\displaystyle{ n }[/math] מתקיים כי:

[math]\displaystyle{ \left(1+\dfrac1n\right)^n\lt e\lt \left(1+\dfrac1n\right)^{n+1} }[/math]
הוכחה

אפשר להוכיח כי הסדרה השמאלית מונוטונית עולה, ונוכיח כי הסדרה הימנית מונוטונית יורדת.

מובן מאליו כי

[math]\displaystyle{ \left(1+\dfrac1n\right)^n\lt \left(1+\dfrac1n\right)^{n+1} }[/math]

אם כך, שתי הסדרות מונוטוניות וחסומות ולכן מתכנסות.

כמו כן:

[math]\displaystyle{ \left(1+\dfrac1n\right)^{n+1}=\left(1+\dfrac1n\right)^n\cdot\left(1+\dfrac1n\right)\to e\cdot1 }[/math]

וביחד אנו מקבלים את מה שרצינו להוכיח, כיוון שסדרה מונוטונית עולה תמיד קטנה מגבולה, וסדרה מונוטונית יורדת גדולה מגבולה.


נוכיח כי הסדרה הימנית מונוטונית יורדת:

נסמן

[math]\displaystyle{ a_n=\left(1+\dfrac1n\right)^{n+1} }[/math]

רוצים להוכיח

[math]\displaystyle{ a_{n+1}\lt a_n }[/math]

כלומר

[math]\displaystyle{ \left(1+\dfrac1{n+1}\right)^{n+2}\lt \left(1+\dfrac1n\right)^{n+1} }[/math]

נפתח את אי-השוויון:

[math]\displaystyle{ \left(1+\dfrac1{n+1}\right)\left(1+\dfrac1{n+1}\right)^{n+1}\lt \left(1+\dfrac1n\right)^{n+1} }[/math]
[math]\displaystyle{ \left(1+\dfrac1{n+1}\right)\lt \left(\frac{1+\frac1n}{1+\frac1{n+1}}\right)^{n+1}=\left(\dfrac{(n+1)^2}{n(n+2)}\right)^{n+1}=\left(1+\dfrac1{n(n+2)}\right)^{n+1} }[/math]


כעת נשים לב כי לפי פיתוח הבינום של ניוטון מתקיים:

[math]\displaystyle{ \left(1+\dfrac1{n(n+2)}\right)^{n+1}=1+\dfrac{n+1}{n(n+2)}+\cdots\gt 1+\dfrac{n+1}{n(n+2)} }[/math]

לכן מספיק להוכיח כי

[math]\displaystyle{ 1+\dfrac1{n+1}\lt 1+\dfrac{n+1}{n(n+2)} }[/math]

אבל קל לראות כי אי שיוויון זה מתקיים תמיד:

[math]\displaystyle{ 1\lt \dfrac{(n+1)^2}{n(n+2)}=\dfrac{n^2+2n+1}{n^2+2n} }[/math]

דוגמאות

תרגיל.

מצא את גבול הסדרה [math]\displaystyle{ \lim\limits_{n\to\infty}\dfrac{n}{\sqrt[n]{n!}} }[/math]

[math]\displaystyle{ \dfrac{n}{\sqrt[n]{n!}}=\sqrt[n]{\dfrac{n^n}{n!}} }[/math]

לכן לפי משפט אם [math]\displaystyle{ \dfrac{a_{n+1}}{a_n}\to L }[/math] אזי גם [math]\displaystyle{ \sqrt[n]{a_n}\to L }[/math] .

לכן הגבול הנו:

[math]\displaystyle{ \lim\limits_{n\to\infty}\dfrac{(n+1)^{n+1}n!}{n^n(n+1)!}=\lim\limits_{n\to\infty}\dfrac{(n+1)^{n}}{n^n}=e }[/math]