88-132 אינפי 1 סמסטר א' תשעב/פתרון מועד א מתמטיקאים

מתוך Math-Wiki


שאלה 1

צטטו והוכיחו את הלמה של קנטור

שאלה 2

א. חשבו את הגבול

[math]\displaystyle{ \lim_{x\rightarrow 0}\Big(\frac{1}{x}-\frac{1}{sin(x)}\Big) }[/math]


ב. קבעו האם הגבול קיים:

[math]\displaystyle{ \lim_{n\rightarrow\infty}\sum_{k=n}^{2n}\frac{1}{k} }[/math]


פתרון

א.

[math]\displaystyle{ \frac{1}{x}-\frac{1}{sin(x)}=\frac{sin(x)-x}{xsin(x)} }[/math]

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

[math]\displaystyle{ \frac{cos(x)-1}{sin(x)+xcos(x)} }[/math]

שוב, המונה והמכנה שואפים לאפס ולכן ניתן להפעיל את כלל לופיטל.

[math]\displaystyle{ \frac{-sin(x)}{cos(x)+cos(x)-xsin(x)} }[/math]

כעת המונה שואף לאפס ואילו המכנה שואף לשתיים ולכן סה"כ הגבול הוא אפס.


ב.

נסמן את איברי הסדרה ב

[math]\displaystyle{ a_n=\sum_{k=n}^{2n}\frac{1}{k} }[/math]


קל לראות כי

[math]\displaystyle{ a_{n+1}-a_n=\frac{1}{2k+1}+\frac{1}{2k+2}-\frac{1}{k}\leq \frac{1}{2k}+\frac{1}{2k}-\frac{1}{k}\leq 0 }[/math]

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

שאלה 6

תהי f פונקציה מוגדרת וגזירה על כל הממשיים, ונניח כי הגבול [math]\displaystyle{ \lim_{x\rightarrow\infty}f'(x) }[/math] קיים וגדול מאפס.

הוכיחו כי f אינה חסומה מלעיל.


פתרון

  • נסמן [math]\displaystyle{ \lim_{x\rightarrow\infty}f'(x)=L\gt 0 }[/math]. לכן קיים M כך שלכל [math]\displaystyle{ x\gt M }[/math] מתקיים [math]\displaystyle{ f'(x)\gt \frac{L}{2}\gt 0 }[/math].


  • לכן, החל מ- M הנגזרת חיובית ממש ולכן הפונקציה מונוטונית עולה.


  • נניח בשלילה כי הפונקציה f חסומה, לכן היא מונוטונית וחסומה ולכן מתכנסת למספר ממשי אשר נסמן ב-K.


  • לפי הגדרת הגבול, קיים 'M כך שלכל [math]\displaystyle{ x\gt M' }[/math] מתקיים [math]\displaystyle{ |f(x)-K|\lt \frac{k}{2} }[/math]


  • לכן ביחד לכל זוג [math]\displaystyle{ x,y\gt M' }[/math] מתקיים [math]\displaystyle{ |f(x)-f(y)|\lt K }[/math]


  • ניקח [math]\displaystyle{ x\gt M,M' }[/math] אזי לכל [math]\displaystyle{ h\gt 0 }[/math] לפי משפט לגראנז קיים [math]\displaystyle{ x\lt c\lt x+h }[/math] כך ש-
[math]\displaystyle{ f'(c)=\frac{f(x+h)-f(x)}{h} }[/math]


  • כעת, מתקיים [math]\displaystyle{ f'(c)\gt \frac{L}{2} }[/math], אבל מצד שני [math]\displaystyle{ \frac{f(x+h)-f(x)}{h}\leq \frac{K}{h} }[/math] ולכן עבור h מספיק גדול נקבל סתירה.