Известны следующие условия существования точек экстремума:
Теорема (необходимое условие экстремума дифференцируемой функции). Если дифференцируемая функция
![$f(x)$ $f(x)$](https://dxdy-04.korotkov.co.uk/f/7/9/9/7997339883ac20f551e7f35efff0a2b982.png)
имеет экстремум в точке
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
, то ее производная в этой точке равна нулю:
![$f'\left(x_0\right)=0$ $f'\left(x_0\right)=0$](https://dxdy-01.korotkov.co.uk/f/4/e/5/4e549be3022a41707d54d472144f75c882.png)
.
Теорема (необходимое условие экстремума). Если функция
![$f(x)$ $f(x)$](https://dxdy-04.korotkov.co.uk/f/7/9/9/7997339883ac20f551e7f35efff0a2b982.png)
имеет экстремум в точке
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
, то
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
является критической точкой функции
![$f(x)$ $f(x)$](https://dxdy-04.korotkov.co.uk/f/7/9/9/7997339883ac20f551e7f35efff0a2b982.png)
, т.е. ее производная в этой точке либо равна нулю (
![$f'\left(x_0\right)=0$ $f'\left(x_0\right)=0$](https://dxdy-01.korotkov.co.uk/f/4/e/5/4e549be3022a41707d54d472144f75c882.png)
), либо не имеет конечного значения (
![$f'\left(x_0\right)=\infty$ $f'\left(x_0\right)=\infty$](https://dxdy-01.korotkov.co.uk/f/c/6/d/c6d35059b31051bc79a67ef4bec52db882.png)
или
![$\nexists f'\left(x_0\right)$ $\nexists f'\left(x_0\right)$](https://dxdy-04.korotkov.co.uk/f/f/b/f/fbf2d5f88cd9ca62cfb46b1d65f5e3ed82.png)
).
Теорема (достаточные условия экстремума). Пусть функция
![$f\left(x\right)$ $f\left(x\right)$](https://dxdy-03.korotkov.co.uk/f/6/0/c/60c7f8444e2f683eb807f4085729add682.png)
дифференцируема в некоторой окрестности точки
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
, за исключением, быть может, самой точки
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
и непрерывна в точке
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
. Тогда
1) если
![$f'\left(x\right)>0$ $f'\left(x\right)>0$](https://dxdy-04.korotkov.co.uk/f/f/b/7/fb7f05119b8ce623e29175b5aa55aa4a82.png)
при
![$x<x_0$ $x<x_0$](https://dxdy-04.korotkov.co.uk/f/7/b/a/7baf4a70d438b9e5c6bffac0c5825d7082.png)
и
![$f'\left(x\right)<0$ $f'\left(x\right)<0$](https://dxdy-04.korotkov.co.uk/f/3/f/c/3fc165cb57e80c3da0a4dd127639d99782.png)
при
![$x>x_0$ $x>x_0$](https://dxdy-04.korotkov.co.uk/f/b/0/1/b011c3a8ba625b387feb76064ba34a6682.png)
, то
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
- точка максимума (функция
![$f\left(x\right)$ $f\left(x\right)$](https://dxdy-03.korotkov.co.uk/f/6/0/c/60c7f8444e2f683eb807f4085729add682.png)
имеет максимум в точке
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
);
2) если
![$f'\left(x\right)<0$ $f'\left(x\right)<0$](https://dxdy-04.korotkov.co.uk/f/3/f/c/3fc165cb57e80c3da0a4dd127639d99782.png)
при
![$x<x_0$ $x<x_0$](https://dxdy-04.korotkov.co.uk/f/7/b/a/7baf4a70d438b9e5c6bffac0c5825d7082.png)
и
![$f'\left(x\right)>0$ $f'\left(x\right)>0$](https://dxdy-04.korotkov.co.uk/f/f/b/7/fb7f05119b8ce623e29175b5aa55aa4a82.png)
при
![$x>x_0$ $x>x_0$](https://dxdy-04.korotkov.co.uk/f/b/0/1/b011c3a8ba625b387feb76064ba34a6682.png)
, то
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
- точка минимума (функция
![$f\left(x\right)$ $f\left(x\right)$](https://dxdy-03.korotkov.co.uk/f/6/0/c/60c7f8444e2f683eb807f4085729add682.png)
имеет минимум в точке
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
).
Т.е., если производная
![$f'\left(x\right)$ $f'\left(x\right)$](https://dxdy-03.korotkov.co.uk/f/6/d/7/6d7d6566d9448301971dfd0bbef8b44b82.png)
при переходе через точку
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
меняет знак с плюса на минус, то функция
![$f\left(x\right)$ $f\left(x\right)$](https://dxdy-03.korotkov.co.uk/f/6/0/c/60c7f8444e2f683eb807f4085729add682.png)
имеет максимум в данной точке. Если же производная
![$f'\left(x\right)$ $f'\left(x\right)$](https://dxdy-03.korotkov.co.uk/f/6/d/7/6d7d6566d9448301971dfd0bbef8b44b82.png)
при переходе через точку
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
меняет знак с минуса на плюс, то в точке
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
функция
![$f\left(x\right)$ $f\left(x\right)$](https://dxdy-03.korotkov.co.uk/f/6/0/c/60c7f8444e2f683eb807f4085729add682.png)
имеет минимум.
Можно ли провести параллель для точек перегиба?
Теорема (необходимое условие существования точки перегиба дважды дифференцируемой функции). Если в точке перегиба
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
кривой
![$y=f\left(x\right)$ $y=f\left(x\right)$](https://dxdy-02.korotkov.co.uk/f/5/6/b/56b52a37850ad4223bac49fc9f40f8ac82.png)
вторая производная функции
![$f\left(x\right)$ $f\left(x\right)$](https://dxdy-03.korotkov.co.uk/f/6/0/c/60c7f8444e2f683eb807f4085729add682.png)
существует и непрерывна, то
![$f''\left(x_0\right)=0$ $f''\left(x_0\right)=0$](https://dxdy-01.korotkov.co.uk/f/8/d/5/8d5ef1fd2c08ccf40cab9d62469a8e0a82.png)
.
Теорема (необходимое условие существования точки перегиба). Если
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
точка перегиба функции
![$y=f(x)$ $y=f(x)$](https://dxdy-01.korotkov.co.uk/f/0/e/2/0e241c321e18ed6141f9a47d8095bebd82.png)
, то
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
является критической точкой функции
![$f(x)$ $f(x)$](https://dxdy-04.korotkov.co.uk/f/7/9/9/7997339883ac20f551e7f35efff0a2b982.png)
по второй производной, т.е. ее вторая производная либо равна нулю (
![$f''\left(x_0\right)=0$ $f''\left(x_0\right)=0$](https://dxdy-01.korotkov.co.uk/f/8/d/5/8d5ef1fd2c08ccf40cab9d62469a8e0a82.png)
), либо не существует (
![$f''\left(x_0\right)=\infty$ $f''\left(x_0\right)=\infty$](https://dxdy-01.korotkov.co.uk/f/8/5/6/8567e6623d471272046132ccf0bebda682.png)
или
![$f''\left(x_0\right)$ $f''\left(x_0\right)$](https://dxdy-01.korotkov.co.uk/f/8/4/2/842353f96321669d24eca46e6bd0879982.png)
).
Теорема (достаточное условие существования точки перегиба). Пусть функция
![$f(x)$ $f(x)$](https://dxdy-04.korotkov.co.uk/f/7/9/9/7997339883ac20f551e7f35efff0a2b982.png)
имеет вторую производную
![$f''(x)$ $f''(x)$](https://dxdy-02.korotkov.co.uk/f/1/4/b/14bf266c581787d74acfcf365156975b82.png)
в окрестности точки
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
, кроме, быть может самой точки
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
. Если
![$f''(x)$ $f''(x)$](https://dxdy-02.korotkov.co.uk/f/1/4/b/14bf266c581787d74acfcf365156975b82.png)
меняет знак при переходе
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
через точку
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
, то
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
-- точка перегиба кривой
![$f(x)$ $f(x)$](https://dxdy-04.korotkov.co.uk/f/7/9/9/7997339883ac20f551e7f35efff0a2b982.png)
, при условии, что в данной точке существует касательная.