פתרון אינפי 1, תש"נ

שאלה 1

טענה 7.8 אצל ד"ר שיין: תהי $f$ פונקצ' המוגדרת בסביבת $x_0$. נניח כי $f$ גזירה ב-$x_0$ וגם $f'(x_0) \neq 0$ וגם קיימת הפונקצייה ההפוכה $f^{-1}$ ורציפה בנקודה $y_0=f(x_0)$. אזי $f^{-1}$ גזירה ב-$y_0$, ונגזרתה שם שווה ל- $\frac{1}{f'(x_0)}$.

הוכחה: לפי ההנחה, f גזירה ב-$x_0$ ולכן עפ"י ההגדרה מתקיים $\lim_{x\rightarrow x_0}\frac{f(x)-f(x_0)}{x-x_0}=f'(x_0)$.

לפי כללי האריתמטיקה (חשבון) של גבולות, מתקיים: $\frac{1}{\lim_{x\rightarrow x_0}\frac{f(x)-f(x_0)}{x-x_0}}=\lim_{x\rightarrow x_0}\frac{x-x_0}{f(x)-f(x_0)}=\frac{1}{f'(x_0)}$.

לפי ההנחות $f^{-1}$ רצפיה ב$y_0$, ולכן הביטוי הנ"ל שווה גם ל