수능 출제 분석

지수·로그함수의 절댓값 그래프와 방정식의 실근

Q [문제 원문]

21. 자연수 $n$에 대하여 함수 $f(x)$를

$$ f(x) = \begin{cases} |3^{x+2} - n| & (x < 0) \\ |\log_2(x+4) - n| & (x \ge 0) \end{cases} $$

이라 하자. 실수 $t$에 대하여 $x$에 대한 방정식 $f(x) = t$의 서로 다른 실근의 개수를 $g(t)$라 할 때, 함수 $g(t)$의 최댓값이 $4$가 되도록 하는 모든 자연수 $n$의 값의 합을 구하시오. [4점]

31
32
33
34
35

1 [출제의도]

이 문항은 구간에 따라 다르게 정의된 지수함수와 로그함수에 절댓값 기호가 포함되었을 때의 그래프 개형을 완벽하게 추론할 수 있는지 평가합니다. 특히, 상수 함수 $y = t$와의 교점의 개수가 방정식의 실근의 개수와 같다는 해석 기하학적 성질을 이용하고, 점근선과 축의 교점 등의 경계값을 통해 실근의 개수가 최대화되는 조건을 대수적으로 구해내는 융합적 사고력을 묻는 핵심 문제입니다.

2 [상세 풀이] (Step-by-Step)

Step 1

구간 : $x < 0$ 에서의 지수함수 그래프 분석

$x < 0$ 일 때, 함수는 $y = |3^{x+2} - n|$ 입니다. 원래 함수 $y = 3^{x+2} - n$ 은 증가하는 지수함수이며, 점근선은 $y = -n$ 입니다. 절댓값을 씌우면 $x$축 아래 부분이 꺾여 올라가게 됩니다.

  • 점근선 : $\lim_{x \to -\infty} |3^{x+2} - n| = |-n| = n$ 이므로 점근선은 $y = n$ 입니다.
  • 경계점(y축 교점 방향) : $x \to 0^-$ 일 때, $y \to |3^2 - n| = |9 - n|$ 입니다.
  • x축과의 교점 존재 조건 : 그래프가 $x$축과 만나 꺾여 올라가기(bounce) 위해서는 원래 함수의 $x$절편이 $x < 0$ 범위 안에 있어야 합니다.
    $3^{x+2} - n = 0 \implies x = \log_3 n - 2 < 0 \implies \log_3 n < 2 \implies n < 9$

$n < 9$ 일 때, 이 구간에서 상수함수 $y = t$ 와 교점이 최대 2개 발생할 수 있습니다. 교점이 2개가 되기 위한 $t$의 범위는 점근선과 우측 경계값 중 더 작은 값보다 아래에 있어야 하므로 다음과 같습니다.

$$ 0 < t < \min(n, |9-n|) $$
[참고 도형 1] x < 0 구간의 그래프 및 교점 2개 조건 x축 y축 O y = n (점근선) |9 - n| y = t
Step 2

구간 : $x \ge 0$ 에서의 로그함수 그래프 분석

$x \ge 0$ 일 때, 함수는 $y = |\log_2(x+4) - n|$ 입니다. 점의 출발은 $x=0$ 일 때 $y = |\log_2(4) - n| = |2 - n|$ 입니다.

  • x축과의 교점(꺾이는 점) : $\log_2(x+4) - n = 0 \implies x+4 = 2^n \implies x = 2^n - 4$ 입니다.
  • 교점 존재 조건 : 이 점이 정의역 $x \ge 0$ 에 포함되려면 $2^n - 4 \ge 0 \implies n \ge 2$ 이어야 합니다.

$n \ge 2$ 일 때, 그래프는 $(0, n-2)$ 에서 출발하여 $x = 2^n-4$ 에서 $x$축에 닿은 후 계속 증가합니다. 따라서 이 구간에서 상수함수 $y = t$ 와 교점이 최대 2개 발생하기 위해서는 $t$가 $y$절편값 이하이어야 합니다.

$$ 0 < t \le n-2 $$
[참고 도형 2] x ≥ 0 구간의 그래프 및 교점 2개 조건 x축 y축 O n - 2 y = t
Step 3

실근의 개수 최댓값이 4가 될 조건식 수립

전체 실수 전체 집합에서 $g(t)$ 의 최댓값이 4가 되려면, $x < 0$ 구간에서 교점이 2개 나오고, 동시에 $x \ge 0$ 구간에서도 교점이 2개 나오는 실수 $t$가 반드시 존재해야 합니다. 즉, 두 구간의 $t$의 조건 범위가 공통 부분(교집합)을 가져야 합니다.

조건 1 : $0 < t < \min(n, |9-n|)$
조건 2 : $0 < t \le n-2$

두 범위의 교집합이 공집합이 아니려면, 각 범위의 상한값이 모두 $0$ 보다 커야 합니다.
$\therefore \min(n, |9-n|) > 0$ 이고 $n-2 > 0$
[참고 도형 3] t 범위의 공통 구간(교집합) 형성 조건 t축 0 min(n, |9-n|) n-2 교집합 존재!
Step 4

조건을 만족하는 자연수 $n$ 도출 및 합산

Step 3의 부등식을 풀어보겠습니다.
$n-2 > 0$ 이므로 $n \ge 3$ 입니다.
$\min(n, |9-n|) > 0$ 조건에 의해 $n > 0$ 이고 $|9-n| > 0$ 이어야 합니다. 즉, $n \ne 9$ 입니다.
또한 앞선 분석에서 $x < 0$ 구간에서 'bounce' 현상이 일어나야 하므로 $n < 9$ 라는 숨은 제약 조건도 함께 고려되어야 합니다.

$$ 3 \le n < 9 $$

위 조건을 만족하는 자연수 $n$은 $3, 4, 5, 6, 7, 8$ 입니다.

[참고 도형 4] 가능한 자연수 n의 값 1 2 3 4 5 6 7 8 9
Step 5

최종 정답 도출

구해진 모든 자연수 $n$의 합을 구합니다.

$$ \sum n = 3 + 4 + 5 + 6 + 7 + 8 = 33 $$

따라서 정답은 33 입니다.

3 [이론 매칭]

지수함수와 로그함수의 그래프

수학 I 과정. 지수함수의 점근선 방정식과 로그함수의 밑의 조건에 따른 증감 개형을 이해하고 변형할 수 있어야 합니다.

절댓값 기호를 포함한 함수의 그래프

고등수학(상/하) 및 수학 I. $y=|f(x)|$ 꼴의 그래프를 그릴 때, $f(x)=0$ 인 지점에서 $x$축에 대해 대칭 이동(꺾여 올라감)하는 성질을 사용합니다.

방정식의 실근과 그래프의 교점

수학 II 및 공통 영역. 대수적인 방정식 $f(x)=t$ 의 서로 다른 실근의 개수는 기하학적으로 $y=f(x)$ 의 그래프와 상수함수 $y=t$ 의 교점의 개수와 완벽히 동치입니다.

4 [실수 포인트 및 증명]

🚨 점근선의 무시 및 정의역 경계 오류

많은 학생들이 $x < 0$ 구간의 지수함수를 그릴 때, 점근선 $y=n$ 이 존재한다는 사실을 잊어버리고 한없이 위로 뻗어나간다고 착각하여 $t$의 범위를 끝없이 설정하는 실수를 범합니다. 또한 $x=0$ 에서의 등호 포함 여부를 엄밀하게 따지지 않아 교점 개수를 잘못 카운팅하는 경우가 흔합니다.

수학적 증명 : 점근선 $y=n$ 의 존재성

함수 $y = |3^{x+2} - n|$ 에서 $x$가 음의 무한대로 갈 때의 극한값을 조사하여 점근선을 증명합니다.

$$ \lim_{x \to -\infty} 3^{x+2} = 0 $$ $$ \therefore \lim_{x \to -\infty} |3^{x+2} - n| = |0 - n| = |-n| = n $$

따라서 이 함수의 좌측 꼬리 부분은 점근선 $y=n$ 을 절대 넘을 수 없습니다. 상수함수 $y=t$ 가 $t \ge n$ 으로 올라가 버리면, 왼쪽 꼬리와는 만나지 않으므로 교점이 줄어들게 됨을 대수적 극한으로 증명할 수 있습니다.

5 [핵심 이론 증명]

절댓값 함수가 $x$축과 접하며 꺾이는 지점 (x절편)의 유도

$g(t)$가 4가 되기 위해서는 그래프가 $x$축을 뚫고 지나가는 곳에서 절댓값에 의해 꺾여 올라가 'V자' 혹은 'U자' 형태의 골짜기(bounce)를 만들어야 합니다. 각 구간에서 꺾이는 점의 좌표를 유도합니다.

  1. $x < 0$ 구간의 지수함수 : $3^{x+2} - n = 0$
    $$ 3^{x+2} = n \iff x+2 = \log_3 n \iff x = \log_3 n - 2 $$ 이 값이 정의역 $x < 0$ 에 존재해야 하므로 $\log_3 n < 2 \implies n < 9$ 라는 강력한 제한 조건이 탄생합니다.
  2. $x \ge 0$ 구간의 로그함수 : $\log_2(x+4) - n = 0$
    $$ \log_2(x+4) = n \iff x+4 = 2^n \iff x = 2^n - 4 $$ 이 값이 정의역 $x \ge 0$ 에 존재해야 하므로 $2^n - 4 \ge 0 \implies 2^n \ge 4 \implies n \ge 2$ 라는 하한 조건이 탄생합니다.

해석 기하학 시각화 : $n$과 $t$ 변화에 따른 실근의 변화

상수 $n$과 실수 $t$ 슬라이더를 움직이며 $y=f(x)$ 와 $y=t$ 의 교점 개수 $g(t)$ 가 어떻게 변하는지 직관적으로 관찰해보세요. 노란색 점이 곧 방정식의 실근입니다.

x < 0 (지수) x ≥ 0 (로그)
👆 마우스/터치로 화면 이동 및 확대/축소 가능
현재 실근 개수 g(t) 0
자연수 n 값 조절 n = 3
1510
실수 t 값 조절 (수평선) t = 1.0
  • • x < 0 구간 교점 범위 :
  • • x ≥ 0 구간 교점 범위 :