שינויים
[[קטגוריה:פתרון מבחנים]][[קטגוריה:אינפי]]
([http://u.cs.biu.ac.il/~sheinee/tests/math/88132/4ef19bf37da8b.pdf המבחן] )
==חלק א==
1) נכון. זאת ההגדרה.
2) נכון. נתבונן בסדרת הסכומים החלקיים: כיון שהטור חיובי היא עולה במובן החלש (אינדוקציה טריויאלית - מוסיפים אברים אי-שליליים). נתון שהיא חסומה. סדרה זאת היא חסומה ומונוטונית ולכן מתכנסת, ולכן הטור מתכנס על-פי הגדרה.
3);הוכחהיהי <math>\lim_{n \to \infty }{}a_n+b_n=a+b\Rightarrow \exists N_1 \in \mathbb{N}:\forall n \in \mathbb{N}: (n\geq N\rightarrow |a_n+b_n-(a+b)|<\epsilon varepsilon>0</math>.
<math>\begin{align}\lim_{n \to \infty }{}\Big[a_n-+b_n\Big]=a-+b\ \Rightarrow \ \exists N_1 \in \mathbb{N}:\forall n >N_1\in to\mathbbBig|a_n+b_n-(a+b)\Big|<\varepsilon\\\lim_{Nn\to\infty}\Big[a_n-b_n\Big]=a-b\ \Rightarrow\ \exists N_2\in\N: (\forall n>N_2\geq Nto\rightarrow Big|a_n-b_n-(a-b)\Big|<\epsilon )varepsilon\end{align}</math>
נגדיר:<math>N=\overset{\underset{\mathrm{def}}{}}{=}max\left \{ N_1,N_2 \right \}</math>.
אז לכל <math>n>N</math> מתקיים
נחבר את שני האיאי-שוויוניםהשוויונות: <math> \Big|(a_n-a)+(b_n-b)\Big|+\Big|(a_n-a)-(b_n-b)\Big|<2\epsilon varepsilon</math>
אבל לפי אי-שוויון המשולש <math>\begin{align}2|a_n-a|=\big|2(a_n-a)\big|&=\Big|(a_n-a)+(b_n-b)+(a_n-a)-(b_n-b)\Big| \leq \&\le\Big|a_n-a+(b_n-b)\Big|+\Big|a_n-a-(b_n-b)\Big|<2\epsilon varepsilon\end{align}</math>. נצמצם ב2 ב-2 ונקבל ש<math>\lim_lim\limits_{n \to \infty }{a_n}=a</math>. כעת נחסר את המשוואות במקום לחבר, ונקבל באותו האופן עבור <math>b</math> .
מש"ל! (התרגיל הזה והתרגיל הבא די יפים :))
;דרך טיפה יותר אלגנטית
<math>\displaystyle\begin{align}a_n=\dfrac{(a_n+b_n)+(a_n-b_n)}{2}&,&b_n&=\dfrac{(a_n+b_n)-(a_n-b_n)}{2}\\\lim_{n\to\infty}a_n=\frac{(a+b)+(a-b)}{2}=a&,&\lim_{n\to\infty}b_n&=\frac{(a+b)-(a-b)}{2}=b\end{align}</math>
מהנתון על <math>g</math> נובע <math>\exists\delta>0:\forall x\in(a,b):-\delta<x<0\to|g(x)|<\dfrac{\varepsilon}{M}</math> .
6)
;הוכחה
רוצים להראות שהפונקציה <math>f|_{\R^+}</math> היא על. (זה שילוב סימנים מאינפי, בדידה ולינארית... XD)
ברור כי <math>f'(x)=(x^{3x})'=(e^{3xlnx})'=e^{3xlnx}\cdot (3xlnx)'=x^{3x}\cdot (3lnx+</math> אינה רציפה ב-3), משום שהגבולות החד-צדדיים שונים, אבל <math>f^2</math>היא קבועה ולכן רציפה בכל הישר הממשי.
8);הוכחהכיון שנתון כי <math>f(2)=2^a_n</math> חיובית, גם <math>\dfrac1{6a_n}</math>חיובית. נציב בנוסחה למשוואת ישר עפ"י נקודה ושיפוע, ונקבלנפעיל את מבחן קושי הגבולי על הטור המבוקש: מתקיים <math>\displaystyle\lim_{n\to\infty}\sqrt[n]{a_n}>1\Rightarrow\lim_{n\to\infty}\sqrt[n]{\frac{1}{a_n}}<1</math> ולכן הטור המבוקש מתכנס :)
<math>\begin{align}f(x)&=x^{3x}\\f'(x)&=\frac{d}{dx}(x^{3x})=\frac{d}{dx}\big(e^{3x\ln(x)}\big)=e^{3x\ln(x)}\cdot\frac{d}{dx}\big(3x\ln(x)\big)=3x^{3x}\cdot\big(\ln(x)+1\big)\end{align}</math>
מתקיים <math>\lim\limits_{n\to\infty}\dfrac{3+\frac1n}{\left(1+\frac1n\right)^n}=\frac3e>1</math> , ולכן הטור אינו מתכנס בהחלט. יתרה מזאת, הטור המקורי מתבדר לפי התוצאה שהוכחנו על מבחן קושי (ראה פתרון מבחן קודם). 11) השאלה אמנם נראית מפחידה, אבל זה בסך הכל כלל השרשרת: ניזכר בנוסחה - <math>(f\circ g)'(c)=f'\big(g(c)\big)\cdot g'(c)</math> לכן הנגזרת המבוקשת היא <math>\begin{align}\frac{d}{dx}\Big(f\big(f\big(f(x)\big)\big)\Big)&=\frac{d}{dx}\Big(f\circ f\big(f(x)\big)\Big)\\&=\frac{d}{dx}\big(f\circ g(x)\big)\\&=f'\big(g(x)\big)\cdot g'(x)\\&=f'\big(f(f(x))\big)\cdot\frac{d}{dx}\Big(f\big(f(x)\big)\Big)\\&=f'\big(f(f(x))\big)\cdot f'\big(f(x)\big)\cdot f'(x)\end{align}</math> נציב את הנקודה הנתונה: <math>f'\big(f(f(0))\big)\cdot f'\big(f(0)\big)\cdot f'(0)=f'\big(f(0)\big)\cdot f'(0)\cdot f'(0)=f'(0)^3=2^3=8</math>. לכן בסה"כ '''8'' דוגמא פשוטה היא <math>2x</math> . ==חלק ג'==12) לפי משפט בולצאנו-ויירשטראס יש ל- <math>x_n</math> תת-סדרה מתכנסת <math>\left\{x_{n_k}\right\}</math> . נסמן את גבולה <math>L</math> . היא מקיימת את הדרוש, שכן <math>\lim_{k\to\infty}x_{n_k}=\lim_{k\to\infty}x_{n_{k+1}}=L</math> ולכן לפי אריתמטיקת גבולות מתקיים <math>\lim_{k\to\infty}\Big[x_{n_{k+1}}-x_{n_k}\Big]=L-L=0</math> כנדרש.
13) היה בשיעורי הבית. (מניחים בשלילה, משפט ערך הביניים וצפיפות המספרים הממשיים)
<math>\sin(x),\sqrt{x}</math> הן רציפות במ"ש בקטע הנתון (סינוס מחזורית, שורש הוכחנו בתרגול) ולכן גם ההרכבה <math>\sin\circ\sqrt{x}</math> רבמ"ש.
14 אגרנובסקי, דונין והורוביץ) נתבונן בפונקציות <math>g(x)=\dfrac{f(x)}{x},h(x)=\dfrac1x</math> . מתקיים: <math>g'(x)=\dfrac{d}{dx}\left(\fracdfrac{f(x)}{x}\right))'=\fracdfrac{xfx\cdot f'(x)-f(x)}{x^2}</math> וגם <math>h^'(x)=-\frac{1}dfrac1{x^2}</math>.
כעת, נפעיל את משפט הערך הממוצע המוכלל:
קיימת נקודה <math>c\in(x_1,x_2)</math> עבורה מתקיים <math>\dfrac{g'(c)}{h'(c)}=\dfrac{g(x_2)-g(x_1)}{h(x_2)-h(x_1)}</math> .
נפשט את שני אגפי השוויון הקודם: <math>\dfrac{g(x_2)-g(x_1)}{h(x_2)-h(x_1)}=\dfrac{\dfrac{f(x_2)}{x_2}-\dfrac{f(x_1)}{x_1}}{\dfrac1{x_2}-\dfrac1{x_1}}=\dfrac{\dfrac{x_1f(x_2)-x_2f(x_1)}{x_1x_2}}{\dfrac{x_1-x_2}{x_1x_2}}=\dfrac{x_1f(x_2)-x_2f(x_1)}{x_1-x_2}</math>
ובאגף השני - <math>\dfrac{g'(c)}{h'(c)}=\dfrac{\dfrac{c\cdot f'(c)-f(c)}{c^2}}{-\dfrac1{c^2}}=f(c)-c\cdot f'(c)</math>
ובסך הכל קיבלנו את הדרוש: