Теорема Ролля в математическом анализе¶

Теорема Ролля — одна из классических теорем дифференциального исчисления, устанавливающая существование точки, в которой производная дифференцируемой функции обращается в нуль, при условии равенства значений функции на концах отрезка. Теорема названа в честь французского математика Мишеля Ролля (1652—1719) и служит геометрической и логической основой для более общих результатов — теоремы Лагранжа о среднем значении и теоремы Коши.

¶Формулировка

Пусть функция \( f(x) \) определена на отрезке \([a; b]\) и удовлетворяет трём условиям:

1. непрерывна на всём отрезке \([a; b]\);
2. дифференцируема на интервале \((a; b)\);
3. принимает равные значения на концах: \( f(a) = f(b) \).

Тогда внутри интервала существует хотя бы одна точка \( c \in (a; b) \), в которой производная равна нулю:

\[ f'(c) = 0. \]

Такая точка \( c \) называется критической (стационарной) точкой функции.

¶Геометрический смысл

График функции, удовлетворяющей условиям теоремы, представляет собой непрерывную кривую, начало и конец которой лежат на одной горизонтальной прямой. Теорема утверждает, что на этой кривой обязательно найдётся точка, в которой касательная параллельна оси абсцисс. Иными словами, в некоторой внутренней точке кривая «выравнивается» — её наклон становится нулевым.

Если функция на концах отрезка принимает одинаковые значения, то где-то между ними она либо достигает локального максимума, либо локального минимума (либо имеет горизонтальный участок). Именно в этой точке производная и обращается в нуль.

¶Доказательство

Доказательство опирается на теорему Вейерштрасса о достижении непрерывной функцией своих наибольшего и наименьшего значений на замкнутом отрезке.

Поскольку \( f \) непрерывна на \([a; b]\), она достигает на этом отрезке максимума \( M \) и минимума \( m \).

Случай 1. Если \( M = m \), то функция постоянна на отрезке, и её производная равна нулю в каждой внутренней точке. Утверждение выполнено.

Случай 2. Если \( M > m \), то хотя бы одно из значений — максимум или минимум — достигается во внутренней точке \( c \in (a; b) \), поскольку на концах значения равны (\( f(a) = f(b) \)), и хотя бы одно из экстремальных значений отлично от этого общего значения.

В точке локального экстремума, где функция дифференцируема, производная равна нулю (необходимое условие экстремума). Следовательно, \( f'(c) = 0 \). Теорема доказана.

¶Значение условий

Все три условия существенны, и отказ от любого из них делает утверждение неверным.

• Непрерывность. Функция с разрывом может не иметь горизонтальной касательной. Например, функция, равная \( x \) на \([0; 1) \) и \( 0 \) в точке \( 1 \), имеет равные значения на концах, но производная нигде не обращается в нуль.
• Дифференцируемость. Функция \( f(x) = |x| \) на отрезке \([-1; 1]\) непрерывна и имеет равные значения на концах, однако в точке \( x = 0 \) производная не существует, и нулевого значения производной нет.
• Равенство значений на концах. Для функции \( f(x) = x \) на \([0; 1]\) производная всюду равна единице и не обращается в нуль.

¶Связь с другими теоремами

Теорема Ролля является частным случаем теоремы Лагранжа о среднем значении, которая утверждает существование точки \( c \), где

\[ f'(c) = \frac{f(b) - f(a)}{b - a}. \]

При \( f(a) = f(b) \) правая часть обращается в нуль, и формула Лагранжа превращается в утверждение Ролля. В свою очередь, теорема Лагранжа обобщается теоремой Коши, а все три результата лежат в основе формулы Тейлора и анализа поведения функций.

¶Применение

Теорема Ролля применяется в математическом анализе и смежных дисциплинах:

• Исследование функций. Позволяет устанавливать число корней уравнения и расположение экстремумов.
• Доказательство теорем. Служит инструментом при выводе теоремы Лагранжа, формулы конечных приращений и оценок погрешностей.
• Численные методы. Используется при обосновании сходимости итерационных алгоритмов поиска корней, например метода дихотомии и метода Ньютона.
• Физика и механика. Описывает ситуации, когда при возвращении системы в исходное состояние некоторая величина (например, скорость) в промежуточный момент обращается в нуль.

¶История

Мишель Ролль сформулировал близкое утверждение в 1691 году в работе, посвящённой решению уравнений. В первоначальном виде результат касался алгебраических многочленов и утверждал, что между двумя корнями многочлена лежит корень его производной. Современную формулировку для произвольных дифференцируемых функций теорема получила позднее, в XIX веке, в работах математиков, развивавших строгое обоснование анализа. Имя Ролля закрепилось за теоремой, хотя сам автор рассматривал её как вспомогательное средство для теории уравнений.

¶Обобщения

Существуют обобщения теоремы на случай функций нескольких переменных, вектор-функций и функций на многообразиях. В многомерном анализе аналогом служит теорема о среднем значении для функций многих переменных, а также результаты, связывающие поведение градиента и значения функции на границе области.

Источники: учебники по математическому анализу, курсы дифференциального исчисления, историко-математические работы о развитии анализа в XVII—XIX веках.