זהי הכללה של המקרה הפרטי בו
n
=
1
{\displaystyle \ n=1}
: תהי
f
:
A
⟶
R
{\displaystyle f:A\longrightarrow \mathbb {R} }
גזירה ברציפות. תהי
a
∈
A
{\displaystyle a\in A}
נקודה המקיימת
f
′
(
a
)
≠
0
{\displaystyle f'(a)\neq 0}
מעובדה זו ומרציפות הנגזרת ניתן להסיק שקיימת
δ
>
0
{\displaystyle \ \delta >0}
שלכל
x
∈
(
a
−
δ
,
a
+
δ
)
{\displaystyle \ x\in (a-\delta ,a+\delta )}
,
f
′
(
x
)
≠
0
{\displaystyle \ f'(x)\neq 0}
.
נניח כי
f
′
(
a
)
>
0
{\displaystyle \ f'(a)>0}
אז מהיות
f
′
{\displaystyle \ f'}
רציפה, לכל
x
∈
(
a
−
δ
,
a
+
δ
)
{\displaystyle \ x\in (a-\delta ,a+\delta )}
,
f
′
(
x
)
>
0
{\displaystyle \ f'(x)>0}
שהרי אחרת היה קיים
x
0
∈
(
a
−
δ
,
a
+
δ
)
{\displaystyle \ x_{0}\in (a-\delta ,a+\delta )}
,
f
′
(
x
0
)
=
0
{\displaystyle \ f'(x_{0})=0}
ממשפט ערך הביניים.
לכן
f
{\displaystyle \ f}
מונוטונית עולה ממש בכל
(
a
−
δ
,
a
+
δ
)
{\displaystyle \ (a-\delta ,a+\delta )}
גורר ש
f
{\displaystyle \ f}
חד-חד-ערכית בכל
(
a
−
δ
,
a
+
δ
)
{\displaystyle \ (a-\delta ,a+\delta )}
.
מכאן ניתן להגדיר
f
−
1
:
f
(
(
a
−
δ
,
a
+
δ
)
)
⟶
(
a
−
δ
,
a
+
δ
)
{\displaystyle f^{-1}:f((a-\delta ,a+\delta ))\longrightarrow (a-\delta ,a+\delta )}
הגזירה בכל נקודה פנימית ב
(
a
−
δ
,
a
+
δ
)
{\displaystyle \ (a-\delta ,a+\delta )}
על פי הגדרת הנגזרת של פונקציה הפיכה :
(
f
−
1
)
′
(
x
)
=
1
f
′
(
f
−
1
(
x
)
)
{\displaystyle \left(f^{-1}\right)'(x)={\frac {1}{f'\left(f^{-1}(x)\right)}}}
כי
f
−
1
(
x
)
∈
(
a
−
δ
,
a
+
δ
)
{\displaystyle f^{-1}(x)\in (a-\delta ,a+\delta )}
ובקטע זה הנגזרת של
f
{\displaystyle \ f}
שונה מ-0.