도함수의 함숫값과 부호 변화 조건을 만족하는 삼차함수 결정
22. 최고차항의 계수가 $1$ 인 삼차함수 $f(x)$ 가 다음 조건을 만족시킨다.
$f'\left(-\frac{1}{4}\right) = -\frac{1}{4}$, $f'\left(\frac{1}{4}\right) < 0$ 일 때, $f(8)$ 의 값을 구하시오. [4점]
본 문항은 도함수의 특정 점에서의 값과 부호를 통해 삼차함수의 개형(극대·극소의 위치)을 유추하고, 주어진 부등식 $f(k-1)f(k+1) \ge 0$ (모든 정수 $k$ 에 대하여)의 대수적·기하학적 의미를 사이값 정리와 연관 지어 해석할 수 있는지를 평가합니다. 연속된 정수 간격에서 함수의 부호 변화가 어떻게 제한되어야 하는지 논리적으로 추론하는 고도의 사고력을 요구합니다.
삼차함수 $f(x) = x^3 + ax^2 + bx + c$ 라 합시다. 도함수는 $f'(x) = 3x^2 + 2ax + b$ 입니다. 주어진 미분계수 조건을 이용해 계수 간의 관계를 도출합니다.
$f'\left(\frac{1}{4}\right) < 0$ 이므로, 함수 $f(x)$ 는 $x = \frac{1}{4}$ 근방에서 감소하고 있습니다. 삼차함수가 감소하는 구간이 존재한다는 것은 곧 극대와 극소를 모두 가진다는 것을 의미하며, 이 감소 구간은 $x=0$ 과 매우 가깝습니다.
💡 주어진 수식의 진짜 의미는 무엇일까요?
조건에서 '$f(k-1)f(k+1) < 0$ 인 정수 $k$ 가 존재하지 않는다'는 것은, 뒤집어 말하면 모든 정수 $k$ 에 대하여 $f(k-1) \times f(k+1) \ge 0$ 이 무조건 성립해야 한다는 뜻입니다.
즉, 한 칸 건너뛴 두 정수점(예: -1과 1, 0과 2)에서의 $y$값 부호가 서로 다르지 않아야 (같거나 0이어야) 함을 의미합니다.
왜 이 조건이 함수의 그래프 개형을 결정짓는 강력한 힌트가 될까요? 삼차함수가 $x$축을 뚫고 지나가는 상황을 쉽게 상상해 봅시다.
참고 도형 1 : 부등식 조건 위배 및 만족 상황 비교 (삼차함수 곡선)
결론적으로, 부호가 엇갈려 곱이 음수가 되는 상황을 완벽히 방어할 수 있는 유일한 해법은, 함수가 감소하며 x축을 가로지르는 핵심 구간의 정수점들(x=0 과 x=1)이 정확히 근이 되어 함숫값이 0이 되도록 만드는 것뿐입니다. (우측 부호 탐지기 시뮬레이터에서 a와 c를 움직여 직접 실험해 보세요!)
Step 2의 기하학적 분석에 따라, 부호 변화 위배를 막기 위해 유일한 해법인 $f(0) = 0$ 이고 $f(1) = 0$ 이라고 확정합니다.
Step 1에서 구한 관계식 $b = \frac{a}{2} - \frac{7}{16}$ 에 위 결과를 대입합니다.
따라서 $a = -\left(-\frac{5}{8} + 1\right) = -\frac{3}{8}$ 입니다. 이는 조건 $a < \frac{1}{4}$ 을 훌륭히 만족합니다! 완성된 함수식은 다음과 같습니다.
참고 도형 2 : 완성된 함수 $f(x)$ 의 정밀 그래프 (f(2)=5.25 포함)
우리가 구한 $f(x)$ 가 모든 $k$ 에 대해 $f(k-1)f(k+1) \ge 0$ 을 만족하는지 마지막으로 점검합니다.
모든 조건이 완벽하게 들어맞습니다. 이제 $f(8)$ 의 값을 계산합니다.
도함수의 함숫값을 통해 원함수의 계수를 결정하는 대수적 기법.
$f'(x)$ 의 부호 변화를 통해 다항함수의 증감과 개형(N자 형태)을 추론.
연속함수에서 부호가 다른 두 점 사이에는 반드시 실근이 존재함을 이용하여 정수점 부호 조건을 해석.
수학적 직관이 부족한 경우, $f(k-1)f(k+1) \ge 0$ 이라는 조건만을 가지고 모든 정수 $k$ 에 대해 수식 전개를 시도하다가 미지수가 너무 많아 포기하게 됩니다. 함수의 부호가 바뀌는 지점(x축 교차점)이 정수여야만 부호 교대 현상을 막을 수 있다는 기하학적 의미를 파악하는 것이 핵심입니다.
귀류법을 사용합니다. 삼차함수 $f(x)$ 가 정수 근을 가지지 않는다고 가정합시다.
$f(x)$ 는 기함수 형태의 곡선이므로 반드시 $x$ 축을 한 번 이상 통과합니다. 어떤 정수 $n$ 에 대하여 구간 $(n, n+1)$ 에서 $f(x)$ 가 $x$ 축을 통과한다고 하면, 사이값 정리에 의해 $f(n)$ 과 $f(n+1)$ 은 부호가 다릅니다. (예: $f(n) > 0, f(n+1) < 0$)
이때 $k = n+1$ 이라 하면, $f(k-1)f(k+1) = f(n)f(n+2)$ 가 됩니다.
조건에 의해 $f(n)f(n+2) \ge 0$ 이어야 하므로, $f(n) > 0$ 이면 $f(n+2) > 0$ 이어야 합니다.
그러나 이렇게 되면 수열 $f(n), f(n+1), f(n+2)$ 의 부호는 $(+, -, +)$ 가 됩니다.
이는 함수가 좁은 구간에서 $x$ 축을 두 번 다시 교차해야 함을 의미하며, 삼차함수의 제한된 개형상 연속된 정수 구간 전체에서 이를 무한히 만족시키는 것은 불가능합니다. 따라서 모순을 없애기 위해 $f(n)=0$ 과 같이 곱을 $0$ 으로 무효화시키는 정수 근이 필수적입니다.
본 문항에서 $f'(x)$ 를 구하기 위해 사용한 $x^n$ 의 미분법은 미분계수의 정의로부터 출발합니다. $f(x) = x^3$ 의 도함수를 유도해 봅시다.
이를 선형성과 결합하여 $f(x) = x^3 + ax^2 + bx + c \implies f'(x) = 3x^2 + 2ax + b$ 를 얻게 됩니다.
💡 제어 및 관찰 가이드