∫2x(x²+3)⁴dx 같은 식을 만나면 막막해질 수 있어요. 괄호 안을 억지로 전개해서 다항식으로 만들면 계산은 되지만 너무 번거롭죠. 이럴 때 쓰는 기술이 치환적분이에요. 복잡해 보이는 식 안에 "어떤 함수와 그 함수의 미분"이 짝지어 들어있다면, 그 함수를 통째로 새로운 문자 u로 바꿔치기해서 훨씬 간단한 식으로 만드는 방법이에요.
위 예시에서 u=x²+3으로 놓으면 du=2x dx가 돼요. 그런데 원래 식을 보면 딱 2x dx가 곱해져 있죠! 그래서 식 전체가 ∫u⁴du로 바뀌어요. 이건 그냥 거듭제곱의 적분이니 u⁵/5+C로 바로 구할 수 있고, 마지막에 u자리에 x²+3을 다시 넣으면 (x²+3)⁵/5+C가 답이 됩니다. 핵심은 "안쪽 함수"와 "안쪽 함수의 미분"이 곱해진 형태를 알아보는 거예요.
또 다른 기술은 부분적분이에요. ∫x·eˣdx처럼 서로 다른 두 종류의 함수(다항식과 지수함수)가 곱해진 형태는 치환으로 잘 풀리지 않아요. 이럴 때는 곱의 미분법을 거꾸로 이용한 공식을 써요: ∫u dv = uv − ∫v du. u=x, dv=eˣdx로 나누면 du=dx, v=eˣ이 되고, 공식에 대입하면 ∫x·eˣdx = x·eˣ − ∫eˣdx = x·eˣ − eˣ + C가 나와요. u와 dv를 어떻게 나누느냐가 핵심인데, 보통 미분하면 더 간단해지는 쪽(다항식)을 u로, 적분하기 쉬운 쪽(지수함수, 삼각함수)을 dv로 고르면 잘 풀려요.
이 두 방법이 정말 맞는 답을 주는지 어떻게 확신할 수 있을까요? 가장 확실한 방법은 직접 검산해보는 거예요. 정적분 구간을 아주 잘게(예: 10,000개) 쪼갠 직사각형의 넓이를 모두 더하는 리만 합으로 근사값을 구한 다음, 치환적분·부분적분으로 얻은 부정적분에 구간의 양 끝값을 대입해서 나온 값과 비교하는 거예요. 두 값이 소수점 넷째 자리까지 거의 똑같이 나온다면, 우리가 구한 부정적분이 정말 정확한 넓이를 계산해준다는 뜻이에요.
저희 체험 페이지에서는 치환적분 탭에서 ∫2x(x²+a)ⁿdx를, 부분적분 탭에서 ∫x·eᵏˣdx를 슬라이더로 상수를 바꿔가며 풀어볼 수 있어요. 계산 단계를 하나씩 보여준 다음, 공식으로 구한 정적분 값과 리만 합으로 직접 계산한 값을 나란히 비교해서 정말 일치하는지 눈으로 확인할 수 있습니다.