치환적분 글에서 다루었던 방법들로는 적분하기 어려운 함수들도 존재한다. 그러한 함수들은 삼각치환이나 반각치환을 이용하여 풀 수 있다.
[적분] 2. 치환적분
치환적분법부정적분은 미분의 역작용이므로 모든 적분 공식과 계산 기법들은 미분 공식에서 파생된다. 치환적분 또한 합성함수의 미분법에서 출발한다. 미분가능한 함수 f(x), g(x)에 대해$$ \f
lyssion-studynote.tistory.com
삼각치환
삼각치환이란 다음의 두 삼각함수들의 항등식을 이용하여 함수를 적분하는 방법이다.
sin2x+cos2x=1
tan2x+1=sec2x
예시를 하나 들어보자. 함수 f(x)=1x2+1은 분모를 다른 문자로 치환하는 방법으로는 적분할 수 없다. 여기서 −π2<θ<π2일 때, x=tanθ 로 치환하면 dx=sec2θdθ 이므로
∫1x2+1dx=∫sec2θtan2θ+1dθ=∫1dθ=θ+C=arctanx+C
함수가 x에 관한 식이었으므로 부정적분 또한 아크탄젠트 함수를 이용해 x에 관하여 나타내었다.
이와 같이 x2±a2 형태의 항을 포함하면서 근호√ 안에 있거나 인수분해가 불가능한 함수의 경우 다음과 같이 삼각치환하여 풀 수 있다.
a2−x2⟹x=asinθ(−π2≤θ≤π2)
a2+x2⟹x=atanθ(−π2<θ<π2)
x2−a2⟹x=asecθ(0≤θ≤π,θ≠π2)
반각치환
반각치환이란 tanθ2=t 로 치환하여 삼각함수로 이루어진 함수의 식을 다항식으로 바꾸어 함수를 적분하는 방법이다. 이 때, 각 삼각함수들은 삼각함수의 덧셈정리를 이용하여 다음과 같이 t에 대한 식으로 나타낼 수 있다.
sinθ=2sinθ2cosθ2=2tanθ2×1sec2θ2=2tanθ21+tanθ2=2t1+t2
cosθ=2cos2θ2−1=2sec2θ2−1=21+tan2θ2−1=21+t2−1=1−t21+t2
tanθ=2tanθ21−tan2θ2=2t1−t2
다음의 그림을 통해서도 삼각함수들을 t에 대한 식으로 나타낼 수 있다.

sinθ=t×21+t2=2t1+t2
cosθ=1−t22×21+t2=1−t21+t2
tanθ=t×21−t2=2t1−t2
마찬가지로 반각치환을 이용하여 예제를 풀어보겠다. 일반적으로 함수 f(x)=secx의 부정적분을 구하는 것은 아래의 방법이 널리 알려져있다.
∫secxdx=∫sec2x+secxtanxsecx+tanxdx=∫(secx+tanx)′secx+tanxdx=ln∣secx+tanx∣+C
이를 tanx2=t 로 치환하면 12sec2x2=dtdx⟹dx=2cosx2dt=(1+cosx)dt=21+t2dt 이므로
∫secxdx=∫1+t21−t221+t2dt=∫21−t2dt=∫(11−t+11+t)dt=−ln∣1−t∣+ln∣1+t∣+C=ln∣1+t1−t∣+C=ln∣1+tanx21−tanx2∣+C
