최근 수정 시각 : 2022-08-14 07:51:08

도함수표


파일:관련 문서 아이콘.svg   관련 문서: 역도함수표
,
,
,
,
,

해석학 · 미적분학
Analysis · Calculus
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px; letter-spacing: -1px"
<colbgcolor=#8f76d6> 함수 합성 · 항등원 · 역원 · 멱함수( 비례·반비례) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수( 변분법) · 다변수 ( 동차 · 숨은 함수( 다가 함수)) · 그래프 · 대칭 · 증감표 · 극값 · 영점 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수 · 해석적 연속 · 로그함수 · 지수함수 · 삼각함수
정리 · 토픽 좌표계 · 중간값 정리 · 최대·최소 정리 · 부동점 정리 · 오일러 동차함수 정리 · 립시츠 규칙 · 스펙트럼 정리
극한 엡실론-델타 논법( 수열의 극한) · 수렴 ( 균등수렴) · 발산 · 부정형 · 어림( 유효숫자 · 오차 · 불확도) · 근방 · 점근선 · 무한대 · 무한소 · 스털링 근사
정리 · 토픽 로피탈의 정리 · 슈톨츠-체사로 정리
수열
급수
규칙과 대응 · 단조 수렴 정리 · 멱급수 · 테일러 급수 ( 일람) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
정리 · 토픽 바젤 문제 · 라마누잔합 · 0.999…=1 · 콜라츠 추측미해결
미적분 미분 도함수 ( 편도함수) · 도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점) · 미분형식 · 미분방정식 ( 풀이) · [math(boldsymbolnabla)] · 라그랑주 승수법
적분 역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 정적분 ( 예제) · 이상적분 · 중적분 ( 선적분 · 면적분 · 야코비안) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽 미적분의 기본정리 ( 선적분의 기본정리) · 평균값 정리 ( 롤의 정리) · 스토크스 정리 ( 발산 정리 · 그린 정리) · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환 · 아다마르 변환) · 2학년의 꿈 · 리시 방법

해석
실수 · 측도론 ( 측도 · 르베그 측도) · 실직선 · 유계( 콤팩트성) · 칸토어 집합 · 비탈리 집합
정리 · 토픽
복소
해석
복소수( 복소평면) · 편각 · 코시-리만 방정식
정리 · 토픽 오일러 공식 ( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
여타 하위 학문 해석기하학 · 미분기하학 · 해석적 정수론 ( 소수 정리 · 리만 가설미해결) · 벡터 미적분학( 야코비 공식) · 확률론 ( 확률변수 · 중심극한정리) · 수치해석학 ( 유한요소해석 · 전산유체역학)
기타 뉴턴-랩슨 방법 · 디랙 델타 함수 · 카오스 이론 · 오일러 방정식 · 퍼지 논리 · 거리함수 · merry=x-mas
응용 수리물리학 · 수리경제학( 경제수학) · 공업수학 }}}}}}}}}

1. 개요

여러 함수 도함수를 수록한 문서이다. 미분한 결과만을 정리한 문서이므로 유도 과정은 각 함수에 관한 문서를 참고하자.

2. 기본

2.1. 선형성(linearity)[1]

단, [math(\alpha)], [math(\beta)]는 상수이다.
  • [math(\left\{ \alpha f( x)+ \beta g(x) \right\}'=\alpha f'(x) +\beta g'( x ))]

2.2. 곱미분

  • [math(\{f(x)g(x)\}'=f'(x)g(x)+f(x)g'(x))]
  • [math(\{f(x)g(x)h(x)\}'=f'(x)g(x)h(x)+f(x)g'(x)h(x)+f(x)g(x)h'(x))]

    • [math(\vdots)]

2.3. 몫미분

  • [math(\left\{\dfrac{f(x)}{g(x)}\right\}'=\dfrac{f'(x)g(x)-f(x)g'(x)}{[g(x) ]^{2}} \; )]

2.4. 합성함수

파일:상세 내용 아이콘.svg   자세한 내용은 연쇄 법칙 문서
번 문단을
부분을
참고하십시오.
  • [math(\{(f\circ g)(x)\}'=(f' \circ g)(x)\,g'(x))]

2.5. 역함수

파일:상세 내용 아이콘.svg   자세한 내용은 역함수 정리 문서
번 문단을
부분을
참고하십시오.
  • [math(\{f^{-1}(x)\}'=\dfrac{1}{(f' \circ f^{-1})(x)})]

2.6. 정적분으로 정의된 함수

파일:상세 내용 아이콘.svg   자세한 내용은 미적분의 기본정리 문서
3번 문단을
부분을
참고하십시오.
  • [math(\displaystyle \frac{\mathrm{d}}{\mathrm{d}x} \int_a^xf(t)\,\mathrm{d}t = f(x))]
  • [math(\displaystyle \frac{\mathrm{d}}{\mathrm{d}x} \int_x^af(t)\,\mathrm{d}t = -f(x))]
  • [math(\displaystyle \frac{\mathrm{d}}{\mathrm{d}x} \int_a^{h(x)}f(t)\,\mathrm{d}t = (f\circ h)(x)\cdot h'(x))]
  • [math(\displaystyle \frac{\mathrm{d}}{\mathrm{d}x} \int_{g(x)}^af(t)\,\mathrm{d}t = -(f\circ g)(x)\cdot g'(x))]
  • [math(\displaystyle \frac{\mathrm{d}}{\mathrm{d}x} \int_{g(x)}^{h(x)}f(t)\,\mathrm{d}t = (f\circ h)(x)\cdot h'(x)-(f\circ g)(x)\cdot g'(x))]
  • [math(\displaystyle \frac{\mathrm{d}}{\mathrm{d}x} \int_a^bf(x,\,t)\,\mathrm{d}t = \int_a^b \frac{\partial}{\partial x}f(x,\,t)\,\mathrm{d}t)]
  • [math(\displaystyle \frac{\mathrm{d}}{\mathrm{d}x} \int_{g(x)}^{h(x)}f(x,\,t)\,\mathrm{d}t = f(x,\,h(x))\cdot h'(x) - f(x,\,g(x))\cdot g'(x) + \int_{g(x)}^{h(x)}\frac{\partial}{\partial x}f(x,\,t)\,\mathrm{d}t )]

3. 초등함수

3.1. 다항함수

  • [math((ax^n)'=anx^{n-1})] (단, [math(n \neq 0)]인 상수)
  • 특히, [math(n=0)]이면

3.2. 거듭제곱근 함수

  • [math((\sqrt[n]{x})' = \dfrac{\sqrt[n]{x}}{nx})] (단, [math(n \neq 0)]인 상수)

3.3. 지수함수

  • [math((a^{f(x)})'=a^{f(x)}f'(x)\cdot{\rm ln}\,a)] (단, [math(a)]는 상수)
    • 특별히, [math(a=)] [math(e)]이면
      • [math((e^{f(x)})'=e^{f(x)}f'(x)\cdot{\rm ln}\,e=e^{f(x)}f'(x))]
    • 특별히, [math(f(x)=x)]이면
      • [math((a^x)'=a^x\cdot{\rm ln}\,a)]
    • 특별히, [math(a=)] [math(e)]이고 [math(f(x)=x)]이면
      • [math((e^x)'=e^x\cdot {\rm ln}\,e=e^x)]

3.3.1. 루트

[math( \sqrt{x} = x^{\frac{1}{2} } )]이고
[math(d \left( x^n \right) = n x^{n-1 } )]이므로
[math(d \left( \sqrt{x} \right) = d \left( x^{\frac{1}{2} } \right) )]
[math( = \dfrac{1}{2} x^{\frac{1}{2} -1 } )]
[math( = \frac{1}{2} x^{- \frac{1}{2} } )]
또는
[math( = \frac{1}{2} \left( { \frac{1}{\sqrt{x}} } \right) )]
[math( = { \frac{1}{2\sqrt{x}} } )]

3.3.2. 허수지수함수

  • [math([ \operatorname{cis}(z) ]' = i \operatorname{cis}(z))]
  • [math([ \overline{\operatorname{cis}}(z) ]' = -i\,\overline{\operatorname{cis}}(z))]

3.4. 삼각함수

파일:상세 내용 아이콘.svg   자세한 내용은 삼각함수/도함수 문서
번 문단을
부분을
참고하십시오.
  • [math(({\rm sin}\,x)'={\rm cos}\,x)]
  • [math(({\rm cos}\,x)'=-{\rm sin}\,x)]
  • [math(({\rm tan}\,x)'={\rm sec}^2\,x)]
  • [math(({\rm cot}\,x)'=-{\rm csc^2}\,x)]
  • [math(({\rm sec}\,x)'={\rm sec}\,x{\rm tan}\,x)]
  • [math(({\rm csc}\,x)'=-{\rm csc}\,x{\rm cot}\,x)]

3.4.1. 싱크 함수

  • [math(({\rm sinc}\,x)'= \dfrac{x \cos x - \sin x}{x^2})]

3.5. 역삼각함수

  • [math((\arcsin x)' = \dfrac1{\sqrt{1-x^2}})]
  • [math((\arccos x)' = -\dfrac1{\sqrt{1-x^2}})]
  • [math((\arctan x)' = \dfrac1{1+x^2})]
  • [math((\mathrm{arcsec}\,x)' = \dfrac1{\left|x\right|\sqrt{x^2-1}})]
  • [math((\mathrm{arccsc}\,x)' = -\dfrac1{\left|x\right|\sqrt{x^2-1}})]
  • [math((\mathrm{arccot}\,x)' = -\dfrac1{1+x^2})]

3.6. 쌍곡선 함수

  • [math(({\rm sinh}\,x)'={\rm cosh}\,x)]
  • [math(({\rm cosh}\,x)'={\rm sinh}\,x)]
  • [math(({\rm tanh}\,x)'={\rm sech}^2\,x)]
  • [math(({\rm coth}\,x)'=-{\rm csch}^2\,x)]
  • [math(({\rm sech}\,x)'=-{\rm sech}\,x{\rm tanh}\,x)]
  • [math(({\rm csch}\,x)'=-{\rm csch}\,x{\rm coth}\,x)]

3.7. 역쌍곡선 함수

  • [math((\mathrm{arsinh}\,x)' = \dfrac1{\sqrt{x^2+1}})]
  • [math((\mathrm{arcosh}\,x)' = \dfrac1{\sqrt{x^2-1}} \quad (x>1))]
  • [math((\mathrm{artanh}\,x)' = \dfrac1{1-x^2} \quad (|x|<1))]
  • [math((\mathrm{arcoth}\,x)' = \dfrac1{1-x^2} \quad (|x|>1))]
  • [math((\mathrm{arsech}\,x)' = -\dfrac1{x\sqrt{1-x^2}} \quad (0<x<1))]
  • [math((\mathrm{arcsch}\,x)' = -\dfrac1{|x|\sqrt{1+x^2}} \quad (x\ne0))]

3.8. 로그함수

  • [math((\ln x)' = \dfrac{1}{x} \; (x > 0))]
    • [math(({\rm Log}\,z)' = \dfrac{1}{z} \; (z \neq 0))]
  • [math((\log_a x)' = \dfrac{1}{x \ln a} \; (x > 0))]

4. 특수함수

4.1. 오차함수

  • [math([{\rm erf}(x) ]' = \dfrac{2e^{-x^2}}{\sqrt{\pi}})]
  • [math([{\rm erfc}(x) ]' = -\dfrac{2e^{-x^2}}{\sqrt{\pi}})]
  • [math([{\rm erfi}(x) ]' = \dfrac{2e^{x^2}}{\sqrt{\pi}})]

4.2. 지수 적분 함수

  • [math([{\rm Ei}(x) ]' = \dfrac{e^x}{x})]

4.3. 로그 적분 함수

  • [math([{\rm li}(x) ]' = \dfrac{1}{\ln x})]

4.4. 삼각 적분 함수

  • [math([{\rm Si}(x) ]' = \dfrac{\sin x}{x})]
  • [math([{\rm Ci}(x) ]' = \dfrac{\cos x}{x})]

4.5. 쌍곡선 적분 함수

  • [math([{\rm Shi}(x) ]' = \dfrac{\sinh x}{x})]
  • [math([{\rm Chi}(x) ]' = \dfrac{\cosh x}{x})]

4.6. 프레넬 적분 함수

  • [math([S(x) ]' = \sin{ \!\left( \dfrac{\pi x^2}{2} \right) \, {\sf or} \; \sin x^2})]
  • [math([C(x) ]' = \cos{ \!\left( \dfrac{\pi x^2}{2} \right) \, {\sf or} \; \cos x^2})]

4.7. 구데르만 함수

  • [math([{\rm gd}(x) ]' = {\rm sech}\,x)]
  • [math([{\rm igd}(x) ]' = \sec x)]

4.8. 타원 적분 함수

  • [math(\displaystyle [K(x,\,k) ]' = \frac{1}{\sqrt{1-k^{2}}\sqrt{1-k^{2}x^{2} }} \quad (0 \leq k \leq 1))]
  • [math(\displaystyle [E(x,\,k) ]' = \frac{\sqrt{1-k^{2}x^{2} }}{\sqrt{1-x^{2} }} \quad (0 \leq k \leq 1) )]

4.9. 브링 근호

  • [math([\mathrm{BR}(x) ]' = -\dfrac{1}{5[ \mathrm{BR}(x) ]^4+1})]

4.10. 폴리로그함수

  • [math([\mathrm{Li}_s(x) ]' = \dfrac{\mathrm{Li}_{s-1}(x)}{x})]

4.10.1. 제타 함수

위 폴리감마함수에서 [math(x=1)]로 생각할 수 있다.
  • [math([\zeta(x) ]' = \mathrm{Li}_{s-1}(1))]

4.11. 감마 함수

특이하게도 아래와 같이 도함수가 재귀적으로 정의된다.
  • [math([\Gamma(z) ]' = \Gamma(z) \psi^0 (z) = \Gamma(z) [ {\rm Log}\,\Gamma(z) ]' )]

4.11.1. 로그 감마 함수

  • [math([{\rm Log}\,\Gamma(z) ]' = \psi^0 (z) = \dfrac{[ \Gamma(z) ]'}{\Gamma(z)} )]

4.12. 람베르트 W 함수

  • [math(W'(x)=\dfrac{W(x)}{x(W(x)+1)})]

4.13. 부호 함수 헤비사이드 계단 함수

아래 식에서 [math(\delta(x))]는 디랙 델타 함수이다.
  • [math([{\rm sgn}(x) ]' = 2 \delta(x))]
  • [math(u'(x)= \delta(x))]

5. 음함수

5.1.

  • [math((x-a)^2+(y-b)^2=r^2\;\rightarrow\;\dfrac{{\rm d}y}{{\rm d}x}=-\dfrac{x-a}{y-b})] ([math(a)], [math(b)], [math(r)]는 상수)

5.2. 타원곡선

  • [math(y^2 = x^3 + ax + b\;\rightarrow\;\dfrac{\mathrm{d}y}{\mathrm{d}x} = \dfrac{3x^2 + a}{2y})] ([math(a)], [math(b)]는 상수)

6. 기타

  • [math(\left(\displaystyle\int_0^xf(t)(x-t)\;{\rm d}t\right)'=\displaystyle\int_0^xf(t)\;{\rm d}t)]
  • [math(|f(x)|' = ({\rm sgn} \circ f)(x)\,f'(x))]
  • [math((x^x)'=x^x(1+{\rm ln}\,x))]
  • [math(y=x^{x^{x^{x^{.^{.^.}} }} })][math(\!\!\rightarrow\; \dfrac{{\rm d}y}{{\rm d}x}=\dfrac{y^2}{(x-xy\ln{x})}=\dfrac{[W(-\operatorname{Log}{x}) ]^2}{ x \operatorname{Log}^{2}{x} [W(-\operatorname{Log}{x}) + 1 ] })]

7. 분수함수의 미분 예

[math( f(x) )]의 미분 [math( f'(x) = dx )]일때
[math( f(x) = \dfrac{1}{x^2})]
[math( dx = d \left( \dfrac{1}{x^{2}} \right) = d \left( x^{-2} \right) = -2x^{-3} = -2\dfrac{1}{x^3} )]

8. 관련 문서


[1] 어떤 연산자가 분배 법칙 및 상수배 성질을 만족시키는 경우 선형성이 있다고 하며, 이런 형태의 결합을 선형결합(linear combination)이라고 한다.