הבדלים בין גרסאות בדף "אינפי 1, תשנ"ו מועד ב' - פתרון (זלצמן)"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(←‏שאלה 1)
מ
שורה 5: שורה 5:
  
 
== שאלה 1 ==
 
== שאלה 1 ==
−
יהי <math>\sum_{n=1}^{\infty }b_{n}</math> טור חיובי.
+
יהי <math>\sum\limits_{n=1}^\infty b_n</math> טור חיובי.
  
−
'''א.''' הראה שאם <math>\left \{a_{n}  \right \}_{n=1}^{\infty }</math> סדרה המקיימת לכל n <math>|a_{n+1}-a_{n}|<b_{_{n}}</math> וכן <math>\sum_{n=1}^{\infty }b_{n}<\infty </math> אזי הסדרה מתכנסת.
+
'''א.''' הראה שאם <math>\{a_n\}_{n=1}^\infty</math> סדרה המקיימת לכל <math>n</math> : <math>\bigg|a_{n+1}-a_n\bigg|<b_n</math> וכן <math>\sum\limits_{n=1}^\infty b_n<\infty</math> אזי הסדרה מתכנסת.
  
 
'''הוכחה:'''
 
'''הוכחה:'''
  
−
אם הטור מתקיים התנאים הנ"ל כלומר: <math>\sum_{n=1}^{\infty }b_{n}<\infty </math> וגם <math>\sum_{n=1}^{\infty }b_{n}</math> טור חיובי, אזי הטור מתכנס. שכן סדרת הסכומים החלקיים שלו היא מונוטונית עולה וחסומה מילעל ולכן מתכנסת.
+
אם הטור מתקיים התנאים הנ"ל כלומר: <math>\sum\limits_{n=1}^\infty b_n<\infty </math> וגם <math>\sum\limits_{n=1}^\infty b_n</math> טור חיובי, אזי הטור מתכנס. שכן סדרת הסכומים החלקיים שלו היא מונוטונית עולה וחסומה מילעל ולכן מתכנסת.
  
−
נוכיח כי הסדרה הינה קושי וזאת באמצעות הקריטריון של קושי להתכנסות סדרות.
+
נוכיח כי הסדרה הנה קושי וזאת באמצעות הקריטריון של קושי להתכנסות סדרות.
  
−
יהי <math>\varepsilon >0</math>. לפי קריטריון קושי קיים <math>M\in \mathbb{N}</math> כך שלכל <math>p\in \mathbb{N} </math> מתקיים <math>|\sum_{i=M}^{M+p}b_{i}|<\varepsilon </math>.
+
יהי <math>\epsilon>0</math> . לפי קריטריון קושי קיים <math>M\in\N</math> כך שלכל <math>p\in\N</math> מתקיים <math>|\sum_{i=M}^{M+p}b_{i}|<\epsilon</math> .
  
−
יהיו <math>n,m>M</math>, אזי:
+
יהיו <math>n,m>M</math> , אזי:
  
−
<math>|a_{n}-a_{m}|=|a_{n}-a_{n-1}+a_{n-1} - .... + a_{m+1}-a_{m}|\leq |a_{n}-a_{n-1}| + |a_{n-1}-a_{n-2}| +....+|a_{m+1}-a_{m}|\leq b_{n-1}+b_{n-2}+...+b_{m}=\sum_{i=m}^{n-1}b_{i}\leq \sum_{i=M}^{n-1}b_{i}<\varepsilon                                        </math>
+
<math>\bigg|a_n-a_m\bigg|=\bigg|a_n-a_{n-1}+a_{n-1}-\cdots+a_{m+1}-a_m\bigg|\le \bigg|a_n-a_{n-1}\bigg| + \bigg|a_{n-1}-a_{n-2}\bigg|+\cdots+\bigg|a_{m+1}-a_m\bigg|\le b_{n-1}+b_{n-2}+\cdots+b_m=\sum_{i=m}^{n-1}b_i\le \sum_{i=M}^{n-1}b_i<\epsilon
 +
</math>
  
 
הראנו שהסדרה היא קושי ולכן מתכנסת.
 
הראנו שהסדרה היא קושי ולכן מתכנסת.
שורה 25: שורה 26:
 
'''דרך אחרת'''
 
'''דרך אחרת'''
  
−
נשים לב ש <math>a_n=\sum_{i=0}^{n-1} a_{i+1}-a_i</math> <math>a_0=0 </math> ובגלל שהטור הזה מתכנס בהחלט כי בהחלט הוא נשלט על ידי <math>\sum b_n</math> כך גם <math>a_n</math> מתכנסת כי התכנסות של טור שקולה להתכנסות של הסכומים החלקיים
+
נשים לב ש- <math>a_n=\sum\limits_{i=0}^{n-1} a_{i+1}-a_i</math> <math>a_0=0</math> ובגלל שהטור הזה מתכנס בהחלט כי בהחלט הוא נשלט על-ידי <math>\sum b_n</math> כך גם <math>a_n</math> מתכנסת כי התכנסות של טור שקולה להתכנסות של הסכומים החלקיים.
  
−
'''ב.''' אם הטור <math>\sum_{n=1}^{\infty }b_{n}</math> אז קיימת סדרה <math>\left \{a_{n}  \right \}_{n=1}^{\infty }</math> המקיימת לכל n <math>|a_{n+1}-a_{n}|<b_{_{n}}</math> וגם מתבדרת.
+
'''ב.''' אם הטור <math>\sum\limits_{n=1}^\infty b_{n}</math> אז קיימת סדרה <math>\{a_n\}_{n=1}^\infty</math> המקיימת לכל  
 +
<math>n</math> : <math>\bigg|a_{n+1}-a_n\bigg|<b_n</math> וגם מתבדרת.
  
 
'''הוכחה:'''
 
'''הוכחה:'''
  
−
נביט בסדרת הסכומים החלקיים של הטור (עם שינוי קל): <math>S_{n}=\sum_{i=1}^{n-1}b_{i}</math> ונגדיר <math>S_{1}=0</math>
+
נביט בסדרת הסכומים החלקיים של הטור (עם שינוי קל): <math>S_n=\sum\limits_{i=1}^{n-1}b_i</math> ונגדיר <math>S_1=0</math>
  
−
הטור <math>\sum_{n=1}^{\infty }b_{n}</math> מתבדר ולכן לפי ההגדרה (כי הוספת איבר אחד בהתחלה אינה משפיעה על התכנסות או התבדרות הסדרה) הסדרה מתבדרת.
+
הטור <math>\sum\limits_{n=1}^\infty b_n</math> מתבדר ולכן לפי ההגדרה (כי הוספת איבר אחד בהתחלה אינה משפיעה על התכנסות או התבדרות הסדרה) הסדרה מתבדרת.
  
−
כמו כן, קל לראות כי מתקיים התנאי: <math>|S_{n+1}-S_{n}|=|\sum_{i=1}^{n}b_{i}-\sum_{i=1}^{n-1}b_{i}|=|b_{n}|=b_{n}</math>
+
כמו כן, קל לראות כי מתקיים התנאי: <math>\bigg|S_{n+1}-S_n\bigg|=\bigg|\sum\limits_{i=1}^n b_i-\sum\limits_{i=1}^{n-1}b_i\bigg|=|b_n|=b_n</math>
  
−
מ.ש.ל
+
מ.ש.ל. <math>\blacksquare</math>
  
 
'''תיקון'''
 
'''תיקון'''
  
−
יהי <math>S_n</math> סדרת הסכומים החלקיים של הטור <math>\sum b_n-n^2</math> הטור מתבדר כהפרש של טור מתבדר בטור מתכנס מתקיים <math>|s_n-s_{n-1}|=b_n-n^2<b_n</math>
+
יהי <math>S_n</math> סדרת הסכומים החלקיים של הטור <math>\sum b_n-n^2</math> הטור מתבדר כהפרש של טור מתבדר בטור מתכנס מתקיים <math>\bigg|s_n-s_{n-1}\bigg|=b_n-n^2<b_n</math>
−
 
+
−
== שאלה 2 ==
+
  
 +
==שאלה 2==
 
בדוק התכנסות והתכנסות בהחלט של הטורים הבאים:
 
בדוק התכנסות והתכנסות בהחלט של הטורים הבאים:
  
  
−
'''א.'''  <math>\sum\frac{(-1)^{n}ln(n)}{n}</math>
+
'''א.'''  <math>\sum\frac{(-1)^n\cdot\ln(n)}{n}</math>
  
 
'''פתרון:'''  
 
'''פתרון:'''  
  
−
ראשית נבודק התכנסות בהחלט: <math>\sum|\frac{(-1)^{n}ln(n)}{n}|=\sum\frac{ln(n)}{n}</math>
+
ראשית נבדוק התכנסות בהחלט: <math>\sum\bigg|\frac{(-1)^n\cdot\ln(n)}{n}\bigg|=\sum\frac{\ln(n)}{n}</math>
  
 +
<math>1<\ln(n)</math> לכל <math>3\le n</math> ולכן לכל <math>n</math> שכזה מתקיים: <math>\frac1{n}\le \frac{\ln(n)}{n}</math>
 +
ולפי מבחן ההשוואה הראשון הטור מכיון שהטור ההרמוני מתבדר אז <math>\sum\frac{\ln(n)}{n}</math> מתבדר.
  
−
<math>1<ln(n)</math> לכל <math>3\leq n</math> ולכן לכל <math>n</math> שכזה מתקיים: <math>\frac{1}{n}\leq \frac{ln(n)}{n}</math>  
+
ידוע <math>\lim\limits_{n\to\infty}\frac{\ln(n)}{n}=0</math> (ואם אתם לא מאמינים לי אפשר להוכיח את זה עם לופיטל) ולכן מספיק להוכיח שהסדרה מונוטונית יורדת כדי להסיק התכנסות בתנאי לפי לייבניץ':
−
ולפי מבחן ההשוואה הראשון הטור מכיוון שהטור ההרמוני מתבדר אז <math>\sum\frac{ln(n)}{n}</math> מתבדר.
+
  
−
ידוע <math>\lim_{n\rightarrow \infty }\frac{ln(n)}{n}=0</math> (ואם אתם לא מאמינים לי אפשר להוכיח את זה עם לפיטל) ולכן מספיק להוכיח שהסדרה מונוטונית יורדת כדי להסיק התכנסות בתנאי לפי לייבניץ':
+
נביט בפונקציה <math>f(x)=\frac{\ln(x)}{x}</math>, מספיק להראות ש- <math>f'(x)\le 0</math> כאשר <math>x\ge 3</math>.
  
−
נביט בפונקציה <math>f(x)=\frac{ln(x)}{x}</math>, מספיק להראות ש<math>f'(x)\leq 0</math> כאשר <math>x\geq 3</math>.
+
<math>f'(x)=\frac{1-\ln(x)}{x^2}</math> וקל לראות שהתנאי לעיל מתקיים עבור <math>x\ge e</math> ובפרט עבור <math>x\ge 3</math>.
  
−
<math>f'(x)=\frac{1-ln(x)}{x^2}</math> וקל לראות שהתנאי לעיל מתקיים עבור <math>x\geq e</math> ובפרט עבור <math>x\geq 3</math>.
 
  
−
 
+
'''ב.''' <math>\sum (-1)^n\cdot\sin\left(\frac1{n^2}\right)</math>
−
 
+
−
'''ב.''' <math>\sum (-1)^nsin(\frac{1}{n^2})</math>
+
  
 
'''פתרון:'''  
 
'''פתרון:'''  
שורה 72: שורה 71:
 
נראה התכנסות בהחלט לפי מבחן ההשוואה הגבולי
 
נראה התכנסות בהחלט לפי מבחן ההשוואה הגבולי
  
−
<math>\frac{sin(\frac{1}{n^2})}{\frac{1}{n^2}}\rightarrow 1</math> ולכן הטורים חברים.
+
<math>\frac{\sin\left(\frac1{n^2}\right)}{\frac1{n^2}}\to 1</math> ולכן הטורים חברים.
  
−
מכיוון <math>\sum\frac{1}{n^2}</math> מתכנס אז גם <math>\sum sin(\frac{1}{n^2})</math>.
+
מכיון <math>\sum\frac{1}{n^2}</math> מתכנס אז גם <math>\sum \sin\left(\frac1{n^2}\right)</math> .
−
 
+
−
ולכן הטור מתכנס בהחלט
+
  
 +
ולכן הטור מתכנס בהחלט.
  
  
שורה 86: שורה 84:
 
נוכיח התכנסות בהחלט לפי מבחן המנה של ד'לאמבר
 
נוכיח התכנסות בהחלט לפי מבחן המנה של ד'לאמבר
  
−
<math>\frac{\frac{(2n+2)!}{(n+1)^{2n+2}}}{\frac{(2n)!}{n^{2n}}}=\frac{\frac{(2n+2)!}{(n+1)^{2n+2}}}{\frac{(2n)!\cdot n^2}{n^{2n+2}}}=\frac{(2n+2)!}{(2n)!\cdot n^2}\cdot (\frac{n}{n+1})^{2n+2}=\frac{(2n+2)(2n+1)}{n^2}\cdot(1-\frac{1}{n+1})^{2n+2}=\frac{(2n+2)(2n+1)}{n^2}\cdot ((1-\frac{1}{n+1})^{n+1})^2\rightarrow \frac{4}{e^2}<1
+
<math>\frac{\frac{(2n+2)!}{(n+1)^{2n+2}}}{\frac{(2n)!}{n^{2n}}}=\frac{\frac{(2n+2)!}{(n+1)^{2n+2}}}{\frac{(2n)!\cdot n^2}{n^{2n+2}}}=\frac{(2n+2)!}{(2n)!\cdot n^2}\cdot (\frac{n}{n+1})^{2n+2}=\frac{2(n+1)(2n+1)}{n^2}\cdot\left(1-\frac1{n+1}\right)^{2n+2}=\frac{2(n+1)(2n+1)}{n^2}\cdot \Bigg(\bigg(1-\frac1{n+1}\bigg)^{n+1}\Bigg)^2\to \frac4{e^2}<1</math>
−
</math>
+
  
 
ולכן הטור מתכנס בהחלט!
 
ולכן הטור מתכנס בהחלט!
  
−
== שאלה 3 ==
+
==שאלה 3==
 
ציטוט משפטים
 
ציטוט משפטים
  
−
== שאלה 4 ==
+
==שאלה 4==
−
 
+
 
יש לבדוק האם הפונקציות הבאות רבמ"ש בקטעים הנתונים:
 
יש לבדוק האם הפונקציות הבאות רבמ"ש בקטעים הנתונים:
  
−
'''א.''' <math>f(x)=xsin(\frac{1}{x^2})</math> בקטע (0,1)
+
 
 +
'''א.''' <math>f(x)=x\cdot\sin\left(\frac1{x^2}\right)</math> בקטע <math>(0,1)</math>
  
 
נראה שהגבולות בקצוות הקטע סופיים ולכן הפונקציה רבמ"ש:
 
נראה שהגבולות בקצוות הקטע סופיים ולכן הפונקציה רבמ"ש:
  
−
<math>\lim_{x\rightarrow 0^{+}}f(x)=\lim_{x\rightarrow 0^{+}}xsin(\frac{1}{x^2})=0</math>, חסומה כפול 0.
+
<math>\lim_{x\to 0^+}f(x)=\lim_{x\to 0^+}x\cdot\sin\left(\frac1{x^2}\right)=0</math> , חסומה כפול <math>0</math> .
  
−
<math>\lim_{x\rightarrow 1^{-}}f(x)=\lim_{x\rightarrow 1^{-}}xsin(\frac{1}{x^2})=f(1)=sin(1)</math>. מזאת מכיוון שהפונקציה היא מנה, הרכבה וכפל של פונקציות רציפות.
+
<math>\lim_{x\to 1^-}f(x)=\lim_{x\to 1^-}x\cdot\sin\left(\frac1{x^2}\right)=f(1)=\sin(1)</math> . מזאת מכיון שהפונקציה היא מנה, הרכבה וכפל של פונקציות רציפות.
  
  
−
'''ב.''' <math>f(x)</math> מסעיף א' בקרן <math>(1,\infty )</math>
+
'''ב.''' <math>f(x)</math> מסעיף א' בקרן <math>(1,\infty)</math>
  
 
בדומה לסעיף הקודם, נראה שהגבולות בקצוות הקטע סופיים ולכן הפונקציה רבמ"ש:
 
בדומה לסעיף הקודם, נראה שהגבולות בקצוות הקטע סופיים ולכן הפונקציה רבמ"ש:
  
−
<math>\lim_{x\rightarrow \infty }xsin(\frac{1}{x^2})=\lim_{x\rightarrow \infty }x^2sin(\frac{1}{x^2})\cdot \lim_{x\rightarrow \infty }\frac{1}{x}=1\cdot 0=0</math>
+
<math>\lim_{x\to\infty}x\cdot\sin\left(\frac1{x^2}\right)=\lim_{x\to\infty}x^2\cdot\sin\left(\frac1{x^2}\right)\cdot \lim_{x\to\infty}\frac1{x}=1\cdot 0=0</math>
  
−
<math>\lim_{x\rightarrow 1^{+}}f(x)=\lim_{x\rightarrow 1^{+}}xsin(\frac{1}{x^2})=f(1)=sin(1)</math>. מזאת מכיוון שהפונקציה היא מנה, הרכבה וכפל של פונקציות רציפות.
+
<math>\lim_{x\to 1^+}f(x)=\lim_{x\to 1^+}x\cdot\sin\left(\frac1{x^2}\right)=f(1)=\sin(1)</math> . מזאת מכיון שהפונקציה היא מנה, הרכבה וכפל של פונקציות רציפות.
  
  
−
'''ג.''' <math>g(x)=sin(x^2)</math> רבמ"ש ב<math>(0,\infty )</math>
+
'''ג.''' <math>g(x)=\sin(x^2)</math> רבמ"ש בקרן <math>(0,\infty)</math>
  
−
נניח בשלילה שהפונקציה רבמ"ש. הפונקציה <math>h(x)=arcsin(x)</math> רציפה בתחום <math>[-1,1]</math> ולכן רבמ"ש בו.
+
נניח בשלילה שהפונקציה רבמ"ש. הפונקציה <math>h(x)=\arcsin(x)</math> רציפה בתחום <math>[-1,1]</math> ולכן רבמ"ש בו.
  
−
מכיוון שהתחום <math>[-1,1]</math> הינו התמונה של <math>g</math>, ההרכבה של הפונקציות רבמ"ש (לפי משפט).
+
מכיון שהתחום <math>[-1,1]</math> הנו התמונה של <math>g</math>, ההרכבה של הפונקציות רבמ"ש (לפי משפט).
  
−
לכן <math>(h\circ g)(x)=arcsin(sin(x^2))=x^2</math> רבמ"ש, בסתירה להוכחה מהתירגול.
+
לכן <math>(h\circ g)(x)=\arcsin\big(\sin(x^2)\big)=x^2</math> רבמ"ש, בסתירה להוכחה מהתירגול.
  
 
'''פתרון נוסף (עם סדרות):'''
 
'''פתרון נוסף (עם סדרות):'''
שורה 128: שורה 125:
 
נגדיר את שתי הסדרות הבאות:  
 
נגדיר את שתי הסדרות הבאות:  
  
−
<math>x_{n}=\sqrt{\frac{3\pi }{2}+2\pi n}</math> ואת הסדרה <math>y_{n}=\sqrt{\frac{\pi }{2}+2\pi n}</math> ונמשיך מכאן...
+
<math>x_n=\sqrt{\frac{3\pi}{2}+2\pi n}</math> ואת הסדרה <math>y_n=\sqrt{\frac{\pi}{2}+2\pi n}</math> ונמשיך מכאן...
  
−
== שאלה 5 ==
+
==שאלה 5==
 +
<math>f(x):=2-x</math> כאשר <math>x\in\Q</math>
  
−
<math>f(x):=2-x</math> כאשר <math>x\in \mathbb{Q}</math>
+
<math>f(x):=\frac1{x}</math> כאשר <math>x\notin\Q</math>
−
 
+
−
<math>f(x):=\frac{1}{x}</math> כאשר <math>x\notin \mathbb{Q}</math>
+
  
 
צריך למצוא עבור אילו ערכים הפונקציה רציפה ועבור אילו ערכים הפונקציה גזירה.
 
צריך למצוא עבור אילו ערכים הפונקציה רציפה ועבור אילו ערכים הפונקציה גזירה.
שורה 141: שורה 137:
 
'''פתרון:''' נתחיל עם הנקודות עבורן הפונקציה רציפה, שכן זהו תנאי הכרחי לגזירות.
 
'''פתרון:''' נתחיל עם הנקודות עבורן הפונקציה רציפה, שכן זהו תנאי הכרחי לגזירות.
  
−
הנקודות בהן הפונקציה רציפה הן הנקודות בהן מתקיים השוויון: <math>2-x=\frac{1}{x}</math>
+
הנקודות בהן הפונקציה רציפה הן הנקודות בהן מתקיים השוויון: <math>2-x=\frac1{x}</math>
  
−
בכל שאר הנקודות, ניתן לבנות שתי סדרות: אחת של רציונאליים ואחת של אי רציונאליים שתמונותיהן יתכנסו לשני ערכים שונים ולכן היא אינה רציפה בהן.
+
בכל שאר הנקודות, ניתן לבנות שתי סדרות: אחת של רציונאליים ואחת של אי-רציונאליים שתמונותיהן יתכנסו לשני ערכים שונים ולכן היא אינה רציפה בהן.
 
   
 
   
−
במקרה של שוויון, כל סדרה של רציונליים, אי רציונאליים או שילוב שלהם תתכנס ל<math>f(x)</math> בין אם הוא רציונאלי או לא.
+
במקרה של שוויון, כל סדרה של רציונאליים, אי-רציונאליים או שילוב שלהם תתכנס ל<math>f(x)</math> בין אם הוא רציונאלי או לא.
  
 
נפתור את המשוואה ונקבל תוצאה יחידה: <math>x=1</math>, '''בנקודה זו הפונקציה רציפה.'''
 
נפתור את המשוואה ונקבל תוצאה יחידה: <math>x=1</math>, '''בנקודה זו הפונקציה רציפה.'''
  
−
כעת נבדוק האם היא גזירה בנקודה זו, אם הפונקציה גזירה אזי בהכרח <math>(2-x)'(1)=(\frac{1}{x})'(1)</math> מנימוקים דומים, כלומר:
+
כעת נבדוק האם היא גזירה בנקודה זו, אם הפונקציה גזירה אזי בהכרח <math>(2-x)'(1)=(\frac1{x})'(1)</math> מנימוקים דומים, כלומר:
  
−
מכיוון שהגבולות <math>\lim_{x\rightarrow 1}\frac{\frac{1}{x}-1}{x-1},\lim_{x\rightarrow 1}\frac{(2-x)-1}{x-1}\in \mathbb{R}</math>  
+
מכיון שהגבולות <math>\lim\limits_{x\to 1}\frac{\frac1{x}-1}{x-1},\lim\limits_{x\to 1}\frac{(2-x)-1}{x-1}\in\R</math>  
  
−
אז לפי היינה התמונות של כל הסדרות שמתכנסות ל1 יתכנסו לגבולות האלו. אם הפונקציה גזירה, בהכרח הגבול קיים ולכן כל הסדרות התמונות חייבות להתכנס לאותה נקודה. על כל פנים, נחזור לשוויון שהצגנו לעיל:
+
אז לפי היינה התמונות של כל הסדרות שמתכנסות ל- <math>1</math> יתכנסו לגבולות האלו. אם הפונקציה גזירה, בהכרח הגבול קיים ולכן כל הסדרות התמונות חייבות להתכנס לאותה נקודה. על כל פנים, נחזור לשוויון שהצגנו לעיל:
−
 
+
−
<math>(2-x)'(1)=-1=-\frac{1}{1^2}=(-\frac{1}{x^2})(1)=(\frac{1}{x})'(1)</math>
+
  
 +
<math>(2-x)'(1)=-1=-\frac1{1^2}=\left(-\frac1{x^2}\right)(1)=\left(\frac1{x}\right)'(1)</math>
  
 
'''ולכן הפונקציה גזירה בנקודה <math>x=1</math>.'''
 
'''ולכן הפונקציה גזירה בנקודה <math>x=1</math>.'''
  
−
== שאלה 6 ==
+
==שאלה 6==
−
 
+
 
'''א.'''
 
'''א.'''
  
−
<math>(x^{cos(e^{x^2})})'=(e^{cos(e^{x^2})lnx})'=e^{cos(e^{x^2})lnx}\cdot (cos(e^{x^2})lnx)'=x^{cos(e^{x^2})}(-2xln(x)e^{x^2}sin(e^{x^2})+\frac{cos(e^{x^2})}{x})</math>
+
<math>\Bigg(x^{\cos\left(e^{x^2}\right)}\Bigg)'=\Bigg(e^{\cos\left(e^{x^2}\right)\cdot\ln(x)}\Bigg)'=e^{\cos\left(e^{x^2}\right)\cdot\ln(x)}\cdot\Bigg(\cos\left(e^{x^2}\right)\cdot\ln(x)\Bigg)'=x^{\cos\left(e^{x^2}\right)}\cdot\Bigg(-2x\cdot e^{x^2}\cdot\ln(x)\cdot\sin\left(e^{x^2}\right)+\frac{\cos\left(e^{x^2}\right)}{x}\Bigg)</math>
  
 
'''ב.'''
 
'''ב.'''
  
−
<math>(arctan(\frac{lnx}{1+x^2}))'=\frac{(\frac{lnx}{1+x^2})'}{1+(\frac{lnx}{1+x^2})^2}=\frac{\frac{\frac{1+x^2}{x}-2xlnx}{(1+x^2)^2}}{1+(\frac{lnx}{1+x^2})^2}=\frac{\frac{1+x^2-4x^2lnx}{x(1+x^2)^2}}{\frac{(x^2+1)^2+(lnx)^2}{(1+x^2)^2}}=\frac{1+x^2-4x^2lnx}{x(x^2+1)^2+x(lnx)^2}</math>
+
<math>\Bigg(\arctan\left(\frac{\ln(x)}{1+x^2}\right)\Bigg)'=\frac{\left(\frac{\ln(x)}{1+x^2}\right)'}{1+\left(\frac{\ln(x)}{1+x^2}\right)^2}=\frac{\frac{\frac{1+x^2}{x}-2x\cdot\ln(x)}{(1+x^2)^2}}{1+\left(\frac{\ln(x)}{1+x^2}\right)^2}=\frac{\frac{1+x^2-4x^2\ln(x)}{x(1+x^2)^2}}{\frac{(x^2+1)^2+\ln^2(x)}{(1+x^2)^2}}=\frac{1+x^2-4x^2\ln(x)}{x(x^2+1)^2+x\cdot\ln^2(x)}</math>
  
 
'''ג.'''
 
'''ג.'''
  
−
<math>(x^{-n}+n^{-x})'=-nx^{-n-1}-lnn\cdot n^{-x}</math>
+
<math>\Big(x^{-n}+n^{-x}\Big)'=-nx^{-n-1}-\ln(n)\cdot n^{-x}</math>
  
−
== שאלה 7 ==
+
==שאלה 7==

גרסה מ־19:02, 1 בפברואר 2016

קישור לבחינה עצמה: המבחן

אתם מוזמנים לעזור בפתרון, לשנות, לתקן ולהעיר הערות.

שאלה 1

יהי \sum\limits_{n=1}^\infty b_n טור חיובי.

א. הראה שאם \{a_n\}_{n=1}^\infty סדרה המקיימת לכל n : \bigg|a_{n+1}-a_n\bigg|<b_n וכן \sum\limits_{n=1}^\infty b_n<\infty אזי הסדרה מתכנסת.

הוכחה:

אם הטור מתקיים התנאים הנ"ל כלומר: \sum\limits_{n=1}^\infty b_n<\infty וגם \sum\limits_{n=1}^\infty b_n טור חיובי, אזי הטור מתכנס. שכן סדרת הסכומים החלקיים שלו היא מונוטונית עולה וחסומה מילעל ולכן מתכנסת.

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

יהי \epsilon>0 . לפי קריטריון קושי קיים M\in\N כך שלכל p\in\N מתקיים |\sum_{i=M}^{M+p}b_{i}|<\epsilon .

יהיו n,m>M , אזי:

\bigg|a_n-a_m\bigg|=\bigg|a_n-a_{n-1}+a_{n-1}-\cdots+a_{m+1}-a_m\bigg|\le \bigg|a_n-a_{n-1}\bigg| + \bigg|a_{n-1}-a_{n-2}\bigg|+\cdots+\bigg|a_{m+1}-a_m\bigg|\le b_{n-1}+b_{n-2}+\cdots+b_m=\sum_{i=m}^{n-1}b_i\le \sum_{i=M}^{n-1}b_i<\epsilon

הראנו שהסדרה היא קושי ולכן מתכנסת.

דרך אחרת

נשים לב ש- a_n=\sum\limits_{i=0}^{n-1} a_{i+1}-a_i a_0=0 ובגלל שהטור הזה מתכנס בהחלט כי בהחלט הוא נשלט על-ידי \sum b_n כך גם a_n מתכנסת כי התכנסות של טור שקולה להתכנסות של הסכומים החלקיים.

ב. אם הטור \sum\limits_{n=1}^\infty b_{n} אז קיימת סדרה \{a_n\}_{n=1}^\infty המקיימת לכל n : \bigg|a_{n+1}-a_n\bigg|<b_n וגם מתבדרת.

הוכחה:

נביט בסדרת הסכומים החלקיים של הטור (עם שינוי קל): S_n=\sum\limits_{i=1}^{n-1}b_i ונגדיר S_1=0

הטור \sum\limits_{n=1}^\infty b_n מתבדר ולכן לפי ההגדרה (כי הוספת איבר אחד בהתחלה אינה משפיעה על התכנסות או התבדרות הסדרה) הסדרה מתבדרת.

כמו כן, קל לראות כי מתקיים התנאי: \bigg|S_{n+1}-S_n\bigg|=\bigg|\sum\limits_{i=1}^n b_i-\sum\limits_{i=1}^{n-1}b_i\bigg|=|b_n|=b_n

מ.ש.ל. \blacksquare

תיקון

יהי S_n סדרת הסכומים החלקיים של הטור \sum b_n-n^2 הטור מתבדר כהפרש של טור מתבדר בטור מתכנס מתקיים \bigg|s_n-s_{n-1}\bigg|=b_n-n^2<b_n

שאלה 2

בדוק התכנסות והתכנסות בהחלט של הטורים הבאים:


א. \sum\frac{(-1)^n\cdot\ln(n)}{n}

פתרון:

ראשית נבדוק התכנסות בהחלט: \sum\bigg|\frac{(-1)^n\cdot\ln(n)}{n}\bigg|=\sum\frac{\ln(n)}{n}

1<\ln(n) לכל 3\le n ולכן לכל n שכזה מתקיים: \frac1{n}\le \frac{\ln(n)}{n} ולפי מבחן ההשוואה הראשון הטור מכיון שהטור ההרמוני מתבדר אז \sum\frac{\ln(n)}{n} מתבדר.

ידוע \lim\limits_{n\to\infty}\frac{\ln(n)}{n}=0 (ואם אתם לא מאמינים לי אפשר להוכיח את זה עם לופיטל) ולכן מספיק להוכיח שהסדרה מונוטונית יורדת כדי להסיק התכנסות בתנאי לפי לייבניץ':

נביט בפונקציה f(x)=\frac{\ln(x)}{x}, מספיק להראות ש- f'(x)\le 0 כאשר x\ge 3.

f'(x)=\frac{1-\ln(x)}{x^2} וקל לראות שהתנאי לעיל מתקיים עבור x\ge e ובפרט עבור x\ge 3.


ב. \sum (-1)^n\cdot\sin\left(\frac1{n^2}\right)

פתרון:

נראה התכנסות בהחלט לפי מבחן ההשוואה הגבולי

\frac{\sin\left(\frac1{n^2}\right)}{\frac1{n^2}}\to 1 ולכן הטורים חברים.

מכיון \sum\frac{1}{n^2} מתכנס אז גם \sum \sin\left(\frac1{n^2}\right) .

ולכן הטור מתכנס בהחלט.


ג. \sum (-1)^n\frac{(2n)!}{n^{2n}}

פתרון:

נוכיח התכנסות בהחלט לפי מבחן המנה של ד'לאמבר

\frac{\frac{(2n+2)!}{(n+1)^{2n+2}}}{\frac{(2n)!}{n^{2n}}}=\frac{\frac{(2n+2)!}{(n+1)^{2n+2}}}{\frac{(2n)!\cdot n^2}{n^{2n+2}}}=\frac{(2n+2)!}{(2n)!\cdot n^2}\cdot (\frac{n}{n+1})^{2n+2}=\frac{2(n+1)(2n+1)}{n^2}\cdot\left(1-\frac1{n+1}\right)^{2n+2}=\frac{2(n+1)(2n+1)}{n^2}\cdot \Bigg(\bigg(1-\frac1{n+1}\bigg)^{n+1}\Bigg)^2\to \frac4{e^2}<1

ולכן הטור מתכנס בהחלט!

שאלה 3

ציטוט משפטים

שאלה 4

יש לבדוק האם הפונקציות הבאות רבמ"ש בקטעים הנתונים:


א. f(x)=x\cdot\sin\left(\frac1{x^2}\right) בקטע (0,1)

נראה שהגבולות בקצוות הקטע סופיים ולכן הפונקציה רבמ"ש:

\lim_{x\to 0^+}f(x)=\lim_{x\to 0^+}x\cdot\sin\left(\frac1{x^2}\right)=0 , חסומה כפול 0 .

\lim_{x\to 1^-}f(x)=\lim_{x\to 1^-}x\cdot\sin\left(\frac1{x^2}\right)=f(1)=\sin(1) . מזאת מכיון שהפונקציה היא מנה, הרכבה וכפל של פונקציות רציפות.


ב. f(x) מסעיף א' בקרן (1,\infty)

בדומה לסעיף הקודם, נראה שהגבולות בקצוות הקטע סופיים ולכן הפונקציה רבמ"ש:

\lim_{x\to\infty}x\cdot\sin\left(\frac1{x^2}\right)=\lim_{x\to\infty}x^2\cdot\sin\left(\frac1{x^2}\right)\cdot \lim_{x\to\infty}\frac1{x}=1\cdot 0=0

\lim_{x\to 1^+}f(x)=\lim_{x\to 1^+}x\cdot\sin\left(\frac1{x^2}\right)=f(1)=\sin(1) . מזאת מכיון שהפונקציה היא מנה, הרכבה וכפל של פונקציות רציפות.


ג. g(x)=\sin(x^2) רבמ"ש בקרן (0,\infty)

נניח בשלילה שהפונקציה רבמ"ש. הפונקציה h(x)=\arcsin(x) רציפה בתחום [-1,1] ולכן רבמ"ש בו.

מכיון שהתחום [-1,1] הנו התמונה של g, ההרכבה של הפונקציות רבמ"ש (לפי משפט).

לכן (h\circ g)(x)=\arcsin\big(\sin(x^2)\big)=x^2 רבמ"ש, בסתירה להוכחה מהתירגול.

פתרון נוסף (עם סדרות):

נגדיר את שתי הסדרות הבאות:

x_n=\sqrt{\frac{3\pi}{2}+2\pi n} ואת הסדרה y_n=\sqrt{\frac{\pi}{2}+2\pi n} ונמשיך מכאן...

שאלה 5

f(x):=2-x כאשר x\in\Q

f(x):=\frac1{x} כאשר x\notin\Q

צריך למצוא עבור אילו ערכים הפונקציה רציפה ועבור אילו ערכים הפונקציה גזירה.


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

הנקודות בהן הפונקציה רציפה הן הנקודות בהן מתקיים השוויון: 2-x=\frac1{x}

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

במקרה של שוויון, כל סדרה של רציונאליים, אי-רציונאליים או שילוב שלהם תתכנס לf(x) בין אם הוא רציונאלי או לא.

נפתור את המשוואה ונקבל תוצאה יחידה: x=1, בנקודה זו הפונקציה רציפה.

כעת נבדוק האם היא גזירה בנקודה זו, אם הפונקציה גזירה אזי בהכרח (2-x)'(1)=(\frac1{x})'(1) מנימוקים דומים, כלומר:

מכיון שהגבולות \lim\limits_{x\to 1}\frac{\frac1{x}-1}{x-1},\lim\limits_{x\to 1}\frac{(2-x)-1}{x-1}\in\R

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

(2-x)'(1)=-1=-\frac1{1^2}=\left(-\frac1{x^2}\right)(1)=\left(\frac1{x}\right)'(1)

ולכן הפונקציה גזירה בנקודה x=1.

שאלה 6

א.

\Bigg(x^{\cos\left(e^{x^2}\right)}\Bigg)'=\Bigg(e^{\cos\left(e^{x^2}\right)\cdot\ln(x)}\Bigg)'=e^{\cos\left(e^{x^2}\right)\cdot\ln(x)}\cdot\Bigg(\cos\left(e^{x^2}\right)\cdot\ln(x)\Bigg)'=x^{\cos\left(e^{x^2}\right)}\cdot\Bigg(-2x\cdot e^{x^2}\cdot\ln(x)\cdot\sin\left(e^{x^2}\right)+\frac{\cos\left(e^{x^2}\right)}{x}\Bigg)

ב.

\Bigg(\arctan\left(\frac{\ln(x)}{1+x^2}\right)\Bigg)'=\frac{\left(\frac{\ln(x)}{1+x^2}\right)'}{1+\left(\frac{\ln(x)}{1+x^2}\right)^2}=\frac{\frac{\frac{1+x^2}{x}-2x\cdot\ln(x)}{(1+x^2)^2}}{1+\left(\frac{\ln(x)}{1+x^2}\right)^2}=\frac{\frac{1+x^2-4x^2\ln(x)}{x(1+x^2)^2}}{\frac{(x^2+1)^2+\ln^2(x)}{(1+x^2)^2}}=\frac{1+x^2-4x^2\ln(x)}{x(x^2+1)^2+x\cdot\ln^2(x)}

ג.

\Big(x^{-n}+n^{-x}\Big)'=-nx^{-n-1}-\ln(n)\cdot n^{-x}

שאלה 7

מקור: https://math-wiki.com/index.php?title=אינפי_1,_תשנ%22ו_מועד_ב%27_-_פתרון_(זלצמן)&oldid=65238