역쌍곡함수의 미분법
📂함수역쌍곡함수의 미분법
공식
역쌍곡함수의 도함수는 다음과 같다.
dxd(sinh−1x)dxd(cosh−1x)dxd(tanh−1x)=x2+11=x2−11=1−x21dxd(csch−1x)dxd(sech−1x)dxd(coth−1x)=−∣x∣x2+11=−x1−x21=1−x21
설명
역쌍곡함수의 클로즈드 폼은 아래와 같다.
sinh−1xcosh−1xtanh−1x=ln(x+x2+1)=ln(x+x2−1)=21ln(1−x1+x)x∈Rx≤1−1<x<1
증명
(sinh−1x)′
연쇄법칙을 이용
y=sinh−1x라고 하자. 그러면 sinhy=x이므로 양변을 x에 대해서 미분하면 연쇄법칙에 의해,
dxdsinhy=(x)′⟹dydsinhydxdy=1⟹coshydxdy=1
따라서 다음을 얻는다.
dxdy=coshy1
그런데 cosh2y−sinh2y=1이고, sinhy=x이므로,
dxdy=sinh2y+11=x2+11
■
로그함수의 미분법을 이용
로그 함수의 미분법에 의해서,
dxd(sinh−1x)=dxdln(x+x2+1)=x+x2+1(x+x2+1)′=x+x2+11+2x2+12x=x+x2+1x2+1x+x2+1=(x+x2+1)x2+1x+x2+1=x2+11
■
(cosh−1x)′
위와 같은 방법으로 얻을 수 있으므로 간단히 과정만 나열한다.
⟹⟹y=cosh−1x⟹coshy=x⟹dxdcoshy=1sinhydxdy=1⟹dxdy=sinhy1dxdy=cosh2y+11=x2+11
(tanh−1x)′
위와 같은 방법으로 얻을 수 있으므로 간단히 과정만 나열한다.
⟹⟹y=tanh−1x⟹tanhy=x⟹dxdtanhy=1sech2ydxdy=1⟹dxdy=sech2y1dxdy=1−tanh2y1=1−x21