사차함수의 극값 존재 여부는 함수의 그래프 개형을 이해하는 데 있어 매우 중요한 부분입니다. 극값이란 함수값이 주변의 다른 모든 함숫값보다 크거나 작은 지점을 의미하며, 사차함수의 경우 이러한 극값을 가질 수도 있고, 갖지 않을 수도 있습니다. 사차함수가 극값을 갖기 위한 조건은 해당 함수의 도함수인 삼차함수의 근의 개수와 밀접한 관련이 있습니다.
사차함수 $f(x)$가 극값을 갖기 위해서는 먼저 도함수 $f'(x)$가 존재해야 합니다. 사차함수를 미분하면 삼차함수가 되는데, 사차함수의 극값은 도함수인 삼차함수의 부호가 바뀌는 지점에서 발생합니다. 즉, 삼차함수 $f'(x)$가 x축과 만나는 점 중에서 부호가 바뀌는 지점이 존재해야 합니다. 삼차함수의 그래프가 x축과 한 점에서만 만나거나 세 점에서 만날 때 부호가 바뀌는 지점이 생길 수 있습니다.
구체적으로 사차함수 $f(x) = ax^4 + bx^3 + cx^2 + dx + e$ (단, $a eq 0$)의 도함수는 $f'(x) = 4ax^3 + 3bx^2 + 2cx + d$ 입니다. 이 삼차함수 $f'(x)$가 서로 다른 세 실근을 갖거나, 중근과 다른 한 실근을 가지면서 중근에서 부호 변화가 일어나지 않는 경우, 또는 삼중근을 갖는 경우에 사차함수는 극값을 갖습니다.
좀 더 명확하게 말하면, 사차함수가 극값을 가지려면 도함수 $f'(x)$가 서로 다른 실근을 적어도 두 개 가져야 합니다. 이 두 실근 중에서 함수 $f'(x)$의 부호가 바뀌어야 합니다. 만약 $f'(x)$가 하나의 실근만을 갖는다면, 그 지점에서는 부호 변화가 일어나지 않으므로 극값이 존재하지 않습니다. 만약 $f'(x)$가 서로 다른 세 실근을 갖는다면, 각 실근에서 $f'(x)$의 부호가 바뀌므로 세 개의 극값을 갖게 됩니다. 또한, $f'(x)$가 중근과 다른 한 실근을 가질 때, 중근이 아닌 실근에서 부호가 바뀌면 하나의 극값을 갖고, 중근에서 부호가 바뀌면 세 개의 극값을 갖게 됩니다.
사차함수의 극값 존재 여부를 판별하는 또 다른 방법은 도함수의 판별식을 이용하는 것입니다. 삼차함수 $g(x) = Ax^3 + Bx^2 + Cx + D$의 판별식을 이용하면 근의 개수를 파악할 수 있습니다. 하지만 사차함수의 경우, 도함수인 삼차함수의 판별식이 복잡하므로 일반적으로는 도함수의 그래프 개형을 직접 그려서 판단하는 것이 더 직관적이고 효율적입니다.
결론적으로, 사차함수가 극값을 가지려면 도함수인 삼차함수가 x축과 적어도 두 개의 지점에서 만나거나, 한 지점에서 만나더라도 그 점이 삼중근이어서 부호 변화가 일어나는 경우여야 합니다. 즉, 도함수 $f'(x)$의 근 중에서 부호가 바뀌는 근이 존재해야 합니다. 이를 통해 사차함수의 그래프 개형을 정확히 파악하고, 함수의 증가 및 감소 구간, 극대값, 극소값을 찾는 데 활용할 수 있습니다.