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

מתוך Math-Wiki
שורה 41: שורה 41:
'''הוכחה:'''
'''הוכחה:'''


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


מובן מאליו כי
מובן מאליו כי

גרסה מ־15:29, 16 בנובמבר 2014

חזרה לסדרות

המספר e

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

[math]\displaystyle{ e:=\lim\Big( 1+\frac{1}{n}\Big)^n }[/math]

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

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


תרגיל.

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


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


[math]\displaystyle{ \Big(1-\frac{1}{n}\Big)^n=\Big(\frac{n-1}{n}\Big)^n=\Big(\big(\frac{n}{n-1}\big)^{-1}\Big)^n= }[/math]


[math]\displaystyle{ =\Big(1+\frac{1}{n-1}\Big)^{-n}=\Big(1+\frac{1}{n-1}\Big)^{(n-1)\frac{-n}{n-1}} }[/math]


כיוון ש [math]\displaystyle{ \frac{-n}{n-1}\rightarrow (-1) }[/math] אנו מקבלים כי

[math]\displaystyle{ \Big(1-\frac{1}{n}\Big)^n\rightarrow e^{-1}=\frac{1}{e} }[/math]

תכונות

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


[math]\displaystyle{ \Big(1+\frac{1}{n}\Big)^{n}\lt e\lt \Big(1+\frac{1}{n}\Big)^{n+1} }[/math]


הוכחה:

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

מובן מאליו כי

[math]\displaystyle{ \Big(1+\frac{1}{n}\Big)^{n}\lt \Big(1+\frac{1}{n}\Big)^{n+1} }[/math]

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

כמו כן:

[math]\displaystyle{ \Big(1+\frac{1}{n}\Big)^{n+1}=\Big(1+\frac{1}{n}\Big)^{n}\Big(1+\frac{1}{n}\Big)\rightarrow e\cdot 1 }[/math]

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


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

נסמן

[math]\displaystyle{ a_n=\Big(1+\frac{1}{n}\Big)^{n+1} }[/math]

רוצים להוכיח

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

כלומר

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

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

[math]\displaystyle{ \Big(1+\frac{1}{n+1}\Big)\Big(1+\frac{1}{n+1}\Big)^{n+1}\lt \Big(1+\frac{1}{n}\Big)^{n+1} }[/math]


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


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

[math]\displaystyle{ \Big(1+\frac{1}{n(n+2)}\Big)^{n+1}=1+\frac{n+1}{n(n+2)}+...\gt 1+\frac{n+1}{n(n+2)} }[/math]

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

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

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

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

דוגמאות

תרגיל.

מצא את גבול הסדרה [math]\displaystyle{ \lim_{n\rightarrow\infty}\frac{n}{\sqrt[n]{n!}} }[/math]

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

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

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

[math]\displaystyle{ \lim_{n\rightarrow\infty}\frac{(n+1)^{n+1}n!}{n^n(n+1)!}=\lim_{n\rightarrow\infty}\frac{(n+1)^{n}}{n^n}=e }[/math]