극대ㆍ극소와 최대ㆍ최소
정의 1 함수 \(f\)가 점 \(c\)를 품은 개구간 에서 정의되어 있을 때, 충분히 작은 양수 \(\delta\)에 대하여, \(c\)의 \(\delta\) 근방 \((c-\delta,\,c+\delta)\)에서 \[f(x)<f(c)\ (f(x)>f(c))\] 이면, \(f\)는 \(x=c\)에서 극대(극소)가 된다고 하면 \(f(x)\)를 극대치 (極大値)( 극소치 (極小値))라 한다. 또한, 극대치와 극소치를 합쳐서 극치 (極値)라 한다. 정리 1 \(f\)는 \(c\)를 품는 개구간에서 미분가능 이라 하자. (1) \(f\)가 \(c\)에서 극치를 갖는다면, \(f'(c)=0\) 이다. (2) 적당한 양수 \(\delta\)에 대하여, \(c\)의 근방 \((c-\delta,\,c+\delta)\)에서 \[\begin{split}&c-\delta<x<c\ \text{일 때}\ f'(x)>0\ (f'(x)<0)\\&c<x<c+\delta\ \text{일 때}\ f'(x)<0\ (f'(x)>0)\end{split}\]이면, \(f\)는 \(c\)에서 극대(극소)가 된다. < 증명 > (1) \(f'(c)>0\) 이면, \(c\)에서 \(f\)는 증가상태, \(f'(c)<0\) 이면 \(c\)에서 \(f\)는 감소상태이므로 ( 「평균치의 정리와 그 응용」 정리 1), \(f\)는 \(c\)에서 극치를 가질 수 없다. 따라서, \(f\)가 \(c\)에서 극치를 갖는다면, \(f'(c)=0\) 이어야 한다. (2) \(f(x)\)는 \((c-\delta,\,c]\)에서 연속 이고, \((c-\delta,\,c)\)에서 \(f'(x)>0\) 이므로, 「평균치의 정리와 그 응용」 정리 5에 의해, \(f\)는 \((c-\delta,\,c]\)에서 ...