삼차함수가 극값을 갖기 위한 조건은 함수의 미분 결과와 밀접한 관련이 있습니다. 극값은 함수가 증가하다가 감소하거나, 감소하다가 증가하는 지점을 의미하며, 이는 함수의 도함수가 0이 되는 지점에서 발생할 가능성이 높습니다. 따라서 삼차함수의 극값 존재 여부를 판단하기 위해 가장 먼저 해야 할 일은 함수의 도함수를 구하는 것입니다.
삼차함수 $f(x) = ax^3 + bx^2 + cx + d$ (단, $a \neq 0$)를 가정해 봅시다. 이 함수의 도함수 $f'(x)$는 다음과 같습니다. $f'(x) = 3ax^2 + 2bx + c$. 여기서 삼차함수의 극값은 도함수인 이차함수 $f'(x)$의 근과 관련이 있습니다. 삼차함수가 극값을 가지려면, $f'(x) = 0$이라는 이차방정식이 서로 다른 두 실근을 가져야 합니다. 왜냐하면 도함수의 부호가 바뀌는 지점에서 극값이 발생하기 때문입니다. 만약 $f'(x)=0$이 중근을 갖거나 실근을 갖지 않으면, 도함수의 부호 변화가 일어나지 않아 극값을 갖지 않게 됩니다.
이차방정식 $3ax^2 + 2bx + c = 0$이 서로 다른 두 실근을 가질 조건은 판별식 $D$가 0보다 커야 한다는 것입니다. 이차방정식의 일반적인 형태 $Ax^2 + Bx + C = 0$의 판별식은 $D = B^2 - 4AC$입니다. 따라서 우리의 도함수 $f'(x) = 3ax^2 + 2bx + c$에 대해 판별식을 적용하면, $D = (2b)^2 - 4(3a)(c) = 4b^2 - 12ac$가 됩니다. 삼차함수가 극값을 가지려면 이 판별식이 0보다 커야 합니다. 즉, $4b^2 - 12ac > 0$이어야 합니다. 이 부등식을 간단히 하면 $b^2 - 3ac > 0$이 됩니다. 이 조건만 만족하면 삼차함수는 항상 두 개의 극값을 갖게 됩니다.
예를 들어, 함수 $f(x) = x^3 - 3x^2 + 2x$를 생각해 봅시다. 이 함수의 도함수는 $f'(x) = 3x^2 - 6x + 2$입니다. 이 이차방정식의 판별식을 계산해 보면, $D = (-6)^2 - 4(3)(2) = 36 - 24 = 12$입니다. 판별식 $D=12$는 0보다 크므로, 이 삼차함수는 두 개의 극값을 가집니다. 실제로 $f'(x)=0$의 근을 구해보면 $x = \frac{6 \pm \sqrt{12}}{6} = 1 \pm \frac{\sqrt{3}}{3}$으로 서로 다른 두 실근을 갖는 것을 확인할 수 있습니다.
반대로, 함수 $f(x) = x^3$을 생각해 봅시다. 이 함수의 도함수는 $f'(x) = 3x^2$입니다. $f'(x) = 0$이라는 이차방정식의 판별식은 $D = (0)^2 - 4(3)(0) = 0$입니다. 판별식이 0이므로 이 함수는 극값을 갖지 않습니다. 실제로 $f'(x) = 3x^2$은 $x=0$에서 0이 되지만, $x=0$의 좌우에서 함수의 부호가 변하지 않아 극값이 존재하지 않습니다. 또한, 함수 $f(x) = x^3 + x$의 도함수는 $f'(x) = 3x^2 + 1$입니다. 이 경우 판별식은 $D = (0)^2 - 4(3)(1) = -12$로 음수입니다. 따라서 $f'(x)=0$은 실근을 갖지 않으며, 이 함수 역시 극값을 갖지 않습니다.
결론적으로, 삼차함수가 극값을 갖기 위한 핵심 조건은 도함수인 이차함수가 서로 다른 두 실근을 갖는 것이며, 이는 이차방정식의 판별식이 0보다 커야 한다는 것으로 귀결됩니다. 즉, 삼차함수 $f(x) = ax^3 + bx^2 + cx + d$ (단, $a \neq 0$)에 대해 도함수 $f'(x) = 3ax^2 + 2bx + c$의 판별식 $D = (2b)^2 - 4(3a)(c) = 4b^2 - 12ac$가 $D > 0$일 때, 즉 $b^2 - 3ac > 0$일 때 삼차함수는 극값을 갖습니다.