שינויים
בסתירה לכך ש <math>f </math> עולה ממש, שהרי בה"כ <math>x_1<x_2</math> ולכן <math> f(x_1) < f(x_2)</math> בסתירה להיותם שווים.
6 זלצמן וקליין) ג'. ד"ר שיין הוכיח טענה כמעט זהה - 7.8.
הוכחה: f עולה ממש ולכן לפי ההשאלה הקודמת היא חח"ע. f גזירה ב<math>x_0</math> ובפרט רציפה בסביבתה. לכן הפונ' ההפוכה מוגדרת ורציפה בסביבת <math>y_0</math>. כעת, לפי ההנחה <math>f</math> גזירה ב<math>x_0</math> ולכן <math>\lim_{x\rightarrow x_0}{\frac{f(x)-f(x_0)}{x-x_0}}=f'(x_0)</math>.
מכאן נקבל <math>\lim_{x\rightarrow x_0}{\frac{x-x_0}{f(x)-f(x_0)}}=\frac{1}{f'(x_0)}</math>, בהנחה שהנגזרת שונה מ-0. לכן <math>\lim_{y\rightarrow y_0}{\frac{f^{-1}(y)-f^{-1}(y_0)}{y-y_0}}=\frac{1}{f'(x_0)}</math> ובפרט קיים. לכן הפונ' ההפוכה גזירה בנקודה <math>x_0</math>. בכיוון ההפוך, נראה את הcontrapositive: אם הפונ' ההפוכה גזירה אז הנגזרת שווה להופכי של הנגזרת של f, ולכן הנגזרת שונה מ-0 (זה לא נימוק לגמרי פורמלי).
