Home

9.3   심화·배경

무리함수의 적분

Integrals of Irrational Functions

정의 · 공식과 증명

이 절은 먼저 706번에서 근호로 정의된 함수 √g(x)의 도함수를 구하는 공통 도구를 확립합니다―이 도구 하나로 일차식의 제곱근이 포함된 함수(707–709번)의 부정적분을 얻고, 이어서 x²±a² 꼴이 제곱근 안에 있는 경우(710·711번)를 로그로, a²−x² 꼴(712번)을 아크사인으로 처리하는 표준형을 세웁니다. 712번은 9.2의 705번(아크탄젠트)과 같은 이유―아크사인의 도함수 증명 자체는 8장(역함수의 미분법, 8.4 f659번)의 몫이라는 점―으로 그 도함수 결론만 인용하는 대학 배지로 처리합니다. 일반적인 이차식 px²+qx+r이 제곱근 안에 있는 경우는 완전제곱으로 710·711·712번 중 하나로 환원되므로 각 항목의 끝에서 간단히 언급하고, x와 √(ax+b) 등이 뒤섞인 유리식의 적분에 필요한 치환 기법은 이 절의 범위를 넘어서므로 다루지 않습니다 (1300 Math Formulas의 9.3 절 범위와 일치).

706정리근호함수의 도함수(g(x))′ = g′(x)2g(x) (g(x)>0에서 g가 미분가능)

증명법 : 직접증명법(양변을 제곱해 곱의 미분법 적용)

g(x)>0인 구간에서 g가 미분가능하다고 합시다. h(x):=g(x)라 두면 h(x)>0이고, 제곱근의 정의에 의해 h(x)²=g(x)가 이 구간의 모든 x에서 성립합니다. 양변을 x에 대해 미분하면, 좌변은 8.3의 649번 (곱의 미분법)을 f=g=h에 적용해

(h(x)²)′ = (h(x)·h(x))′ = h′(x)h(x) + h(x)h′(x) = 2h(x)h′(x)

이고, 우변은 그대로 g′(x)이므로

2h(x)h′(x) = g′(x)

를 얻습니다. h(x)>0≠0이므로 양변을 2h(x)로 나누면

h′(x) = g′(x)2h(x) = g′(x)2g(x)

가 성립합니다. (검산 : g(x)=x인 경우 h(x)=x이고 g′(x)=1이므로 h′(x)=12x―익숙한 제곱근함수의 도함수와 일치합니다.) 이 정리는 707–712번 전체에서 g(x)에 구체적인 다항식을 대입해 반복적으로 사용할 공통 도구입니다.

사용 : 8.3의 649번(곱의 미분법)

증명 끝

707정리일차식의 제곱근의 부정적분∫ax+bdx = 23a(ax+b)ax+b + C (a≠0, ax+b>0)

증명법 : 직접증명법(692번의 미분 검산법 사용)

F(x):=23a(ax+b)ax+b라 둡시다. g(x):=ax+b라 하면 9.2의 699번의 증명에서 확인한 대로 g′(x)=a이고, 706번에 의해 (ax+b)′ = a2ax+b입니다. F를 (ax+b)와 ax+b의 곱으로 보고 8.3 f649(곱의 미분법)를 적용하면

F′(x) = 23a·[a·ax+b + (ax+b)·a2ax+b]

이고, 공통인수 a를 앞으로 빼내 정리하면

F′(x) = 2a3a[ax+b + ax+b2ax+b] = 23·2(ax+b) + (ax+b)2ax+b

인데(마지막 등호는 ax+b를 2(ax+b)2ax+b로 통분한 것), 분자 2(ax+b)+(ax+b)=3(ax+b)이므로

F′(x) = 23·3(ax+b)2ax+b = ax+bax+b = ax+b

가 ax+b>0인 모든 x에서 성립합니다(마지막 등호는 u/u = u (u>0)를 u=ax+b에 적용한 것). 692번의 미분 검산법에 의해 ∫ax+bdx = F(x)+C입니다. (검산 : a=1, b=0을 대입하면 ∫xdx = 23xx로, 9.1의 694번(r=12인 경우와 같은 값)과 일치합니다.)

사용 : 692번(미분 검산법) · 9.2의 699번((ax+b)′=a) · 706번 · 8.3의 649번

증명 끝

708정리일차식의 제곱근을 분모로 갖는 부정적분∫1ax+bdx = 2aax+b + C (a≠0, ax+b>0)

증명법 : 직접증명법(692번의 미분 검산법 사용)

F(x):=2aax+b라 둡시다. g(x):=ax+b라 하면 g′(x)=a이므로, 706번에 의해

F′(x) = 2a·a2ax+b = 1ax+b

가 ax+b>0인 모든 x에서 성립합니다. 692번의 미분 검산법에 의해 ∫1ax+bdx = F(x)+C입니다. (검산 : a=1, b=0을 대입하면 ∫1xdx = 2x로, 9.1의 694번(r=−12인 경우와 같은 값)과 일치합니다.)

사용 : 692번(미분 검산법) · 9.2의 699번 · 706번

증명 끝

709정리x를 분자로, 일차식의 제곱근을 분모로 갖는 부정적분∫xax+bdx = 23a²(ax−2b)ax+b + C (a≠0, ax+b>0)

증명법 : 직접증명법(692번의 미분 검산법 사용)

F(x):=23a²(ax−2b)ax+b라 둡시다. g(x):=ax+b라 하면 g′(x)=a이므로, 706번에 의해 (ax+b)′ = a2ax+b입니다. F를 (ax−2b)와 ax+b의 곱으로 보고 8.3 f649(곱의 미분법)를 적용하면

F′(x) = 23a²·[a·ax+b + (ax−2b)·a2ax+b]

이고, 공통인수 a를 앞으로 빼내면(a²와 약분되어 3a만 남습니다)

F′(x) = 23a[ax+b + ax−2b2ax+b] = 23a·2(ax+b) + (ax−2b)2ax+b

인데, 분자를 전개·정리하면 2(ax+b)+(ax−2b) = 2ax+2b+ax−2b = 3ax이므로

F′(x) = 23a·3ax2ax+b = axaax+b = xax+b

가 ax+b>0인 모든 x에서 성립합니다. 692번의 미분 검산법에 의해 ∫xax+bdx = F(x)+C입니다.

예시. a=2, b=1인 경우 : ∫x2x+1dx = 23·4(2x−2)2x+1+C = 13(x−1)2x+1+C입니다.

사용 : 692번(미분 검산법) · 9.2의 699번 · 706번 · 8.3의 649번

증명 끝

710정리x²+a²의 제곱근을 분모로 갖는 부정적분(로그형)∫1x²+a²dx = ln(x+x²+a²) + C (a>0)

증명법 : 직접증명법(692번의 미분 검산법 사용)

a>0이라 하고 F(x):=ln(x+x²+a²)라 둡시다. x²+a²>0(a≠0)이므로 706번을 g(x):=x²+a²(g′(x)=2x)에 적용하면

(x²+a²)′ = 2x2x²+a² = xx²+a²

를 얻습니다. 한편 x+x²+a² > x+x² ≥ x+(−x) = 0이므로(제곱근은 항상 0 이상, 등호는 x²=x²+a²가 되어 a=0일 때만인데 a>0으로 배제) x+x²+a²>0이 모든 실수 x에서 성립합니다. 따라서 8.4의 660번(ln의 도함수)과 8.3의 651번 (연쇄법칙)에 의해

F′(x) = 1 + xx²+a²x+x²+a² = x²+a² + xx²+a² · 1x+x²+a²

이고, 분자의 x²+a²+x가 분모의 인수 x+x²+a²와 정확히 같으므로 약분되어

F′(x) = 1x²+a²

가 모든 실수 x에서 성립합니다. 692번의 미분 검산법에 의해 ∫1x²+a²dx = F(x)+C입니다.

예시. a=2인 경우 : ∫1x²+4dx = ln(x+x²+4)+C입니다.

완전제곱을 통한 일반화. 판별식(2.6 f121) D=p²−4q<0인 이차식 x²+px+q에 대해, 705번과 같은 방식으로 완전제곱을 만들면 x²+px+q = (x+p2)² + (q−p²4)이고, D<0 ⇔ q−p²4>0이므로 a:=q−p²4>0로 두면 u:=x+p2에 대해 위 결과를 그대로 적용해 ∫1x²+px+qdx = ln(x+p2+x²+px+q)+C를 얻습니다(u′=1이므로 연쇄법칙에서 추가 인수가 붙지 않습니다).

사용 : 692번(미분 검산법) · 706번 · 8.3의 651번 · 8.4의 660번 · 2.6의 120번 · 121번

증명 끝

711정리x²−a²의 제곱근을 분모로 갖는 부정적분(로그형)∫1x²−a²dx = ln|x+x²−a²| + C (|x|>a>0)

증명법 : 경우 나누기 + 직접증명법(692번의 미분 검산법 사용)

a>0, |x|>a라 합시다. 이때 x²−a²>0이므로 706번을 g(x):=x²−a² (g′(x)=2x)에 적용하면, |x|>a인 모든 x에서

(x²−a²)′ = 2x2x²−a² = xx²−a²

를 얻습니다. 절댓값 안의 부호는 x>a인 경우와 x<−a인 경우로 나뉩니다.

① x>a인 경우. 0<x²−a²<x²=x(x>0이므로)이므로 x+x²−a²>x>a>0, 곧 x+x²−a²>0입니다. 따라서 |x+x²−a²|=x+x²−a²이고 F(x):=ln(x+x²−a²)라 두면, 710번의 증명과 완전히 같은 방식으로 (분자 x²−a²+x가 분모 x+x²−a²와 같아 약분됨)

F′(x) = 1 + xx²−a²x+x²−a² = 1x²−a²

가 성립합니다.

② x<−a인 경우. 이번에는 x<0이므로 x²−a²<x²=|x|=−x, 곧 x+x²−a²<x+(−x)=0입니다. 따라서 |x+x²−a²|=−(x+x²−a²)=−x−x²−a²이고 F(x):=ln(−x−x²−a²)라 두면

F′(x) = −1 − xx²−a²−x−x²−a² = −[1 + xx²−a²]−[x+x²−a²] = 1 + xx²−a²x+x²−a² = 1x²−a²

로 ①과 정확히 같은 식을 얻습니다(분자·분모의 부호 −1이 약분되어 사라집니다). 두 경우 모두 F′(x)=1x²−a²이므로, 692번의 미분 검산법에 의해 ∫1x²−a²dx = ln|x+x²−a²|+C가 |x|>a인 전체 정의역에서 성립합니다(695번·9.2 699번과 같은 이유로, 정의역이 두 구간으로 떨어져 있어 엄밀하게는 구간마다 독립된 적분상수를 허용해야 하지만 관행에 따라 하나의 C로 통일합니다).

예시. a=2인 경우(아래 그림) : ∫1x²−4dx = ln|x+x²−4|+C이고, x=3에서 피적분함수의 값은 15입니다.

y=1x²−4(711번 공식의 a=2인 경우)는 정의역이 |x|>2인 두 갈래로, 점근선 x=±2 바깥쪽에서 모두 +∞로 발산합니다―아래 712번의 y=1/4−x² (정의역이 정반대로 −2<x<2인 유계 구간)과 대비됩니다.

완전제곱을 통한 일반화. 705·710번과 같은 방식으로 판별식(2.6 f121) D=p²−4q>0인 (=서로 다른 두 실근을 갖는) 이차식 x²+px+q에 대해 완전제곱을 만들면 x²+px+q = (x+p2)²−(−q+p²4)이고, D>0 ⇔ p²4−q>0이므로 a:=p²4−q>0로 두면 u:=x+p2에 대해 위 결과를 그대로 적용해 ∫1x²+px+qdx = ln|x+p2+x²+px+q|+C를 얻습니다(정의역은 x²+px+q>0인 부분, 곧 두 실근의 바깥쪽).

사용 : 692번(미분 검산법) · 706번 · 710번(같은 방식의 증명) · 2.6의 120번 · 121번

증명 끝

712정리a²−x²의 제곱근을 분모로 갖는 부정적분 ― 아크사인 적분∫1a²−x²dx = sin⁻¹xa + C (|x|<a, a>0)

증명법 : 직접증명법(692번의 미분 검산법 사용)

대학 지금까지(707–711번) 다룬 것은 모두 로그로 표현되는 부정적분이었지만, 제곱근 안의 부호가 x²에서 앞으로(a²−x²) 바뀌면 로그가 아니라 아크사인(sin⁻¹, arcsin)이 필요합니다. sin⁻¹의 엄밀한 정의 (−π/2≤t≤π/2에서 sin의 역함수)는 4.17 f798번에서 확립되어 있고, 그 도함수는 9.2 705번과 같은 이유―8.4 f659번(역함수의 미분법)을 8.4 f654번(sin의 도함수 cos)과 결합해 원리적으로 유도할 수 있음―으로, 이 절의 원래 주제(무리함수의 적분)에 집중하기 위해 여기서 다시 유도하지 않고 결론만 인용합니다(이 유도는 11.12 f1063에서 실제로 수행했습니다―아크사인의 매클로린 전개에 그 도함수가 필요했기 때문입니다) :

(sin⁻¹t)′ = 11−t² (−1<t<1)

수능 준비생은 이 결론과, 뒤이은 계산(연쇄법칙을 적용해 실제 적분 공식을 얻는 과정)만 알면 충분합니다.

a>0이라 하고, 위 사실을 이용해 F(x):=sin⁻¹xa의 도함수를 구합니다. u(x):=xa라 하면 8.3 f648·8.4 f653에 의해 u′(x)=1a이고, |x|<a ⇔ |u(x)|<1이므로 8.3 f651(연쇄법칙)에 의해

F′(x) = 11−u(x)²·u′(x) = 11−(xa)²·1a

이고, 분모의 1−(xa)²를 통분해 a²−x²a²로 고쳐 쓰면

F′(x) = 1a·1a²−x²a² = 1a·aa²−x² = 1a²−x²

가 |x|<a인 모든 x에서 성립합니다(a²−x²>0이므로 분모가 0이 되는 경우가 없습니다). 692번의 미분 검산법에 의해 ∫1a²−x²dx = sin⁻¹xa+C입니다.

예시. a=2인 경우(아래 그림) : ∫14−x²dx = sin⁻¹x2+C이고, x=0에서 피적분함수의 값은 12입니다.

y=14−x²(712번 공식의 a=2인 경우)는 정의역이 −2<x<2인 유계 구간으로, 양 끝 x=±2에서 안쪽으로 +∞로 발산합니다―위 711번의 정의역(|x|>2, 두 점근선 바깥쪽)과 정반대이기 때문에 로그 대신 아크사인이 필요합니다.

완전제곱을 통한 일반화. 711번과 같은 판별식(2.6 f121) 조건 D=p²−4q>0(서로 다른 두 실근을 가짐, 이번에는 그 두 실근 사이의 구간)에 대해, x²+px+q = (x+p2)² + (q−p²4)의 부호를 뒤집으면 −(x²+px+q) = (p²4−q) − (x+p2)²이고, D>0 ⇔ p²4−q>0이므로 a:=p²4−q>0로 두면 u:=x+p2에 대해 위 결과를 그대로 적용해 ∫1−x²−px−qdx = sin⁻¹x+p2a+C를 얻습니다(정의역은 −(x²+px+q)>0인 부분, 곧 두 실근 사이).

사용 : 692번(미분 검산법) · 8.3의 648번 · 8.3의 651번 · 8.4의 653번 · 2.6의 120번 · 121번 · 9.2의 705번(같은 방식의 대학 배지 처리)

증명 끝

이 절은 706–712번으로 일차식의 제곱근(707–709번)과 x²±a²· a²−x² 꼴이 제곱근 안에 있는 경우(710–712번)의 적분 도구를 모두 갖추었습니다. 완전제곱을 이용하면 일반적인 이차식 px²+qx+r이 제곱근 안에 있는 경우도 판별식의 부호에 따라 710·711· 712번 중 하나로 환원됩니다(각 항목의 «완전제곱을 통한 일반화» 참고). x와 ax+b 등이 뒤섞인 유리식의 적분, 세제곱근을 비롯한 더 복잡한 무리함수의 적분에 필요한 치환 기법은 이 절의 범위를 넘어서므로 다루지 않았습니다. 삼각함수의 적분에 필요한 치환 기법은 9.4에서 이어집니다.