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

מ
מ (בוט: מעביר קישורי בינויקי לויקינתונים - d:q834025)
עכשיו נסתכל על שני האיברים הראשונים: <math>\ \ (zf(z_0))'=f(z_0)\ ,\ \left(\frac{f'(z_0)(z-z_0)^2}{2}\right)'=f'(z_0)(z-z_0)\ </math>. ניתן לראות שיש להם פונקציה קדומה, שהיא אנליטית בכל <math>\ \mathbb{C}</math>, בפרט ב- <math>\ D</math>, ולכן האינטגרל שלהם שווה ל-0 לפי [[המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי]]. לכן גם <math>\ (*)=\left|\oint_{\partial \Delta_n}\varepsilon(z)(z-z_0)\, dz\right|</math>.
 
לפי הגדרת האינטגרל, אם <math>\ \gamma</math> מסילה חלקה למקוטעין ו-<math>\ f</math> רציפה על <math>\ \gamma</math>, אז <math>\ \left|\oint_{\gamma}f(z)\, dz\right|\le M\cdot l(\gamma )</math>, כאשר <math>\ M=max\left|f(z)\right|</math> על <math>\ \gamma</math> ו- <math>\ l(\gamma)</math> הוא האורך של <math>\ \gamma</math>. לכן: <math>\ \left|\oint_{\partial \Delta_n}\varepsilon(z)(z-z_0)\, dz\right|\le max\left|\varepsilon(z)\right|\cdot\frac{l}{2^n}\cdot l(\Delta_n)=max\left|\varepsilon(z)\right|\cdot\frac{l^2}{4^n}</math>. מכאן נובע: <math>\ \frac{S}{4^n}\le max_{\partial\Delta_n}\left|\varepsilon(z)\right|\cdot\frac{l^2}{4^n}</math>, ו-<math>\ \frac{S}{4^n}\le\ max_{\partial\Delta_n}\left|\varepsilon(z)\right|\cdot l^2</math>. אבל <math>\ \lim_{n\rightarrow\infty}\left( max_{\partial\Delta_n}\left|\varepsilon(z)\right|\cdot l^2\right)=0</math> וזו סתירה להנחה, כלומר <math>\ S=0</math> ולכן <math>\ \oint_Tf(z)\, dz = 0</math>.
 
{{אנליזה מרוכבת}}
35

עריכות