הבדלים בין גרסאות בדף "סיווג נקודה חשודה"
מתוך Math-Wiki
יהודה שמחה (שיחה | תרומות) מ |
יהודה שמחה (שיחה | תרומות) |
||
(גרסת ביניים אחת של אותו משתמש אינה מוצגת) | |||
שורה 6: | שורה 6: | ||
==סיווג נקודות חשודות== | ==סיווג נקודות חשודות== | ||
'''משפט:''' תהי <math>f</math> פונקציה הגזירה '''ברציפות''' <math>n+1</math> פעמים בסביבת הנקודה <math>a</math> . עוד נניח כי | '''משפט:''' תהי <math>f</math> פונקציה הגזירה '''ברציפות''' <math>n+1</math> פעמים בסביבת הנקודה <math>a</math> . עוד נניח כי | ||
− | :<math>f'(a)=f''(a)=\ | + | :<math>\begin{align}f'(a)=f''(a)=\cdots=f^{(n)}(a)=0\\f^{(n+1)}(a)\ne0\end{align}</math> |
− | + | ||
− | + | ||
אזי: | אזי: | ||
שורה 16: | שורה 14: | ||
==='''הוכחה:'''=== | ==='''הוכחה:'''=== | ||
− | לפי [[משפט טיילור עם שארית לגראנז'|טיילור]] לכל x בסביבה קיימת נקודה c בין x לבין a כך ש: | + | לפי [[משפט טיילור עם שארית לגראנז'|טיילור]] לכל <math>x</math> בסביבה קיימת נקודה <math>c</math> בין <math>x</math> לבין <math>a</math> כך ש: |
− | :<math>f(x)=f(a)+f'(a)(x-a)+\cdots+\ | + | :<math>f(x)=f(a)+f'(a)(x-a)+\cdots+\dfrac{f^{(n)}(a)}{n!}+\dfrac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}</math> |
− | אבל לפי ההנחה כי <math>n</math> הנגזרות הראשונות | + | אבל לפי ההנחה כי <math>n</math> הנגזרות הראשונות מתאפסות ב- <math>a</math> , מתקיים |
− | :<math>f(x)-f(a)=\ | + | :<math>f(x)-f(a)=\dfrac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}</math> |
− | לכן, אם <math>n+1</math> זוגי וגם <math>f^{(n+1)}(a)>0</math> לפי רציפות הנגזרת השניה קיימת | + | לכן, אם <math>n+1</math> זוגי וגם <math>f^{(n+1)}(a)>0</math> לפי רציפות הנגזרת השניה קיימת סביבת <math>a</math> בה <math>f^{(n+1)}>0</math> ולכן לכל <math>x</math> בסביבה מתקיים: |
− | :<math>f(x)-f(a)\ | + | :<math>f(x)-f(a)\ge0</math> |
− | שכן <math>(x-a)^{(n+1)}\ | + | שכן <math>(x-a)^{(n+1)}\ge0</math> תמיד עבור <math>n+1</math> זוגי. |
כלומר אם <math>f^{(n+1)}(a)>0</math> אזי <math>x</math> הנה '''[[נקודת קיצון|נקודת מינימום]]'''. | כלומר אם <math>f^{(n+1)}(a)>0</math> אזי <math>x</math> הנה '''[[נקודת קיצון|נקודת מינימום]]'''. | ||
שורה 36: | שורה 34: | ||
אם <math>n+1</math> אי-זוגי, אזי הסימן של <math>(x-a)^{(n+1)}</math> חיובי בסביבה ימנית של <math>a</math> ושלילי משמאלה. | אם <math>n+1</math> אי-זוגי, אזי הסימן של <math>(x-a)^{(n+1)}</math> חיובי בסביבה ימנית של <math>a</math> ושלילי משמאלה. | ||
− | כיון שסימן <math>f^{(n+1)}</math> קבוע | + | כיון שסימן <math>f^{(n+1)}</math> קבוע בסביבת <math>a</math> , סה"כ מצד אחד <math>f(x)>f(a)</math> ומהצד השני <math>f(x)<f(a)</math> . |
− | אבל הנגזרת הראשונה מתאפסת ב- <math>a</math> ולכן המשיק הוא <math>y=f(a)</math>, ולכן הפונקציה קטנה ממנו בצד אחד וגדולה ממנו בצד השני ולכן <math>a</math> הנה '''[[נקודת פיתול]]'''. | + | אבל הנגזרת הראשונה מתאפסת ב- <math>a</math> ולכן המשיק הוא <math>y=f(a)</math> , ולכן הפונקציה קטנה ממנו בצד אחד וגדולה ממנו בצד השני ולכן <math>a</math> הנה '''[[נקודת פיתול]]'''. |
גרסה אחרונה מ־06:24, 14 בפברואר 2017
הגדרת נקודה חשודה
תהי פונקציה ממשית. נקודה בתחום ההגדרה של נקראת חשודה אם או שהנגזרת אינה מוגדרת ב- .
סיווג נקודות חשודות
משפט: תהי פונקציה הגזירה ברציפות פעמים בסביבת הנקודה . עוד נניח כי
אזי:
- אם זוגי וגם אזי נקודת מינימום מקומי.
- אם זוגי וגם אזי נקודת מקסימום מקומי.
- אם אי-זוגי אזי נקודת פיתול.
הוכחה:
לפי טיילור לכל בסביבה קיימת נקודה בין לבין כך ש:
אבל לפי ההנחה כי הנגזרות הראשונות מתאפסות ב- , מתקיים
לכן, אם זוגי וגם לפי רציפות הנגזרת השניה קיימת סביבת בה ולכן לכל בסביבה מתקיים:
שכן תמיד עבור זוגי.
כלומר אם אזי הנה נקודת מינימום.
באופן דומה, אם אזי הנה נקודת מקסימום.
אם אי-זוגי, אזי הסימן של חיובי בסביבה ימנית של ושלילי משמאלה.
כיון שסימן קבוע בסביבת , סה"כ מצד אחד ומהצד השני .
אבל הנגזרת הראשונה מתאפסת ב- ולכן המשיק הוא , ולכן הפונקציה קטנה ממנו בצד אחד וגדולה ממנו בצד השני ולכן הנה נקודת פיתול.