미분가능성과 연속성을 활용한 정적분의 계산
실수 전체의 집합에서 미분가능한 함수 $f(x)$ 가 다음 조건을 만족시킨다.
(가) 닫힌구간 $[0, 1]$ 에서 $f(x) = x$ 이다.
(나) 어떤 상수 $a, b$ 에 대하여 구간 $[0, \infty)$ 에서
$f(x+1) - xf(x) = ax + b$ 이다.
$60 \times \int_{1}^{2} f(x)dx$ 의 값을 구하시오. [4점]
이 문항은 실수 전체의 집합에서 미분가능하다는 조건이 내포하는 '연속성'과 '좌우 미분계수의 일치'를 정확히 파악하여, 미지수를 결정하고 함수식을 추론하는 능력을 평가합니다.
함수 $f(x)$ 는 실수 전체의 집합에서 미분가능하므로, 실수 전체의 집합에서 연속입니다. 특히 $x=1$ 에서도 연속이어야 합니다. 조건 (가)에 의해 $0 \le x \le 1$ 일 때 $f(x) = x$ 이므로, $x=1$ 에서의 함숫값과 좌극한은 다음과 같습니다.
조건 (나)의 항등식 $f(x+1) - xf(x) = ax + b$ 에 $x = 0$ 을 대입하면 $f(1)$ 의 꼴을 만들어낼 수 있습니다.
따라서 $b = 1$ 임을 도출할 수 있습니다.
함수 $f(x)$ 가 $x=1$ 에서 미분가능하므로 $f'(1)$ 이 존재합니다. 조건 (가)에 의해 $0 < x < 1$ 일 때 $f'(x) = 1$ 이며, 미분가능한 함수이므로 좌미분계수와 일치하는 $f'(1) = 1$ 을 만족해야 합니다.
조건 (나)의 양변을 $x$ 에 대하여 미분합니다. (곱의 미분법과 합성함수 미분법 적용)
위 식에 $x=0$ 을 대입하여 $f'(1)$ 이 포함된 식을 만듭니다.
$f'(1) = 1$ 이고 조건 (가)에서 $f(0) = 0$ 이므로, $1 - 0 = a$ 즉, $a = 1$ 이 됩니다. 이를 통해 조건 (나)의 식이 $f(x+1) - xf(x) = x + 1$ 임을 확정합니다.
우리의 목표는 $\int_{1}^{2} f(x)dx$ 를 구하는 것이므로, $1 \le x \le 2$ 일 때의 $f(x)$ 식을 알아내야 합니다. 완성된 조건 (나)의 식을 이용합니다.
여기서 $x$ 의 범위를 $0 \le x \le 1$ 로 제한해 봅시다. 그러면 조건 (가)에 의해 이 구간에서 $f(x) = x$ 이므로 이를 대입할 수 있습니다.
이제 $t = x+1$ 로 치환하면, $x = t-1$ 이 되고 $x$ 가 $0 \le x \le 1$ 일 때 $t$ 의 범위는 $1 \le t \le 2$ 가 됩니다.
변수를 다시 $x$ 로 바꾸면, 구간 $[1, 2]$ 에서 $f(x) = x^2 - x + 1$ 임을 찾아냈습니다.
구해진 함수식을 바탕으로 문제에서 요구하는 정적분 값을 계산합니다.
최종적으로 구하는 값은 여기에 60을 곱한 값입니다.
오류 : 도함수의 극한을 미분계수로 무분별하게 사용하는 착각
학생들은 구간별로 정의된 함수에서 경계점의 미분가능성을 확인할 때, 미분계수의 정의식 $\lim\limits_{x \to 1} \frac{f(x)-f(1)}{x-1}$ 을 사용하지 않고 단순히 도함수를 구한 뒤 극한값 $\lim\limits_{x \to 1} f'(x)$ 을 대입하여 비교하는 실수를 자주 합니다. 고등학교 교육과정 내의 다항함수에서는 도함수가 연속이므로 결과적으로 같게 나오지만, 엄밀한 수학적 정의로는 구별되어야 합니다.
이 문제의 Step 1에서 사용된 '미분가능하면 연속이다'라는 명제는 함수 해석의 가장 기본이 되는 중요한 정리입니다.
함수 $f(x)$ 가 $x=a$ 에서 미분가능하면, $f(x)$ 는 $x=a$ 에서 연속이다.
(역은 성립하지 않음. 예 : $y=|x|$ 는 $x=0$ 에서 연속이나 미분불가능)
논리적 증명 과정 :
i 미지수 $a, b$ 에 따른 곡선의 변화 관찰
문제에서 요구한 조건은 '실수 전체에서 미분가능'이었습니다.
슬라이더를 조작하여 $a$ 와 $b$ 의 값을 변경해 보세요.
$b$ 는 함수의 연속성 (연결 여부)에 관여하고, $a$ 는 함수의 미분가능성 (부드러운 연결, 기울기)에 관여합니다. $a=1, b=1$ 일 때만 $x=1$ 에서 그래프가 부드럽게 이어지는 것을 확인할 수 있습니다.
(그래프 상의 빨간 점은 불연속, 주황 점은 미분불가, 녹색 점은 미분가능을 의미합니다.)