Функция
называется выпуклой вверх (выпуклой вниз) на интервале
. Если для любых трех точек
, удовлетворяющих неравенству
, выполняется неравенство:
,
(соответственно
).
Геометрически это означает, что любая точка отрезка, соединяющего точки с координатами
и
, расположена не выше (соответственно не ниже) точки графика функции
, соответствующей тому же значению аргумента.
Теорема (достаточное условие строгой выпуклости).
Пусть функция
дважды дифференцируема на интервале
. Если
на интервале
, то функция
строго выпукла вверх на этом интервале. Если
на интервале
, то функция
строго выпукла вниз на этом интервале.






