함수가 극값을 가지지 않는다는 것은 함수의 그래프에서 봉우리나 골짜기 형태의 지점이 존재하지 않는다는 의미입니다. 이는 주로 함수의 도함수(미분값)가 0이 되는 지점의 특징에 따라 결정됩니다. 미분 가능한 함수 f(x)가 극값을 가지지 않을 조건은 다음과 같습니다.
도함수가 0이 되는 지점이 없거나, 0이 되더라도 변곡점인 경우
극값은 함수 f(x)가 증가하다가 감소하거나, 감소하다가 증가하는 지점에서 발생합니다. 이러한 변화는 함수의 도함수 f'(x)의 부호가 바뀌는 지점에서 일어납니다. 따라서 f'(x) = 0을 만족하는 x 값이 존재하지 않거나, f'(x) = 0을 만족하는 x 값이 존재하더라도 그 지점에서 f'(x)의 부호가 바뀌지 않으면 함수는 극값을 갖지 않습니다.
1. 도함수가 0이 되는 지점이 없는 경우
가장 간단한 경우는 함수의 도함수가 항상 양수이거나 항상 음수인 경우입니다. 예를 들어, f(x) = x³ + x 라면 f'(x) = 3x² + 1 입니다. x²은 항상 0 이상이므로 3x² + 1은 항상 1 이상입니다. 즉, f'(x)는 항상 양수이며 0이 되는 지점이 없습니다. 따라서 함수 f(x)는 항상 증가하는 함수이고 극값을 갖지 않습니다.
2. 도함수가 0이 되는 지점이 있지만 부호 변화가 없는 경우 (변곡점)
함수 f(x) = x³ 의 경우를 생각해 봅시다. f'(x) = 3x² 입니다. f'(x) = 0 을 만족하는 x는 x=0 뿐입니다. 그러나 x=0 좌측 (음수) 에서 f'(x) = 3x² 은 양수이고, x=0 우측 (양수) 에서도 f'(x) = 3x² 은 양수입니다. 즉, x=0 에서 f'(x)의 부호 변화가 없습니다. 따라서 x=0 은 극값이 아니라 변곡점이 되며, 함수 f(x) = x³ 은 극값을 갖지 않습니다.
극값을 가지지 않을 조건 판별법
미분 가능한 함수 f(x)가 극값을 가지지 않을 조건을 판별하기 위해서는 다음과 같은 단계를 따를 수 있습니다.
1단계: 도함수 f'(x) 구하기
함수 f(x)를 미분하여 도함수 f'(x)를 구합니다.
2단계: f'(x) = 0 방정식의 해 구하기
도함수 f'(x)가 0이 되는 x 값들을 찾습니다. 이 값들은 극값을 가질 후보 지점입니다.
3단계: 각 후보 지점에서 f'(x)의 부호 변화 확인
- 증감표 작성: f'(x) = 0 이 되는 x 값을 기준으로 구간을 나누고, 각 구간에서 f'(x)의 부호를 조사합니다. f'(x)의 부호가 바뀌면 해당 x 값에서 극값을 가집니다. 부호 변화가 없으면 극값을 갖지 않습니다.
- 이계도함수 판정법 활용 (주의 필요): 이계도함수 f''(x)를 구하여 f''(c) = 0 이고 f'(c) = 0 일 때, f'''(c) ≠ 0 이라면 x=c는 변곡점입니다. 하지만 이 방법은 f''(c) = 0 인 경우에 추가적인 판별이 필요하므로, 증감표를 이용하는 것이 더 일반적이고 확실합니다. 예를 들어 f(x) = x⁴ 의 경우 f'(x) = 4x³, f''(x) = 12x² 입니다. x=0에서 f'(0)=0, f''(0)=0 입니다. f'''(x) = 24x 이므로 f'''(0)=0 입니다. 이 경우 x=0은 극소값 지점이 됩니다. 따라서 f''(c) = 0 이라고 해서 무조건 극값을 갖지 않는 것은 아닙니다.
결론적으로, 미분 가능한 함수 f(x)가 극값을 가지지 않기 위한 핵심 조건은 도함수 f'(x)가 0이 되는 지점에서 부호 변화가 일어나지 않는 것입니다. 이는 f'(x) = 0 해가 존재하지 않거나, 존재하더라도 각 점에서 f'(x)의 부호가 양수에서 양수, 또는 음수에서 음수로 유지되는 경우입니다. 예를 들어, f(x) = x³-3x² + 3x - 1 = (x-1)³ 와 같은 함수는 f'(x) = 3(x-1)² 이고 x=1에서 f'(1)=0 이지만, x=1을 기준으로 f'(x)의 부호는 항상 양수이므로 극값을 갖지 않습니다. 이는 x=1에서 변곡점을 갖는 형태입니다.