הצגת המקור של הדף "נגזרת"

{{פירוש נוסף|נוכחי=נגזרת מתמטית|אחר=משמעות אחרת|ראו=[[נגזרת (פירושונים)]]}}
[[קובץ:Tangent-calculus he.png|שמאל|ממוזער|250px|משיק לגרף פונקציה (הנגזרת בנקודת ההשקה היא שיפוע המשיק)]]
[[קובץ:Graph of sliding derivative line.gif|שמאל|ממוזער|250px|אנימציה הממחישה את מושג הנגזרת כשיפוע המשיק לגרף הפונקציה בכל נקודה]]
{{סימון מתמטי}}
ב[[חשבון אינפיניטסימלי]], ה'''נגזרת''' של [[פונקציה ממשית]] מתארת את ההשתנות של פונקציה ביחס לשינוי ה[[משתנה|פרמטר]] שהיא מוגדרת לפיו. למושג הנגזרת ישנו חשיבות גדולה ב[[פיזיקה]], שכן גדלים פיזיקליים רבים כמו [[מהירות]] ו[[תאוצה]] מוגדרים באמצעות נגזרות. חוקי התנועה בענפים רבים בפיזיקה מבוססים על [[משוואה דיפרנציאלית|משוואות דפרנציאליות]] - משוואות הקושרות גדלים עם הנגזרות שלהם. לדוגמה, הנגזרת לפי משתנה הזמן של פונקציית המיקום ([[העתק (פיזיקה)|העתק]]) של מכונית נוסעת, היא פונקציית ה[[מהירות]] של המכונית, ובאותו אופן הנגזרת של פונקציית המהירות שווה לפונקציית ה[[תאוצה]]. הנגזרת לפי משתנה הזמן של פונקציית המיקום של המכונית בזמן מסוים נקראת המהירות הרגעית של המכונית בזמן זה. הנגזרת מוגדרת כ[[גבול של פונקציה|גבול]] של היחס שבו משתנה ערך הפונקציה בעקבות שינוי זעיר בערך הפרמטר.

[[קובץ:What is derivative (animation).gif|ממוזער|תחומי העלייה והירידה של גרף הפונקציה תואמים את תחומי החיוביות והשליליות של הנגזרת]]

'''הפונקציה הנגזרת''' של פונקציה ממשית <math>f</math> היא בעצמה פונקציה ממשית, שערכה בנקודה <math>x</math> שווה לערך הנגזרת של <math>f</math> באותה נקודה. הפונקציה הנגזרת היא כלי בסיסי בחקר הפונקציות. למשל, ב[[נקודת קיצון|נקודות קיצון]] מקומיות (נקודות מינימום ומקסימום מקומיים של הפונקציה) של פונקציה גזירה ערך הפונקציה הנגזרת הוא אפס. לפי [[המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי]], אפשר, בתנאים מסוימים, לשחזר את הפונקציה המקורית מן הפונקציה הנגזרת שלה, באמצעות [[אינטגרל|אינטגרציה]]. את הנגזרת של [[פונקציה אלמנטרית]] אפשר לחשב באמצעות כללי גזירה ידועים. לא לכל [[פונקציה רציפה (אנליזה)|פונקציה ממשית רציפה]] יש בהכרח נגזרת (לדוגמה: [[פונקציית ויירשטראס]]); פונקציה בעלת נגזרת נקראת [[פונקציה גזירה]] (בנקודה או ב[[קטע (מתמטיקה)|קטע]]). את מושג הנגזרת אפשר להכליל ל[[פונקציה מרוכבת|פונקציות מרוכבות]] ולפונקציות (ממשיות או מרוכבות) בכמה משתנים. במקרה האחרון הנגזרת היא [[וקטור (אלגברה)|וקטור]] שרכיביו הם ה[[נגזרת חלקית|נגזרות החלקיות]] של הפונקציה. ב[[אלגברה מופשטת]] נחקרות התכונות האלגבריות של הנגזרת בענף הנקרא [[אלגברה דיפרנציאלית]].

למושג הנגזרת יש פירוש [[גאומטריה|גאומטרי]]: הנגזרת של פונקציה בנקודה שווה ל[[שיפוע]] ה[[משיק]] באותה נקודה, כלומר, לכיוון של ה[[עקומה]] שהפונקציה מתארת.

== הגדרה ==

הנגזרת של פונקציה <math>f</math> בנקודה <math>x</math> מוגדרת כ[[גבול של פונקציה|גבול]] <math>\lim_{\Delta x \to 0}\frac{f(x+\Delta x)-f(x)}{\Delta x}</math> כאשר <math>\Delta x</math> שואף לאפס, בתנאי שהגבול קיים (וסופי). גבול זה שווה לגבול שיפוע הישר המחבר את הנקודה <math>(x,f(x))</math> שעל [[גרף של פונקציה|גרף הפונקציה]] עם הנקודה הקרובה לה <math>,(x+\Delta x,f(x+\Delta x))\,</math> כאשר <math>\Delta x</math> שואף לאפס, ולכן הנגזרת מתארת את שיפוע המשיק בנקודה. את ערך הנגזרת מקובל לסמן ב- <math>f'(x)</math> או <math>\dot{f}(x)</math>.

אם לפונקציה יש נגזרת בנקודה, אומרים שהפונקציה '''גזירה''' שם; הפונקציה גזירה בקטע ממשי <math>D</math> אם היא גזירה בכל הנקודות שלו.

'''הפונקציה הנגזרת''' של פונקציה גזירה <math>f</math> היא הפונקציה המתאימה לכל <math>x</math> את הנגזרת <math>f'(x)</math>. את הפונקציה הזו מסמנים ב- <math>f'</math> או <math>\dot f\left(x \right)</math> (כשמדובר בנגזרת של פונקציה התלויה בזמן), או בסימון <math>\frac{df}{dx}</math>. כאן
<math>x </math> הוא שם המשתנה שלפיו גוזרים את הפונקציה. בפונקציה של כמה משתנים אפשר להתייחס לכולם פרט לאחד כאילו היו קבועים, ולגזור את הפונקציה לפי המשתנה שאינו קבוע. לנגזרת כזו קוראים [[נגזרת חלקית]], ומסמנים <math>\frac{\partial f}{\partial x}</math>.

== סימון לנגזרת ==
להלן סימונים מקובלים נוספים, המשמשים לסימון נגזרות. אלו הם הסימונים של [[לייבניץ]] ובאופן אינטואיטיבי הם מייצגים את הנגזרת כמנה של [[דיפרנציאל (מתמטיקה)|דיפרנציאלים]] השואפים לאפס. סימונים אלה שימושיים ב[[פיזיקה]], ב[[אנליזה וקטורית]] ובפתרון [[משוואות דיפרנציאליות]].

נגזרת מלאה לפי <math>t</math> :
: <math>f'(t) = \frac{df(t)}{dt}</math>
: <math>f''(t) = \frac{d^2 f(t)}{dt^2}</math>
: <math>f^{(n)}(t) = \frac{d^n f(t)}{dt^n}</math>

נגזרות חלקיות (לפי <math>x</math> או <math>y</math>):
: <math>f_x(x,y) = \left(\frac{\partial f(x,y)}{\partial x} \right) _{y} = \partial _x f(x,y)</math>
: <math>f_{xy}(x,y) = \frac{\partial^2 f(x,y)}{\partial x \partial y} </math>

הסימון <math>\partial _x f(x,y)</math> מתאר נגזרת חלקית כ[[אופרטור]] הפועל על הפונקציה, ונועד לקיצור הכתיבה.

ב[[פיזיקה]] נהוג לסמן נגזרת ראשונה לפי הזמן בנקודה מעל סימון הפונקציה (למשל <math>\dot{x}</math> היא הנגזרת של הפונקציה <math>x</math> לפי הזמן), ונגזרת שנייה לפי הזמן בשתי נקודות מעל סימון הפונקציה. כך למשל, [[החוק השני של ניוטון]], הנכתב בדרך כלל כ-<math>F=ma</math>, יכתב כ-<math>F=m \ddot{x}</math> (שכן הנגזרת השנייה של המיקום לפי הזמן של גוף כלשהו היא [[תאוצה|תאוצתו]]).

== כללי גזירה ==
כללי הגזירה הבסיסיים מטפלים בפעולות אריתמטיות בין פונקציות:
* '''[[אדיטיביות]]''': לכל שתי פונקציות <math>f</math> ו-<math>g</math>, <math>(f+g)' = f'+g'</math>.
* '''[[הומוגניות (מתמטיקה)|הומוגניות]]''': לכל פונקציה <math>f</math> וקבוע <math>c</math>, מתקיים <math>(cf)' = cf'</math>.
* '''[[אופרטור ליניארי|ליניאריות]]''': <math>\left(\sum_{i=1}^n c_i f_i \right)' = \sum_{i=1}^n c_i f_i'</math>
* '''כלל המכפלה''' ([[כלל לייבניץ]]): <math>(f\cdot g)'= f' \cdot g + f \cdot g'</math>. מכאן נובעת הנוסחה לנגזרת ה-<math>n</math>: <math>(f \cdot g)^{(n)}=\sum_{k=0}^n {n \choose k} f^{(k)} g^{(n-k)}</math>, כאשר <math>{n \choose k}</math> הוא [[מקדם בינומי|המקדם הבינומי]].
* '''כלל המנה''': כאשר <math>g\neq 0</math>, <math> \left(\frac{f}{g} \right)' = \frac{f'\cdot g - f\cdot g'} {g^2}</math>.

ניתן להשתמש בגזירה סתומה ולקבל נוסחה לגזירה של פונקציה בחזקת פונקציה: <math>\left(f(x)^{g(x)}\right)' = f^{g-1}\left(f'g+fg'\ln{f}\right)</math>

את הנגזרת של [[הרכבת פונקציות]] אפשר לחשב באמצעות
* '''[[כלל השרשרת]]''': אם <math>f(x) = h(g(x))</math>, אז <math>f'(x) = h'(g(x)) \cdot g'(x) \,</math>. כאשר <math> g'(x)</math> היא הנגזרת הפנימית.

אפשר לחשב את הנגזרת גם אם הפונקציה נתונה באופן [[פונקציה סתומה|סתום]]. לדוגמה, אם <math>x^3+y^3=1</math> מגדיר את <math>y</math> כפונקציה של <math>x</math>, אז גזירה לפי <math>x</math> נותנת <math>3x^2+3y^2y'=0</math>, או <math>y' = -\frac{x^2}{y^2}</math>. [[משפט הפונקציה הסתומה]] מכליל שיטה זו לפונקציות בכמה משתנים.

הנגזרת של [[פונקציה זוגית]] היא [[פונקציה אי זוגית]] ולהפך. עובדה זו נקראת לפעמים "חוק הזוגיות".

====דוגמה====
כדוגמה לשימוש בכללי הגזירה, הנגזרת של הפונקציה:
: <math>f(x) = x^4 + \sin (x^2) - \ln(x) e^x + 7\,</math>
היא
:<math>
\begin{align}
f'(x) &= 4 x^{(4-1)}+ \frac{d\left(x^2\right)}{dx}\cos (x^2) - \frac{d\left(\ln {x}\right)}{dx} e^x - \ln{x} \frac{d\left(e^x\right)}{dx} + 0 \\
 &= 4x^3 + 2x\cos (x^2) - \frac{1}{x} e^x - \ln(x) e^x
\end{align}
</math>
את הביטוי השני חישבנו באמצעות כלל השרשרת, ואת השלישי באמצעות כלל המכפלה. כמו כן, השתמשנו בנגזרות הידועות של הפונקציות הבסיסיות (ראו בטבלאות).

=== גזירה נומרית ===

ניתן לחשב קירוב לנגזרת של פונקציה באמצעות [[אנליזה נומרית]]. אם נתונה הקבוצה <math>\left\{ x_i \right\}</math>, כך שבכל נקודה <math>x_i</math> נתון ערך הפונקציה <math>f(x_i)</math>, ישנן מספר שיטות לקבל קירוב של הנגזרת בנקודה <math>x_i</math>. לדוגמה, כאשר נתון ערך הפונקציה בשלוש נקודות <math>x_{i-1},x_i,x_{i+1}</math>, ניתן לקבל קירוב לנגזרת ב-<math>x_i</math> באמצעות הנוסחה <math>f'(x_i) \approx \frac{\frac {h_i}{h_{i+1}}(f_{i+1} - f_i) - \frac{h_{i+1}}{h_i}(f_{i-1} - f_i)}{h_i + h_{i+1}} </math> כאשר <math>h_i = x_{i} - x_{i-1}</math>.

== גזירות ורציפות ==

רציפות הוא תנאי הכרחי לכך שפונקציה תהיה גזירה. אם פונקציה גזירה בנקודה מסוימת, היא [[רציפות|רציפה]] בנקודה זו. ההפך אינו נכון - פונקציית הערך המוחלט <math>|x|</math> רציפה בכל הישר, אך אינה גזירה בנקודה <math>x=0</math>. [[פונקציית ויירשטראס]] היא פונקציה שרציפה בכל נקודה, אך לא גזירה באף נקודה. הנגזרת עצמה אינה חייבת להיות רציפה. לדוגמה, הפונקציה:
: <math>f(x) = \begin{cases} x^2 \sin(1/x) & \mbox{ if } x \ne 0 \\ 0 & \mbox{ if } x = 0 \end{cases}</math>
רציפה ב-<math>x=0</math>, אך לפי הגדרת הנגזרת מקבלים <math>f'(0)=0</math>, אבל <math>\lim_{x \to 0} f'(x) = \lim_{x \to 0}\left[ 2x \sin(1/x) - \cos(1/x) \right] \ne 0</math>. למעשה לנגזרת יש כאן אי-רציפות מסוג שני.

עם זאת, לא כל פונקציה יכולה להיות נגזרת, ולפונקציות שהן נגזרת של פונקציה אחרת יש "נטייה" מסוימת לרציפות. לדוגמה, הן מקיימות את מסקנת [[משפט ערך הביניים]] החל בדרך כלל רק על פונקציות רציפות: אם פונקציה גזירה בקטע סגור, הנגזרת שלה מקבלת כל ערך בין הערכים שהיא מקבלת בקצוות הקטע (זהו [[משפט דארבו]]).

תהי <math>f</math> פונקציה גזירה בקטע. קבוצת נקודות אי-הרציפות של הנגזרת <math>f'</math> היא [[קבוצה מקטגוריה ראשונה]] במובן בר, כלומר מוכלת ב[[איחוד (מתמטיקה)|איחוד]] [[בן מניה]] של [[קבוצה דלילה|קבוצות דלילות]]. הסיבה לכך היא שהנגזרת היא הגבול הנקודתי של סדרת הפונקציות הרציפות <math>f_n(x) = n(f(x+1/n)-f(x))</math> (ראו [[סדרת פונקציות]]), וקבוצת נקודות אי-הרציפות של פונקציה כזו היא תמיד מקטגוריה ראשונה (לפי [[משפט הקטגוריה של בר]]). בפרט, קבוצת נקודות הרציפות של הנגזרת צפופה בקטע.

לנגזרת לא יכולה להיות אי-רציפות מסוג קפיצה: אם <math>f'</math> אינה רציפה בנקודה, אז אין לה גבול שם.

== ערך הנגזרת בנקודה ==
=== נקודות קיצון ===
{{הפניה לערך מורחב|נקודת קיצון}}

אחד השימושים הבולטים לנגזרת הוא באיתור [[נקודת קיצון|נקודות קיצון]] ([[מקסימום מקומי|מקסימום]] או [[מינימום מקומי]]). [[משפט פרמה (לנקודות קיצון)|משפט פרמה]] קובע שהנגזרת חייבת להתאפס בכל נקודת קיצון. ההפך אינו בהכרח נכון - נגזרת יכולה להיות שווה לאפס גם בנקודה שאינה מקסימום או מינימום, אלא [[נקודת פיתול]] או אחרת.

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

דוגמאות:
:* לפונקציה <math>y=(x-1)^2</math> יש מינימום בנקודה <math>x=1</math>, שבה הנגזרת שווה ל-0.
:* לפונקציה <math>y=-x^2</math> יש מקסימום בנקודה <math>x=0</math>, שבה הנגזרת שווה ל-0.
:* לפונקציה <math>y=x^3</math> יש נקודת פיתול בנקודה <math>x=0</math>, שבה הנגזרת שווה ל-0.
:* לפונקציה <math>y=x^2\sin(1/x)</math> יש נגזרת השווה ל-0 בנקודה <math>x=0</math> אך זו אינה נקודת קיצון ואף לא נקודת פיתול. נרחיב בעניין זה:

נגדיר את הפונקציה:
<center>
<math>
f(x) = \left\{\begin{matrix}
x^2\sin(\frac{1}{x}) & \mbox{if } x\ne0 \\
0 & \mbox{if } x =0 \end{matrix}\right.
</math>
</center>
פונקציה זו רציפה באפס (מכפלה של [[פונקציה חסומה]] בפונקציה השואפת לאפס), היא גם גזירה באפס:

<center>
<math>
f'(0)= \lim_{h \to 0} \frac{f(h) - f(0)}{h} = \lim_{h \to 0}
\frac{h^2\sin(\frac{1}{h}) - 0}{h}
=0
</math>
</center>
אולם אפס אינה נקודת קיצון: נגדיר
<math>x_n=\frac{1}{2\pi n+\pi/2}</math>,
<math>y_n=\frac{1}{2\pi n+3\pi/2}</math>, אזי
<math> f(x_n)>0</math>
<math> f(y_n)<0</math>. מכאן שב'''כל סביבה''' של אפס יש [[אינסוף]] נקודות בהן הפונקציה חיובית, ואינסוף נקודות בהן הפונקציה שלילית, ולכן אפס אינה יכולה להיות נקודת קיצון (לו אפס הייתה נקודת מקסימום או מינימום, הייתה סביבה סביב 0 בה הפונקציה קטנה או גדולה מאפס, בהתאמה). אפס גם אינה [[נקודת פיתול]], שכן נקודת פיתול היא נקודה שבה המשיק לגרף הפונקציה נמצא מצד אחד מעל הפונקציה, ובצד השני מתחת לפונקציה. במקרה זה המשיק הוא
<math> y=0</math> (ציר <math> x</math>), ואותו טיעון כמו קודם מראה שאין חצי סביבה של אפס שבה הפונקציה כולה מתחת או מעל לציר ה-<math> x</math>. כלומר, אף על פי שהנגזרת היא אפס, הנקודה אינה נקודת קיצון, ואינה נקודת פיתול.

'''הערות נוספות על הפונקציה:'''
* אם נגזור אותה, נקבל כי הנגזרת היא:
<center>
<math>
f'(x) = \left\{\begin{matrix}
2x\sin(\frac{1}{x})-\cos(\frac{1}{x}) & \mbox{if } x\ne0 \\
0 & \mbox{if } x =0 \end{matrix}\right.
</math>
</center>
כלומר הנגזרת אינה רציפה באפס (זוהי אי-רציפות מן הסוג השני, כפי שמבטיח [[משפט דארבו]]).
* דוגמה מעניינת נוספת היא הפונקציה:
<center>
<math>
g(x)=f(x)+x^2 = \left\{\begin{matrix}
x^2(\sin(\frac{1}{x})+1) & \mbox{if } x\ne0 \\
0 & \mbox{if } x =0 \end{matrix}\right.
</math>
</center>
זוהי פונקציה רציפה וגזירה. לפונקציה זו יש מינימום מקומי באפס, אבל בניגוד לאינטואיציה אין חצי סביבה שמאלית של אפס שבה הפונקציה מונוטונית יורדת, ואין חצי סביבה ימנית של אפס שבה הפונקציה מונוטונית עולה.

=== ערך ממוצע והכללות ===
לפי [[משפט רול]], אם פונקציה גזירה בקטע פתוח, רציפה בקצותיו וערכיה בקצותיו שווים, הנגזרת שלה מתאפסת בתוך הקטע.

[[משפט הערך הממוצע של לגראנז'|משפט לגראנז']] [[הכללה (מתמטיקה)|מכליל]] את משפט רול: אם פונקציה גזירה בקטע פתוח ורציפה בקצותיו, יש נקודה בתוך הקטע שהנגזרת בה שווה לשיפוע המיתר המחבר את שתי נקודות הקצה של הפונקציה. [[משפט הערך הממוצע של קושי]] מכליל משפט זה.

== הכללות ==
===נגזרות חד-צדדיות===
ניתן להגדיר גם נגזרת מימין <math> f'_+(x)</math>, ונגזרת משמאל <math> f'_-(x)</math>. הנגזרות החד-צדדיות מוגדרות על ידי הגבולות:
:<math>f'_+(x)= \lim_{h \downarrow 0} \frac{f(x+h) - f(x)}{h}</math>
:<math>f'_-(x)= \lim_{h \uparrow 0} \frac{f(x+h) - f(x)}{h}</math>
כלומר חישוב הגבול נעשה רק בסביבה ימנית או בסביבה שמאלית של הנקודה.

'''הערות''':
* לפונקציית הערך המוחלט <math> f(x)=|x|</math> אין נגזרת ב-<math>x=0</math> אולם שתי הנגזרות החד-צדדיות קיימות: <math> f'_+(0)=1,\quad f'_-(0)=-1</math>
* פונקציה היא גזירה בנקודה [[אם ורק אם]] קיימות באותה נקודה שתי הנגזרות החד-צדדיות, והן שוות.
* ל[[פונקציה קמורה]] המוגדרת בקטע פתוח יש נגזרות חד-צדדיות בכל נקודה בקטע.

===נגזרת של פונקציה מרוכבת===
ניתן להגדיר נגזרת של [[פונקציה מרוכבת]] <math>f(z)</math> בנקודה <math>z_0 \in \mathbb{C}</math>, בדיוק כפי שמגדירים נגזרת לפונקציה ממשית, באמצעות הגבול <math>\lim_{\Delta z\rarr 0}\frac{f(z_0+\Delta z)-f(z_0)}{\Delta z}</math>. בניגוד לגבול בפונקציות ממשיות, הגבול כאן נלקח כאשר <math>\Delta z\rarr 0</math> ב[[המישור המרוכב|מישור המרוכב]], ולא לאורך [[הציר הממשי]].

אף על פי שאפשר לראות את <math>f</math> גם כפונקציה <math>\mathbb{R}^2\rightarrow \mathbb{R}^2</math>, הנגזרת המרוכבת שונה מן הנגזרת הממשית (של פונקציה בשני משתנים), וקיומה הוא תנאי חזק יותר. [[תנאי הכרחי ומספיק]] לקיומה של נגזרת מרוכבת נתון ב[[משוואות קושי-רימן]].

===נגזרות בפונקציות של כמה משתנים===
בפונקציות של כמה משתנים, מושג הגזירות של פונקציה מוחלף במושג ה[[דיפרנציאביליות]] שלה, שפירושו שקיים לפונקציה [[קירוב ליניארי]]. מושג זה מתלכד עם מושג הגזירות בפונקציות של משתנה יחיד. בנוסף לכך, כאשר גוזרים פונקציה של כמה משתנים על פי משתנה יחיד, ומתייחסים לשאר המשתנים כקבועים, הנגזרת המתקבלת נקראת [[נגזרת חלקית]] של הפונקציה. מושגי הדיפרנציאביליות והנגזרות החלקיות קשורים ביניהם בקשר הדוק - נגזרת חלקית של פונקציה לפי אחד המשתנים יכולה להיות קיימת או לא (כמו שפונקציה של משתנה אחד יכולה להיות גזירה או לא) אבל מושג הדיפרנציאביליות של פונקציה עם יותר ממשתנה אחד הוא מושג חזק יותר מקיום של נגזרות חלקיות. כלומר: אפילו אם לפונקציה עם כמה משתנים קיימות כל הנגזרות החלקיות שלה אין זה אומר בהכרח שהיא דיפרנציאביליות, אבל אם היא דיפרנציאביליות אז בהכרח קיימות כל הנגזרות החלקיות שלה.

===נגזרת פורמלית===
{{ערך מורחב|נגזרת (אלגברה)}}
ניתן לנצל את תכונות הנגזרת גם במבנים אלגבריים כללים, בהם לא ניתן לגזור פונקציות באופן הרגיל (על ידי גבולות). לדוגמה, בשדות כלשהם, אפילו מ[[מאפיין של שדה|מאפיין]] שונה מ-0, ניתן להגדיר את פעולת הנגזרת על ה[[פולינום|פולינומים]] כ[[העתקה ליניארית|אופרטור ליניארי]] שמקיימת לכל <math>n</math> טבעי <math>(x^n) ' = n x^{n-1}</math>. ניתן להראות שהנגזרת הפורמלית כמו שהוגדרה מקיימת את התכונות הבסיסיות של הנגזרת הרגילה (ליניאריות, כלל המכפלה, וכלל השרשרת), ובנוסף מאפשרת בחינה נוחה של תכונות מסוימות של פולינומים. לדוגמה, כדי לבדוק האם [[פולינום]] נתון הוא [[פולינום ספרבילי|ספרבילי]], די לבדוק שהוא [[מחלק משותף מקסימלי|זר]] לנגזרת הפורמלית שלו.

=== נגזרת פרשה ונגזרת גאטו ===
בעוד שהנגזרת הסטנדרטית מוגדרת אך ורק לפונקציות ממשיות, ניתן להרחיב את מונח הנגזרת לפונקציות המוגדרות בין שני [[מרחב בנך|מרחבי בנך]] כלליים בשתי דרכים: [[נגזרת פרשה]] ו[[נגזרת גאטו]].

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

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

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

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

=== שימושי הנגזרת השנייה ===
==== סיווג [[נקודת קיצון]] ====
על ידי הנגזרת השנייה ניתן לסווג [[נקודת קיצון]] לנקודות מינימום, או לנקודות מקסימום במקומות בהם הנגזרת הראשונה מתאפסת. ניתן להציב את שיעור ה-<math>x</math> בנקודה בה הנגזרת הראשונה מתאפסת בנגזרת השנייה ובכך לגלות האם מדובר בנקודת מינימום, או מקסימום. בנקודות מינימום הנגזרת השנייה תהיה חיובית, ובנקודות מקסימום הנגזרת השנייה תהיה שלילית.

====מציאת נקודות פיתול====
{{הפניה לערך מורחב|נקודת פיתול}}
בנקודת פיתול הנגזרת השנייה מתאפסת. נקודת פיתול היא נקודה המפרידה בין קטע בפונקציה בו הפונקציה היא [[פונקציה קמורה|קמורה]], לבין קטע בפונקציה בו היא [[פונקציה קעורה|קעורה]]. במילים אחרות, נקודת פיתול היא הנקודה בה משתנה שיפוע הנגזרת הראשונה מחיובי לשלילי ולהפך.

====טור טיילור====
ראה {{הפניה לערך מורחב|טור טיילור}}

== נגזרות בסיסיות ==
בטבלאות מוצגות הנגזרות הידועות למספר פונקציות שימושיות. בנוסחאות הגזירה שלהלן, <math>c</math> ו-n קבועים, ו-a הוא מקדם.

:<math>{d \over dx} c = 0</math>

:<math>{d \over dx} ax = a</math>

:<math>{d \over dx} x^n = nx^{n-1}</math> (כאשר הביטויים <math>x^c</math> ו-<math>cx^{c-1}</math> מוגדרים) כלל זה מכונה גם כלל החזקה.
:

נגזרות של [[פונקציה מעריכית|פונקציות מעריכיות]] ו[[לוגריתם|לוגריתמיות]]

:<math>{d \over dx} e^x = e^x</math>

:<math>{d \over dx} a^x = \ln a \cdot a^x</math>

:<math>{d \over dx} \ln x = {1 \over x} \qquad x > 0</math>

:<math>{d \over dx} \log_a x = {1 \over \ln a \cdot x} \qquad x > 0</math>

נגזרות של [[פונקציות טריגונומטריות]]

:<math>{d \over dx} \sin x = \cos x</math>

:<math>{d \over dx} \cos x = -\sin x</math>

:<math>{d \over dx} \tan x = \sec^2 x = { 1 \over \cos^2 x}</math>

:<math>{d \over dx} \sec x = \tan x \sec x</math>

:<math>{d \over dx} \cot x = -\csc^2 x = -{ 1 \over \sin^2 x}</math>

:<math>{d \over dx} \csc x = -\csc x \cot x</math>

:<math>{d \over dx} \arcsin x = { 1 \over \sqrt{1 - x^2}}</math>

:<math>{d \over dx} \arccos x = -{ 1 \over \sqrt{1 - x^2}}</math>

:<math>{d \over dx} \arctan x = { 1 \over 1 + x^2}</math>

:<math>{d \over dx} \arcsec x = { 1 \over x \sqrt{x^2 - 1}}</math>

:<math>{d \over dx} \arccot x = -{1 \over 1 + x^2}</math>

:<math>{d \over dx} \arccsc x = -{1 \over x \sqrt{x^2 - 1}}</math>

נגזרות של [[פונקציה היפרבולית|פונקציות היפרבוליות]]

:<math>{d \over dx} \sinh x = \cosh x = \frac{e^x + e^{-x}}{2}</math>

:<math>{d \over dx} \cosh x = \sinh x = \frac{e^x - e^{-x}}{2}</math>

:<math>{d \over dx} \tanh x = \operatorname{sech}^2\,x</math>

:<math>{d \over dx}\,\operatorname{sech}\,x = - \tanh x\,\operatorname{sech}\,x</math>

:<math>{d \over dx}\,\operatorname{coth}\,x = -\,\operatorname{csch}^2\,x</math>

:<math>{d \over dx}\,\operatorname{csch}\,x = -\,\operatorname{coth}\,x\,\operatorname{csch}\,x</math>

:<math>{d \over dx}\,\operatorname{arcsinh}\,x = { 1 \over \sqrt{x^2 + 1}}</math>

:<math>{d \over dx}\,\operatorname{arccosh}\,x = { 1 \over \sqrt{x^2 - 1}}</math>

:<math>{d \over dx}\,\operatorname{arctanh}\,x = { 1 \over 1 - x^2}</math>

:<math>{d \over dx}\,\operatorname{arcsech}\,x = -{ 1 \over x\sqrt{1 - x^2}}</math>

:<math>{d \over dx}\,\operatorname{arccoth}\,x = { 1 \over 1 - x^2}</math>

:<math>{d \over dx}\,\operatorname{arccsch}\,x = -{1 \over x \sqrt{1 + x^2}}</math>

== ראו גם ==
* [[כלל לופיטל]] - כלל יעיל לחישוב גבול של מנה של שתי פונקציות השואפות שתיהן לאפס או אינסוף, על ידי חישוב גבול המנה של הנגזרות שלהן.
* [[נגזרת חלשה]]

==קישורים חיצוניים==
{{מיזמים|ויקיספר=מתמטיקה תיכונית/חשבון דיפרנציאלי/הנגזרת של פונקציה|שם ויקיספר=נגזרת של פונקציה}}
* [http://wims.unice.fr/wims/wims.cgi?module=tool/analysis/function.en מחשבון נגזרות]
* {{דוידסון|ארז גרטי|נגזרות ואינטגרלים – לא כל כך נורא|tikshuv/math_and_comp/נגזרות-ואינטגרלים-לא-כל-כך-נורא|5 בנובמבר 2011}}
* {{לא מדויק|2010/11/21/derivative/|אז מה זו נגזרת?}}
*[https://www.lergo.org/index.html#!/public/lessons/5dc5a0e4255d51402dc60f24/intro מהי נגזרת?], באתר לרגו
* {{אנציקלופדיה למתמטיקה|Derivative}}
* {{MathWorld}}
* {{בריטניקה}}

{{אנליזה מתמטית}}

{{בקרת זהויות}}

[[קטגוריה:חשבון אינפיניטסימלי]]
[[קטגוריה:אופרטורים דיפרנציאליים]]
[[קטגוריה:פונקציות מתמטיות]]