함수의 그래프와 상수 함수가 만나는 교점의 개수 및 극한의 이해
14. 두 자연수 $a, b$에 대하여 함수 $f(x)$는
이다. 실수 $t$에 대하여 함수 $y=f(x)$의 그래프와 직선 $y=t$가 만나는 점의 개수를 $g(t)$라 하자.
를 만족시키는 실수 $k$의 개수가 $1$이 되도록 하는 두 자연수 $a, b$의 순서쌍 $(a, b)$에 대하여 $a+b$의 최댓값은? [4점]
이 문항은 구간에 따라 다르게 정의된 함수의 그래프를 그리고, 상수함수와의 교점의 개수 함수 $g(t)$의 불연속성을 파악하는 능력을 평가합니다. 특히 좌극한, 우극한, 함숫값의 합 조건을 통해 미지의 이차함수 그래프의 극솟값을 역추론하는 고도의 논리력이 요구됩니다.
먼저 식이 온전히 주어진 $x \le 2$ 범위에서 $f(x) = 2x^3 - 6x + 1$의 그래프 개형을 파악합니다.
$f'(x) = 0$에서 $x = -1$ 또는 $x = 1$입니다.
- 극댓값 : $f(-1) = -2 + 6 + 1 = 5$
- 극솟값 : $f(1) = 2 - 6 + 1 = -3$
- 경곗값 : $f(2) = 16 - 12 + 1 = 5$
시각화 연계 : 우측 시각화 패널에서 슬라이더를 움직여 파란색 삼차함수 그래프의 극점 y좌표가 각각 $5$와 $-3$임을 확인하세요.
주어진 조건은 특정 $k$에 대하여 $g(k) + \lim_{t \to k-} g(t) + \lim_{t \to k+} g(t) = 9$ 를 만족하는 $k$가 오직 1개뿐이어야 한다는 것입니다.
만약 어떤 열린 구간 $(c, d)$에서 $g(t) = 3$으로 일정하다면, 그 구간 내의 모든 실수 $k$에 대하여 함숫값, 좌극한, 우극한이 모두 $3$이 되어 합이 $9$가 됩니다. 이는 $k$가 무수히 많아지는 결과를 초래하므로 문제의 조건에 위배됩니다.
$x \le 2$ 구간의 삼차함수만 고려했을 때 교점의 개수를 $g_1(t)$라 하면, $-3 < t < 5$ 구간에서 $g_1(t) = 3$ 입니다. 따라서 이 구간에서 $g(t)$가 $3$이 되는 것을 막으려면, $x > 2$ 구간의 이차함수가 이 구간과 겹치는 부분에서 반드시 추가적인 교점을 만들어내야 합니다.
$x > 2$에서의 함수는 $f(x) = a(x-2)(x-b) + 9$ 이며 $a, b$는 자연수입니다. 이 이차함수는 점 $(2, 9)$에서 시작하여 아래로 볼록한 형태를 띱니다. 최솟값을 $m$이라 합시다.
따라서 이차함수의 최솟값 $m$은 정확히 $-3$이 되어야만 합니다!
이차함수 $f(x) = a(x-2)(x-b) + 9$ 의 대칭축은 $x = \frac{b+2}{2}$ 이며, 여기서 최솟값 $-3$을 가집니다. (이때 대칭축이 $x>2$ 범위에 있어야 하므로 $b \ge 3$ 입니다.)
$a, b$가 자연수이므로 $(b-2)^2$은 $48$의 약수 중 제곱수여야 합니다. 가능한 제곱수는 $1, 4, 16$ 입니다.
이 중 $a+b$의 최댓값은 $51$입니다.
삼차함수의 미분을 통해 극대, 극소를 찾고 개형을 유추하는 교과 핵심 개념입니다.
좌극한과 우극한의 개념을 기하학적 교점의 개수 함수에 적용하여 불연속성을 판단합니다.
자연수 조건과 결합된 부정방정식을 통해 이차함수의 미정계수를 결정하는 논리가 사용됩니다.
학생들은 흔히 $g(k) + \lim\limits_{t \to k-} g(t) + \lim\limits_{t \to k+} g(t) = 9$ 가 되는 특정한 불연속점 $k$를 찾는 데 매몰됩니다. 하지만 이 문제의 함정은 연속 구간에 대한 고려에 있습니다.
명제 : 함수 $g(t)$가 개구간 $(c, d)$에서 상수 $3$을 가지면, 합이 $9$가 되게 만족하는 $k$는 무수히 많다.
증명 : 임의의 실수 $k \in (c, d)$를 잡자.
$g(t)$는 이 구간에서 상수함수이므로 극한의 성질에 의해 $\lim\limits_{t \to k-} g(t) = 3$, $\lim\limits_{t \to k+} g(t) = 3$ 이다.
또한 함숫값 $g(k) = 3$ 이다.
따라서
$$g(k) + \lim_{t \to k-} g(t) + \lim_{t \to k+} g(t) = 3 + 3 + 3 = 9$$
가 성립한다.
개구간 $(c, d)$ 안에는 무수히 많은 실수가 존재하므로, $k$의 개수가 $1$이라는 문제 조건에 모순이 발생한다. (증명 끝)
함수 $y=f(x)$가 연속 함수라 할 때, 극대 또는 극소인 지점 $y=m$에서 교점 개수 함수 $g(t)$의 극한은 다음과 같이 유도됩니다.
정답 상황인 $a=3, b=6$ (최솟값 $m=-3$) 일 때의 전체 그래프입니다. 슬라이더로 직선 $y=t$를 움직여 교점의 개수 $g(t)$와 문제의 극한 조건 합계가 언제 $9$가 되는지 관찰하세요.