함수가 특정 지점에서 극값을 갖지 않는 경우는 크게 두 가지로 나누어 볼 수 있습니다. 첫 번째는 해당 지점에서 함수의 미분이 불가능한 경우이고, 두 번째는 미분이 가능하지만 1차 도함수의 부호 변화가 일어나지 않는 경우입니다. 이 두 가지 조건을 명확히 이해하면, 함수가 극값을 갖지 않는 지점을 정확하게 파악하고 분석하는 데 큰 도움이 됩니다.
함수 극값의 정의는 '어떤 열린 구간 내에서 그 함수의 최댓값 또는 최솟값이 되는 점'입니다. 즉, 극대값은 주변의 다른 모든 함수값보다 크거나 같아야 하고, 극소값은 주변의 다른 모든 함수값보다 작거나 같아야 합니다. 이러한 극값은 일반적으로 함수가 미분 가능할 때 1차 도함수가 0이 되는 지점, 즉 임계점에서 발생합니다. 하지만 여기서 중요한 것은 '임계점이라고 해서 반드시 극값을 갖는 것은 아니다'라는 사실입니다.
첫 번째로, 함수가 미분 불가능한 지점에서 극값을 갖지 않는 경우가 있습니다. 예를 들어, 절댓값 함수 $y = |x|$는 $x=0$에서 꺾이는 점(첨점)을 가지며 미분 불가능합니다. 이 점은 함수의 그래프에서 가장 낮은 지점이므로 극소값으로 정의될 수 있습니다. 하지만 모든 미분 불가능한 점이 극값을 갖는 것은 아닙니다. 만약 함수의 그래프가 특정 지점에서 수직 점근선을 가지거나, 혹은 뾰족한 점이 함수의 최댓값이나 최솟값이 아닌 다른 지점이라면 극값이 되지 않습니다. 예를 들어, $y = x^{1/3}$ 함수는 $x=0$에서 미분 불가능하지만, 이 지점은 극값이 아닌 변곡점입니다. 1차 도함수 $y' = rac{1}{3}x^{-2/3}$는 $x=0$에서 정의되지 않으며, $x=0$의 좌우에서 모두 양수이므로 부호 변화가 없습니다. 따라서 미분 불가능한 지점이라고 해서 무조건 극값을 갖는 것은 아니며, 함수의 전체적인 개형을 고려해야 합니다.
두 번째로, 함수가 미분 가능하지만 1차 도함수의 부호 변화가 없는 경우입니다. 가장 대표적인 예가 $y = x^3$ 함수입니다. 이 함수의 1차 도함수는 $y' = 3x^2$입니다. $y'=0$이 되는 임계점은 $x=0$뿐입니다. 그런데 $x=0$의 좌측(-값)과 우측(+값)에서도 $x^2$은 항상 양수이므로, 1차 도함수의 부호는 $x=0$을 기준으로 변하지 않습니다. 즉, $x=0$의 왼쪽에서는 함수가 증가하고, $x=0$ 오른쪽에서도 함수는 계속 증가합니다. 따라서 $x=0$은 극값이 아니라 변곡점이 됩니다. 이러한 형태의 지점을 '안장점' 또는 '변곡점'이라고 부르기도 합니다. 3차 함수에서 $x = rac{-b}{3a}$ 지점이 이러한 안장점이 되는 경우가 많습니다. 4차 함수에서도 $y = x^4$의 경우 $x=0$에서 $y'=4x^3$이 0이 되지만, $x=0$의 좌우에서 부호 변화가 없어 극소값을 갖습니다. 하지만 $y=x^4+x$와 같이 조금만 변형되어도 $y'=4x^3+1$이 되고 $x = - rac{1}{4}$에서 극값을 갖게 됩니다. 따라서 1차 도함수가 0이 되는 지점이더라도, 그 지점의 좌우에서 1차 도함수의 부호가 바뀌는지 여부를 반드시 확인해야 합니다. 부호 변화가 없다면 극값이 아닌 것입니다.
결론적으로, 함수가 극값을 갖지 않을 조건은 첫째, 해당 지점에서 함수가 미분 불가능하고 그 지점이 함수의 최댓값이나 최솟값이 아닌 경우, 둘째, 해당 지점에서 함수가 미분 가능하고 1차 도함수가 0이지만 그 지점의 좌우에서 1차 도함수의 부호 변화가 없는 경우입니다. 이 두 가지 조건을 종합적으로 고려하면 함수가 극값을 갖지 않는 지점을 정확하게 판별할 수 있습니다. 함수의 그래프 개형을 함께 그리거나 2차 도함수를 활용하여 분석하면 더욱 명확하게 이해할 수 있습니다.