미적분학정체
규칙:
임의 5 약 의 예


수학에서 함수 = f( ) y의 역은 어떤 식으로든 의 효과를 "undish"하는 함수다
(
형식적이고 자세한 정의는 역함수 참조). 의 은 f- f
로 표시되며
, 여기서 - )= 인
경우에만 f- 1로 표시된다
그들의 두 파생상품은 존재한다고 가정할 때 라이프니즈 표기법이 시사하는 바와 같이 상호적이다. 즉, 다음과 같다.

이 관계는 x의 에서
- 1( y)= 를 구별하고 체인 규칙을 적용하여 다음과 같은 결과를 도출한다.

x에 대한 x의 파생상품이 1인 것을 고려하면.
x에 대한 y의 의존도를 명시적으로 기재하고, 분화가 일어나는 지점은 역의 파생에 대한 공식(라그랑주 표기법에서)이 된다.
- - ()= f- ()) 1}{
![\left[f^{{-1}}\right]'(a)={\frac {1}{f'\left(f^{{-1}}(a)\right)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/662f1be67eb38c8d7ecf30fd8afda594671fbeec)
This formula holds in general whenever
is continuous and injective on an interval I, with
being differentiable at
(
) and where
. 같은 공식도 식과 같다.
![{\displaystyle {\mathcal {D}}\left[f^{-1}\right]={\frac {1}{({\mathcal {D}}f)\circ \left(f^{-1}\right)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b71cf74aa5480ff9d43a9823ceb5580914f923a5)
여기서 은(는) 함수의 공간에 대한 단일 파생 연산자를 나타내며
, 은 함수 구성을 나타낸다
.
기하학적으로 함수와 역함수는 = x 선에 반사 그래프를 가지고 있다
이 반사 연산은 어떤 선의 구배를 역행으로 바꾼다.
이(가) x 의 인접 지역에서 역수를 가지며
해당 시점의 파생상품이 0이 아니라고 가정하면, 그 역은 x x에서 구별할 수 있을 것으로 보장되며
위의 공식에 의해 주어진 파생상품을 갖는다.
예
- =
양수 x의 경우)의 역 = y x


x=
에서는 제곱근함수의 그래프가 제곱함수의 수평 탄젠트에 해당하는 수직이 되는 문제가 있다.
- =
실제 x의 경우)의 역 = y x
양수 의 경우


추가 속성

- 이것은 적분이 존재하는 경우에만 유용하다. 특히 는 통합 범위에 걸쳐 0이 아닌
f ( ) f이(가) 되어야 한다.
- 연속적인 파생상품을 갖는 함수는 파생상품이 0이 아닌 모든 지점의 인접성에 역행성을 가진다. 파생상품이 연속적이지 않다면 이것은 사실일 필요가 없다.
- 또 다른 매우 흥미롭고 유용한 재산은 다음과 같다.

- 여기서 은(는) 의 해독제를 나타낸다


- f(x)의 파생상품의 역행도 관심사인데, 이는 레전드르 변환의 볼록함을 보여주는 데 쓰이기 때문이다.
Let z= ( x) 그러면
( x) f 0
:

이는 이전 y= ( x) 을(를) 사용하여 표시할 수 있다
그러면 다음이 제공된다. 
따라서 다음과 같다.
유도까지, 우리는 어떠한 정수 n1{\displaystyle n\geq 1}≥에, z)f(n)()){\displaystyle z=f^{(n)}())}, f())의 n번째 파생 상품, y=f(n− 1)()){\displaystyle y=f^{(n-1)}())}과, 0<>에 f(나는)())≠ 0을 가정해;나는 ≤ n+1{\displaystyle f^{(나는)}(x. 이 결과 일반화할 수 있)\n 0
상위파생상품
에 주어진 체인 규칙은 f- ( ( x)= 를 구분하여 얻는다.x에
대한 더 높은 파생상품에 대해서도 동일한 과정을 계속할 수 있다. x에 대해 신원을 두 번 구분하면

다음과 같이 연쇄 규칙에 의해 더욱 단순화된다.

첫 번째 파생상품을 교체하고, 앞에서 얻은 정체성을 이용하여, 우리는

세 번째 파생상품도 이와 유사하다.

아니면 두 번째 파생상품에 대한 공식을 사용하는 것,

이러한 공식들은 파아디 브루노의 공식에 의해 일반화된다.
이 공식들은 또한 라그랑주의 표기법을 사용하여 쓸 수도 있다. 만약 f와 g가 invers라면,
![g''(x)={\frac {-f''(g(x))}{[f'(g(x))]^{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c374bf89ec0cde43e6ec3e86cbf86490e55f35d)
예
- = y는 역 = y을(를) 가지고
있다
역함수의 두 번째 파생상품에 대한 공식을 사용하여

하도록
,
직접 계산에 동의하는 겁니다
참고 항목
참조