Basic) 함수의 논리와 엄밀화 > 수식으로 다루는 함수의 성질

수식으로 다루는 증감성, 극점, 최점

극점의 미분계수부터 평균값 정리까지

증명의 여정을 떠나기 전에

많은 학생들이 롤의 정리, 평균값 정리는 특정 유형의 문제를 풀 때에만 쓰이는 정리로 생각하는 경향이 있습니다. 이는 문제에서 `도함수를 구할 수 없는 경우'를 거의 다루지 않기 때문입니다. 대부분의 문제에서는 함수의 식이나 조건이 명확히 주어지므로, 곧장 그래프를 떠올리거나 미분하여 그래프를 그리는 것이 가능합니다. 그러므로 롤의 정리와 평균값 정리를 통해 찾을 수 있는 $x=c$의 존재성이 당연해보일 수도 있습니다.

그러나 롤의 정리와 평균값 정리는 `함수 $f$가 미분가능하다'라는 한정된 정보만 주어졌을 때 의미가 있습니다. 이 정보만으로는 어떤 $x=ㅊ$의 존재성을 보이기가 꽤 난감합니다. $f$의 미분가능성 외에는 정보가 없으니 미분계수 정의를 쓸 수도 없고, 원함수의 식을 전혀 알지 못하니 도함수를 구할 수도 없습니다. `구간의 두 끝점의 함숫값이 같다는 정보', `구간의 두 끝점의 함숫값 정보'가 주어지더라도 이 난감한 상황은 크게 달라지지 않습니다.

그러나 롤의 정리를 통해 우리는 미분계수가 $0$인 점이 구간에 존재한다는 새로운 정보를 얻을 수 있습니다. 평균값 정리는 이를 확장하여 할선의 기울기와 같은 접선이 존재한다는 새로운 정보를 얻을 수 있게 해줍니다. 롤의 정리와 평균값 정리의 의미가 여러분께 조금이나마 와닿기를 바라며, 증명을 통해 논리 전개의 흐름을 이해해봅시다.

명제마다의 증명은 책을 다음 장으로 넘겨야 보이도록 의도적으로 여백을 삽입했습니다. 대신 다음 페이지로 넘어갔을 때 증명할 명제와 그에 대한 증명이 함께 보이도록 편집하였습니다.

1회독부터 고민하며 스스로 증명하면 좋지만, 1회독 때에는 직접 증명하지 않고 논리 전개의 흐름을 따라가는 것도 괜찮습니다. 2회독 이후부터는 직접 증명해보시기 바랍니다.

1단계 : 극점에서의 미분계수가 $0$임을 증명하기

Graph에서 극점에서의 미분계수가 $0$임을 배웠습니다. 이는 다음의 명제로 정리될 수 있습니다.
미분가능한 함수 $f\left( x \right) $에 대하여 $\xy{a}{f\left( a \right) }$가 극점이면 $f'\left( a \right) =0$이다.

미분가능한 함수 $f\left( x \right) $에 대하여 $\xy{a}{f\left( a \right) }$가 극점이면 $f'\left( a \right) =0$이다.
극대점일 때를 증명하면, 같은 방법으로 극소점일 때에도 증명할 수 있습니다. 따라서 극대점일 때만 증명하고, 극소점일 때의 증명은 여러분께 맡기겠습니다. 극대점의 정의에 의해 $x=a$를 포함하는 어떤 열린구간 $I$에서 $f\left( x \right) \le f(a)$이다. 따라서 $f\left( x \right) - f\left( a \right) \le 0$이고, 양변을 $x-a$로 나누면 $a$와 $x$의 대소관계에 따라 다음이 성립한다. \[\begin{align*} \dfrac{f\left( x \right) - f\left( a \right) }{x-a} \le 0 \quad\left( x>a \right) \cdots \text{①}, \quad\quad \dfrac{f\left( x \right) - f\left( a \right) }{x-a} \ge 0 \quad\left( x<a \right) \cdots \text{②} \end{align*}\] 이때 $f\left( x \right) $가 $x=a$에서 미분가능하므로 다음이 성립한다. \[\begin{align*} \lim_{x \to a}\dfrac{f\left( x \right) -f\left( a \right) }{x-a} = \lim_{x \to a+}\dfrac{f\left( x \right) -f\left( a \right) }{x-a}=\lim_{x \to a-}\dfrac{f\left( x \right) -f\left( a \right) }{x-a} = f'\left( a \right) \end{align*}\] 이제 ①의 양변에는 $\lim_{x \to a+}$를 취하고, ②의 양변에는 $\lim_{x \to a-}$를 취하면 함수의 극한의 대소관계에 의하여 각각 $f'\left( a \right) \le 0 $, $f'\left( a \right) \ge 0 $을 얻는다. 이를 종합하면 $0 \le f'\left( a \right) \le 0$이고, 따라서 $f'\left( a \right) =0$이다.

증명의 키포인트 : 가정에서는 극점의 정의를, 결론에서는 극점에서의 미분계수의 부호를 논하고 있습니다. 그런데 극점의 정의에서는 극점의 함숫값 $f\left( a \right) $와 열린구간 내의 임의의 함숫값 $f\left( x \right) $가 등장하고, 미분계수를 구하려면 $\lim_{x \to a}\dfrac{f\left( x \right) -f\left( a \right) }{x-a}$를 계산해야 합니다. 따라서 $x-a$로 나누되, 부호와 부등호의 방향에 유의하여 진행하면 됩니다.

2단계 : 롤의 정리 증명하기

다음과 같은 롤의 정리를 증명해보겠습니다.
함수 $f\left( x \right) $가 $\CCI{a}{b}$에서 연속이고 $\OOI ab$에서 미분가능할 때, $f(a)=f(b)$이면 \[\begin{align*} f'(c)=0\,\text{이고 }a<c<b \end{align*}\] 인 실수 $c$가 적어도 하나 존재한다.
함수 $f\left( x \right) $가 $\CCI{a}{b}$에서 연속이고 $\OOI ab$에서 미분가능할 때, $f(a)=f(b)$이면 \[\begin{align*} f'(c)=0\,\text{이고 }a<c<b \end{align*}\] 인 실수 $c$가 적어도 하나 존재한다.

  1. $f(x)$가 상수함수인 경우 : 구간 $a<x<b$에서 $f'(x)=0$이다.
  2. $f(x)$가 상수함수가 아닌 경우 :
    $f\left( x \right) $는 연속함수이므로 최대최소의 정리에 의하여 $\CCI{a}{b}$에서 최댓값과 최솟값을 갖는다. 또한 $f\left( x \right) $가 상수함수가 아니므로 $f\left( x \right) > f\left( a \right) $인 실수 $x$가 존재하거나, $f\left( x \right) < f\left( a \right) $인 실수 $x$가 존재한다. 이때 $f\left( a \right) = f\left( b \right) $이므로 $x=a$와 $x=b$에서는 최댓값과 최솟값을 동시에 가질 수는 없다. 따라서 $a < c < b$인 어떤 실수 $c$에 대하여 $x=c$에서 최댓값 또는 최솟값을 갖는다. $x=c$에서 최대일 때, $f(x)$는 $x=c$에서 극대이다. 이때 극점에서의 미분계수는 $0$이므로 $f'(c)=0$이다. $x=c$에서 최소일 때에도 같은 방법으로 $x=c$에서 극소임과 $f'\left( c \right) =0$임을 보일 수 있다.

증명의 키포인트 : 증명의 핵심은 `미분가능하면 연속이다', `최대최소 정리', 그리고 앞서 증명한 명제인 `극점의 미분계수는 $0$이다'입니다. 증명의 구조를 살펴보면, 미분가능 조건을 활용할 여지가 없으므로 연속조건을 활용하고, 연속조건을 활용하여 극점을 찾은 후, 극점의 미분계수가 $0$임을 찾고 있는 것을 알 수 있습니다. 달리 말하면, 아이러니하게도 롤의 정리를 증명하게 해주는 첫 실마리는 미분가능이 아닌 연속이고, 미분가능은 증명의 마무리 과정에서만 잠깐 활용될 뿐입니다.

한편, 롤의 정리의 증명 과정이 주는 교훈이 하나 더 있습니다. `일단 쉬운 상황을 먼저 처리하고 보자'는 발상입니다. ①과 같이 주어진 조건을 만족하며 가장 간단한 상황을 생각하여 먼저 처리하고 나면, 풀이해야 할 대상이 ②로 좀 더 명확히 좁혀집니다. 이렇게 가장 쉬운 상황을 먼저 처리하고 난 뒤, 좀 더 의미 있는 부분에 포커스를 맞추어 풀이를 진행해나가는 과정은, 앞으로 유용할 것입니다.

3단계 : 평균값 정리 증명하기

다음과 같은 평균값 정리를 증명해보겠습니다.
함수 $f\left( x \right) $가 $\CCI{a}{b}$에서 연속이고 $\OOI ab$에서 미분가능할 때, \[\begin{align*} f'(c)=\dfrac{f\left( b \right)-f\left( a \right) }{b-a}\,\text{이고 }a<c<b \end{align*}\] 인 실수 $c$가 적어도 하나 존재한다.
함수 $f\left( x \right) $가 $\CCI{a}{b}$에서 연속이고 $\OOI ab$에서 미분가능할 때, \[\begin{align*} f'(c)=\dfrac{f\left( b \right)-f\left( a \right) }{b-a}\,\text{이고 }a<c<b \end{align*}\] 인 실수 $c$가 적어도 하나 존재한다.
$\dfrac{f\left( b \right)-f\left( a \right) }{b-a}=m$이라 하고, 좌표평면에서 두 점 $\xy{a}{f(a)}$, $\xy{b}{f(b)}$를 지나는 직선의 방정식 \[\begin{align*}g(x)=m\left( x-a \right)+f(a) \end{align*}\]를 생각하고, $h(x)=f(x)-g(x)$를 생각하자. 그러면 $h\left( x \right) $는 $\CCI{a}{b}$에서 연속이고 $\OOI ab$에서 미분가능하며 $h(a)=h(b)=0$이다. 따라서 롤의 정리에 의해 $h'(c)=0$이고 $a<c<b$인 실수 $c$가 적어도 하나 존재한다. $h'\left( c \right)=f'(c)-g'(c) $, $g'\left( c \right) =m$이므로, $m=f'\left(c \right) $이고 $a<c<b$인 실수 $c$가 적어도 하나 존재한다.

증명의 키포인트 : 두 새로운 함수 $g\left( x \right) $와 $h\left( x \right) $를 설정하는 것이 매우 핵심적인 발상입니다. 이러한 발상은 앞으로 평균값 정리와 무관해보이는 문제를 풀 때에도 매우 결정적인 경우가 많을 것입니다. 따라서 그 근거를 명확히 제시할 수 있는 능력을 길러야 합니다.

$g\left( x \right) $는 평균값 정리의 명제에서 두 점 $\xy{a}{f\left( a \right) }$, $\xy{b}{f\left( b \right) }$에 의해 결정되는 기울기 식이 명시적으로 드러난 것을 근거로 설정한 것입니다. $h\left( x \right) $는 $y=f\left( x \right) $와 $y=g\left( x \right) $가 두 점 $\xy{a}{f\left( a \right) }$, $\xy{b}{f\left( b \right) }$를 교점으로 갖는다는 점에 착안하여 방정식 $f\left( x \right) =g\left( x \right) $를 생각하고, 이를 바탕으로 $f\left( x \right) - g\left( x \right) = 0$이라는 방정식의 해가 $x=a$, $x=b$임을 이용하기 위해 새로운 함수로 설정한 것입니다.

한편 $f\left( x \right) $와 $g\left( x \right) $의 관계, 그에 따른 $h\left( x \right) = f\left( x \right) -g\left( x \right) $의 그래프는 무언가 연관성이 느껴질 법합니다. 이렇게 두 함수를 빼서 얻은 `빼기함수'의 그래프를 그리는 방법, 더 나아가 함수끼리의 사칙연산을 이용하여 만든 `더하기함수', `곱하기함수', `나누기함수'의 그래프를 그리는 방법은 나중에 배울 것입니다.1더하기함수와 빼기함수는 이 책의 Calculus에서, 곱하기함수와 나누기함수는 맑은개념 미적분에서 배웁니다.

4단계 : 증감성과 도함수의 관계

우리는 $f\left( x \right) $의 증감성을 $f'\left( x \right) $로 판단할 수 있음을 다음과 같이 배웠습니다. 이를 증명해보겠습니다.
미분가능한 함수 $f\left( x \right) $가
  1. 어떤 구간에서 $f'\left( x \right) > 0 $이면 $f\left( x \right) $는 그 구간에서 증가한다.
  2. 어떤 구간에서 $f'\left( x \right) < 0 $이면 $f\left( x \right) $는 그 구간에서 감소한다.
미분가능한 함수 $f\left( x \right) $가
  1. 어떤 구간에서 $f'\left( x \right) > 0 $이면 $f\left( x \right) $는 그 구간에서 증가한다.
  2. 어떤 구간에서 $f'\left( x \right) < 0 $이면 $f\left( x \right) $는 그 구간에서 감소한다.
증가할 때를 증명하면, 같은 방법으로 감소할 때에도 증명할 수 있을 것입니다.
함수 $f\left( x \right) $가 $\CCI{a}{b}$에서 연속이고 $\OOI ab$에서 미분가능할 때, $a<x_1<x_2<b$인 두 실수 $x_1$, $x_2$에 대하여 평균값 정리에 의해 \[\begin{align*} \dfrac{f(x_2)-f(x_1)}{x_2-x_1}=f'(c)\,\text{이고 } x_1 < c < x_2\end{align*}\]인 실수 $c$가 적어도 하나 존재한다. 그런데 함수 $f(x)$가 구간 $\OOI ab$에서 $f'(x)>0$이므로 $f'(c)>0$이고, $x_2-x_1>0$이므로 $f(x_1)<f(x_2)$이다. 따라서 함수 $f(x)$는 구간 $\OOI{a}{b}$에서 증가한다.

증명의 키포인트 : 가정에서는 구간 내의 임의의 한 점에서의 미분계수의 부호를, 결론에서는 증가의 정의를 논하고 있습니다. 그런데 증가의 정의에서는 곡선 위의 두 점이 등장하므로, 두 점을 이용하여 한 점에서의 미분계수를 끌어낼 수 있는 연결고리가 필요합니다. 이 요건에 정확히 부합하는 것이 바로 `평균값 정리'이고, 이를 활용하여 얻은 미분계수의 부호를 밝히면 자연스럽게 증명됩니다.

증감성과 관련된 여러 가지 변종 명제 1
증감성과 도함수의 관계에 관련된 여러 가지 변종 명제의 참과 거짓을 판정해보겠습니다. 참이면 참임을 증명하고, 거짓이면 반례를 보이겠습니다.2거짓임을 증명할 때에는 명제가 틀렸음을 보여주는 예인 반례를 단 하나만 제시하여도 충분합니다. 미분가능한 함수 $f\left( x \right) $가
  1. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) > 0 $이다.
  2. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) \ge 0 $이다.
  3. 어떤 구간에서 $f'\left( x \right) \ge 0 $이면 그 구간에서 증가한다.
  4. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) < 0 $이다.
  5. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) \le 0 $이다.
  6. 어떤 구간에서 $f'\left( x \right) \le 0 $이면 그 구간에서 감소한다.

미분가능한 함수 $f\left( x \right) $가
  1. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) > 0 $이다.
  2. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) \ge 0 $이다.
  3. 어떤 구간에서 $f'\left( x \right) \ge 0 $이면 그 구간에서 증가한다.
  4. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) < 0 $이다.
  5. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) \le 0 $이다.
  6. 어떤 구간에서 $f'\left( x \right) \le 0 $이면 그 구간에서 감소한다.
  1. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) > 0 $이다. (거짓)
    반례 : 구간 내에 쉼점이 있는 경우
  2. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) \ge 0 $이다. (참) $a \le x<y \le b$이면3맨 왼쪽과 맨 오른쪽 부등호에서 각각 등호를 포함하느냐의 여부에 따라 닫힌구간, 반열린구간, 열린구간에 대한 증명으로 바뀝니다. $f\left( x \right)<f\left( y \right) $이고, $a \le y<x \le b$이면 $f\left( y \right)<f\left( x \right) $이다. 따라서 $x$와 $y$의 대소관계에 관계 없이 $\dfrac{f\left( y \right) -f\left( x \right) }{y-x}>0$이 성립한다. 이 부등식의 양변에 $\lim_{y \to x}$을 취하면 $\lim_{y \to x}\dfrac{f\left( y \right) -f\left( x \right) }{y-x}=f'\left( x \right) \ge 0$이다.
  3. 어떤 구간에서 $f'\left( x \right) \ge 0 $이면 그 구간에서 증가한다. (거짓)
    반례 : 구간 내에 상수함수인 구간이 있는 경우(단조증가함수인 경우)
  4. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) < 0 $이다. (거짓)
    반례 : 구간 내에 쉼점이 있는 경우
  5. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) \le 0 $이다. (참) (증명 생략)
  6. 어떤 구간에서 $f'\left( x \right) \le 0 $이면 그 구간에서 감소한다.(거짓)
    반례 : 구간 내에 상수함수인 구간이 있는 경우(단조감소함수인 경우)
①, ③, ⑤, ⑥는 단조증가함수와 증가함수의 관계, 단조감소함수와 감소함수의 관계로 생각하면 참과 거짓을 쉽게 판정할 수 있습니다.
증감성과 관련된 여러 가지 변종 명제 2
조건을 미분가능한 함수에서 `상수함수가 아닌 다항함수'로 바꿀 경우 답이 약간 달라집니다. 다항함수 $f\left( x \right) $가
  1. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) > 0 $이다.
  2. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) \ge 0 $이다.
  3. 어떤 구간에서 $f'\left( x \right) \ge 0 $이면 그 구간에서 증가한다.
  4. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) < 0 $이다.
  5. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) \le 0 $이다.
  6. 어떤 구간에서 $f'\left( x \right) \le 0 $이면 그 구간에서 감소한다.
다항함수 $f\left( x \right) $가
  1. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) > 0 $이다.
  2. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) \ge 0 $이다.
  3. 어떤 구간에서 $f'\left( x \right) \ge 0 $이면 그 구간에서 증가한다.
  4. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) < 0 $이다.
  5. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) \le 0 $이다.
  6. 어떤 구간에서 $f'\left( x \right) \le 0 $이면 그 구간에서 감소한다.
  1. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) > 0 $이다. (거짓)
    반례 : 구간 내에 쉼점이 있는 경우
  2. 어떤 구간에서 증가하면 그 구간에서 $f'\left( x \right) \ge 0 $이다. (참)
    증명 생략
  3. 어떤 구간에서 $f'\left( x \right) \ge 0 $이면 그 구간에서 증가한다. (참)
    다항함수가 단조증가함수이면 증가함수입니다. 단조증가이지만 증가가 아닌 경우 상수함수인 구간을 포함하는데, 다항함수는 이러한 상황이 나타날 수 없습니다.
  4. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) < 0 $이다. (거짓)
    반례 : 구간 내에 쉼점이 있는 경우
  5. 어떤 구간에서 감소하면 그 구간에서 $f'\left( x \right) \le 0 $이다. (참)
    증명 생략
  6. 어떤 구간에서 $f'\left( x \right) \le 0 $이면 그 구간에서 감소한다. (참)
    다항함수가 단조감소함수이면 감소함수입니다. 단조감소이지만 감소가 아닌 경우 상수함수인 구간을 포함하는데, 다항함수는 이러한 상황이 나타날 수 없습니다.
③과 ⑥의 내용을 조금 더 알아봅시다. $n$차 다항함수가 구간 $\CCI{a}{b}$에서 함숫값이 $k$인 상수함수이면 다항방정식 $y=f(x)-k$의 해가 $a \le x \le b$인 모든 실수 $x$이고, 해 $x$는 무수히 많습니다. 그러나 $n$차 다항방정식의 해는 $n$개이므로, 유한한 갯수인 $n$개만으로는 무수히 많은 근들을 다 감당하기에 역부족입니다.4이 이슈를 더 깊게 들어가면 무한집합끼리 크기(?!)를 비교하는 교과외 개념과 맞닿습니다. 수능과는 무관한 개념이지만, 고등학생 수준에서는 `실수의 무한함은 자연수의 무한함보다 등급이 높다' 정도로만 이해해도 충분합니다. 만약 이러한 개념에 대한 호기심이 많다면 $\mathbb{N}$의 크기(?!)와 $\mathbb{R}$의 크기(?!)를 비교하는 cardinality라는 개념을 찾아보세요. 따라서 그러한 다항함수 $f\left( x \right) $는 존재하지 않습니다.

수식으로 다루는 극점과 최점

다음과 같은 상황을 생각해봅시다.
  1. 구간 $f(x)$가 $\CCI{p}{a}$에서 증가하고, $\CCI{a}{q}$에서 감소한다.
  2. 구간 $f(x)$가 $\CCI{p}{a}$에서 감소하고, $\CCI{a}{q}$에서 증가한다.
이때 $x=a$는 왼쪽 닫힌 구간인 $\CCI pa$의 오른쪽 끝이자, 오른쪽 닫힌 구간인 $\CCI aq$의 왼쪽 끝입니다. 이때 두 구간의 증감성이 다르므로, $x=a$는 증가구간과 감소구간 양측에 모두 발을 걸치고 있는 상황입니다. 이에 착안하여 이러한 상황을 `$x=a$에서 증감성이 바뀐다'고 부르기로 합시다.

연속함수의 극점과 최점

어떤 점에서 증감성이 바뀌면, 그 점은 극점입니다. 즉 다음의 명제가 성립합니다.5증명은 부록에 수록하였습니다.
연속함수 $f\left( x \right) $에 대하여 $f\left( x \right) $가 $x=a$에서 증감성이 바뀌면 $\xy{a}{f\left( a \right) }$가 극점이다.
그러나 이 명제의 역인 `연속함수의 극점에서 증감성이 바뀐다'는 거짓입니다. 반례는 그림과 같이 `$x=a$를 포함하는 어떤 구간에서 상수함수인 경우'입니다. 이러한 경우 $\xy{a}{f\left( a \right) }$는 극점이지만 $x=a$에서 증감성이 바뀌지는 않습니다. 이러한 경우를 제외하면 대부분의 경우 극점에서 증감성이 바뀝니다.6대부분이라 말한 것은, 이 경우 말고도 `극점인데 증감성이 바뀌지 않는' 반례가 존재한다는 의미겠지요? 이에 대해서는 맑은개념 미적분에서 다루므로, 미적분을 선택한 학생들만 추가로 학습하길 권장합니다.

미분가능한 함수의 극점

증감성이 바뀌는 점은 극점이지만, 극점이라고 해서 증감성이 바뀌는 것은 아니다
미분가능한 함수는 연속함수이므로, $x=a$에서 증감성이 바뀌면 $\xy{a}{f\left( a \right) }$가 극점입니다. 그러나 극점이라고 해서 그 점에서 증감성이 바뀌는 것은 아닙니다. `극점을 포함한 구간에서 상수함수'라는 대표적인 반례가 있기 때문입니다. 이러한 경우를 제외하면, 대부분의 경우 극점에서 증감성이 바뀝니다.7연속함수에서와 마찬가지로 반례가 존재합니다. 이에 대해서는 맑은개념 미적분의 부록에서 다룹니다.
극점의 미분계수는 $0$이지만, 미분계수가 $0$이라고 극점인 것은 아니다
한편 앞서 극점의 미분계수가 $0$임을 배웠습니다. 이 명제의 역은 성립하지 않습니다. 증감성의 변종명제를 다루어봤다면 쉽게 반례를 들 수 있을 것입니다.
$f'\left( a \right) =0$이고 $f''\left( a \right) \ne 0$이면 $\xy{a}{f\left( a \right) }$는 극점이다(미적분 선택자 전용)
이계도함수가 존재한다면, 즉 도함수가 미분가능하다면 이계도함수를 이용하여 원함수의 극점 여부를 판단할 수 있습니다.8증명은 부록에 수록하였습니다. 이 방법은 $f'\left(a \right)=0 $임은 알지만 주어진 정보만으로는 도함수의 그래프를 그리거나 부호를 판단하기 어려울 때 유용합니다. 단 이계도함수가 존재하지 않거나, 이계도함수가 존재하더라도 $f''\left( a \right) =0$이면 아쉽게도 이 방법을 이용할 수 없습니다.

불연속인 함수의 극점과 최점

교육과정에서 다루는 불연속인 함수는 조각함수가 전환점에서 불연속인 경우가 대부분입니다. 또한 각 구간에서의 함수식은 연속이거나 미분가능한 경우가 대부분입니다.9둘 다 아닌 함수의 대표적인 예로 다음과 같은 함수가 있습니다.\[\begin{align*} f\left( x \right) = \begin{cases} 1 & \left( x \in \mathbb{Q} \right) \\ 0 & \left( x \in \mathbb{I} \right) \end{cases} \end{align*}\] 이런 함수는 실수 전체의 집합에서 불연속입니다. 함수식만 적당히 바꾸면 특정한 점에서 연속이 되도록 할 수도 있습니다. 이런 함수는 좀 억지스러워 보일 수 있지만, 엄연히 존재하는 함수입니다. 전환점이 극점인지의 여부는 극점의 정의로 판단하고, 전환점이 아닌 나머지 구간에서는 연속함수의 극점이나 미분가능한 함수의 극점을 따질 때와 동일하게 판단하면 됩니다.

함수의 최점

함수의 최점은 극점을 이용하여 구합니다. 최대점은 극대점과 구간의 양 끝점 중에서 함숫값이 가장 큰 점을 찾으면 되고, 최소점은 극소점과 구간의 양 끝점 중에서 함숫값이 가장 작은 점을 찾으면 됩니다. 이에 대해서는 교과서에서 증명 없이 받아들이고 있습니다. `전교 1등을 찾으려면 학급별 1등의 성적만 비교하면 된다'는 정도로 이해하면 충분할 것입니다.

구간 끝점을 극점으로 취급하지 않는 것이 나은 이유 : 그 함수

앞서 Graph 1에서는 교과서에서 닫힌구간의 끝점을 극점으로 취급하지 않는 이유를 `구간 끝점이기만 하면 항상 극점이라는 오해를 막기 위해서'라고 추정했습니다. 먼저 구간 끝을 극점으로 정의하는 방법에 대해 알아보고, 그 오해의 반례가 되는 그 함수에 대해 이야기해봅시다.

극대점의 정의는 $x=a$를 포함하는 어떤 열린구간에서 $f\left( x \right) \le f\left( a \right)$인 점 $\xy{a}{f\left( a \right) }$이고, 극소점의 정의는 $x=a$를 포함하는 어떤 열린구간에서 $f\left( x \right) \ge f\left( a \right)$인 점 $\xy{a}{f\left( a \right) }$입니다. 구간 왼쪽 끝인 경우에는 어떤 열린구간 대신 $\COI{a}{k}$를 잡고, 구간 오른쪽 끝인 경우에는 $\OCI{k}{a}$를 잡아 동일한 부등식으로 판단하면 구간 끝에서의 극점을 매끄럽게 정의할 수 있습니다.

그런데 정의 자체에는 아무런 문제가 없음에도 불구하고, 이러한 정의를 본 학생들은 `끝점이면 항상 극점이겠네'라고 오해하는 경우가 많습니다. 그림과 같이 닫힌구간의 끝에서 그려질 수 있는 여러 상황을 그려보면 `끝점인데 극점이 아닌 경우'를 상상하기 쉽지 않기 때문입니다.

그러나 끝점이라고 항상 극점이라고 말할 수는 없습니다. 반례가 있기 때문입니다. 정의역이 $\COI{0}{\infty}$인 다음의 함수, 일명 그 함수를 생각해봅시다. \[\begin{align*} f\left( x \right) = \begin{cases} x\sin \dfrac{1}{x} & \left( x>0 \right) \\ 0 & (x=0) \end{cases} \end{align*}\] 이 함수는 연속함수입니다. 그러나 그래프 위의 점 $\xy{0}{0}$은 구간 끝점이지만 극점이 아닙니다. 이 상황을 그래프를 통해 확인해보면 다음과 같습니다.

보시다시피 극댓값이 $0$보다 큰 극대점, 극솟값이 $0$보다 작은 극소점, 극대와 극소 사이의 값을 갖는 극대도 극소도 아닌 일반 점들이 어떤 구간 $\COI{0}{k}$를 잡아도 항상 존재하므로, $\xy{0}{f\left( 0 \right) }$은 극점이 될 수 없습니다. 따라서 `끝점은 항상 극점이다'라는 명제는 거짓임을 알 수 있습니다. 교과서는 이런 오해를 피하기 위해 `끝점은 극점으로 취급하지 않는 방법'을 택한 것입니다.

이렇게 다항함수와 $\sin \dfrac{1}{x}$을 곱한 함수는 미적분에서 가질 수 있는 많은 오해들에 대한 반례로 자주 활용됩니다. 예를 들어 $x^2 \sin \dfrac{1}{x}$은 `도함수의 극한과 미분계수'에 대한 오해를 반증하는 데 쓰이고, $x^2\sin \dfrac{1}{x} + \dfrac{1}{2}x$는 `한 점에서의 증감성'에 대한 오해를 반증하는 좋은 예로 쓰입니다. 이러한 상황을 고려하여, 이 책에서 $\sin \dfrac{1}{x}$을 포함한 함수들을 부를 때 함수식을 쓰지 않고 그 함수라 부르는 것입니다.

  1. 1. 더하기함수와 빼기함수는 이 책의 Calculus에서, 곱하기함수와 나누기함수는 맑은개념 미적분에서 배웁니다.
  2. 2. 거짓임을 증명할 때에는 명제가 틀렸음을 보여주는 예인 반례를 단 하나만 제시하여도 충분합니다.
  3. 3. 맨 왼쪽과 맨 오른쪽 부등호에서 각각 등호를 포함하느냐의 여부에 따라 닫힌구간, 반열린구간, 열린구간에 대한 증명으로 바뀝니다.
  4. 4. 이 이슈를 더 깊게 들어가면 무한집합끼리 크기(?!)를 비교하는 교과외 개념과 맞닿습니다. 수능과는 무관한 개념이지만, 고등학생 수준에서는 `실수의 무한함은 자연수의 무한함보다 등급이 높다' 정도로만 이해해도 충분합니다. 만약 이러한 개념에 대한 호기심이 많다면 $\mathbb{N}$의 크기(?!)와 $\mathbb{R}$의 크기(?!)를 비교하는 cardinality라는 개념을 찾아보세요.
  5. 5. 증명은 부록에 수록하였습니다.
  6. 6. 대부분이라 말한 것은, 이 경우 말고도 `극점인데 증감성이 바뀌지 않는' 반례가 존재한다는 의미겠지요? 이에 대해서는 맑은개념 미적분에서 다루므로, 미적분을 선택한 학생들만 추가로 학습하길 권장합니다.
  7. 7. 연속함수에서와 마찬가지로 반례가 존재합니다. 이에 대해서는 맑은개념 미적분의 부록에서 다룹니다.
  8. 8. 증명은 부록에 수록하였습니다.
  9. 9. 둘 다 아닌 함수의 대표적인 예로 다음과 같은 함수가 있습니다.\[\begin{align*} f\left( x \right) = \begin{cases} 1 & \left( x \in \mathbb{Q} \right) \\ 0 & \left( x \in \mathbb{I} \right) \end{cases} \end{align*}\] 이런 함수는 실수 전체의 집합에서 불연속입니다. 함수식만 적당히 바꾸면 특정한 점에서 연속이 되도록 할 수도 있습니다. 이런 함수는 좀 억지스러워 보일 수 있지만, 엄연히 존재하는 함수입니다.