Теорема Ролля 🎢

Представь американские горки. Вагонетка стартует со стартовой платформы, поднимается на первый холм, ныряет вниз, взлетает на следующий пик — и в какой-то момент возвращается на ту же самую высоту, с которой начала путь. Вопрос: было ли в пути хоть одно мгновение, когда вагонетка двигалась строго горизонтально, ни вверх, ни вниз? Ответ очевиден интуитивно — да, было, и не один раз. Но интуиция — это не доказательство, а теорема Ролля — это то место в курсе, где мы превращаем это ощущение в строгий факт про производную.

Формулировка звучит обманчиво просто: если функция непрерывна на отрезке, дифференцируема внутри него и принимает на концах одинаковые значения, то где-то внутри отрезка обязательно найдётся точка, где производная равна нулю. Три условия, одно заключение — и на первый взгляд кажется, что это скорее геометрическая забава, чем рабочий инструмент. На деле это одна из самых плодотворных теорем всего курса: из неё за несколько строк выводится теорема Лагранжа о среднем (урок 190), теорема Коши (урок 191), значительная часть формулы Тейлора с остаточным членом, критерии единственности корня уравнения — и, что особенно важно для тебя как для будущего специалиста по машинному обучению, первое строгое объяснение того, почему в ландшафте функции потерь неизбежно возникают критические точки.

Смотри, в чём фокус. Когда ты обучаешь модель и видишь, что две разные точки в пространстве весов дают одинаковое значение функции потерь — скажем, две эпохи с одинаковой ошибкой на валидации, или два разных набора весов после разной инициализации, которые сошлись к одинаково хорошему результату — теорема Ролля гарантирует: если двигаться от одной точки к другой по гладкому пути, где-то по дороге градиент вдоль этого пути обязательно обнулится. Это не философское наблюдение, а математический факт, из которого потом вырастает вся теория критических точек, сёдел и локальных минимумов в оптимизации. Именно поэтому теорема, которую в XVII веке доказал скептик, вообще не веривший в матанализ, сегодня лежит в основе того, как мы понимаем поведение нейросетей.

В этом уроке мы разберём формулировку теоремы, её геометрический смысл, полное строгое доказательство через теорему Вейерштрасса о достижении экстремума (урок 185) и — отдельно и подробно — почему каждое из трёх условий теоремы нельзя выбросить без того, чтобы всё заключение развалилось. А в конце посмотрим, как ровно эта же логика работает в пространстве весов нейросети.

История: откуда это взялось?

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

По иронии судьбы, сам Ролль был убеждённым противником нарождающегося математического анализа Ньютона и Лейбница. Он относился к идее «бесконечно малых величин» с глубоким недоверием и, по свидетельствам современников, публично критиковал этот аппарат как логически необоснованный — примерно за полвека до того, как Джордж Беркли (о котором ты уже слышал в уроке 186) выдвинул свою знаменитую критику «призраков ушедших величин». Ролль настаивал на строгости алгебраических методов и относился к анализу бесконечно малых как к собранию удобных, но плохо обоснованных приёмов. Работал он преимущественно с теорией уравнений — решал полиномиальные уравнения чисто алгебраическими средствами, без всякого анализа.

Именно в этом алгебраическом контексте в 1691 году в трактате «Метод решения уравнений» Ролль сформулировал и доказал утверждение — но не для произвольных функций в современном понимании, а конкретно для многочленов: между двумя соседними корнями многочлена лежит хотя бы один корень его производной. Это был инструмент для отделения корней уравнений — практическая техника, а не общая теорема анализа. Современная, куда более общая формулировка — для произвольной дифференцируемой функции, а не только для многочленов — оформилась позже, в XIX веке, во многом благодаря работам Огюстена Коши, который строго обосновал её в терминах предельного перехода. Так сложилась историческая ирония: имя человека, скептически относившегося к анализу бесконечно малых, оказалось навсегда прикреплено к одной из фундаментальных теорем именно этого раздела математики — причём в куда более общей форме, чем та, которую доказал сам Ролль.

Формулировка теоремы: три условия и одно заключение

Интуиция: подъём и спуск до одной высоты

Вернёмся к американским горкам. Пусть $h(t)$ — высота вагонетки в момент времени $t$, а движение начинается в момент $t=a$ и заканчивается в момент $t=b$. Если высота в начале и в конце пути одинакова, $h(a) = h(b)$, то это означает: сколько бы вагонетка ни поднималась и ни опускалась внутри интервала $(a,b)$, суммарный «эффект» подъёмов и спусков в итоге компенсировался. А раз так, движение не может быть монотонным подъёмом или монотонным спуском на всём отрезке — где-то должен произойти разворот, момент, когда вертикальная скорость меняет знак или хотя бы на мгновение обращается в ноль.

Это и есть суть теоремы Ролля, только выраженная не через физическую скорость, а через производную функции — универсальный измеритель мгновенной скорости изменения, о котором шла речь в уроке 186. Формально нужны три условия: функция должна быть достаточно «приличной» (непрерывной и дифференцируемой), чтобы у неё вообще было осмысленное понятие производной, и должна «возвращаться на ту же высоту» на концах отрезка.

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

Теорема (Ролля). Пусть функция $f$ удовлетворяет трём условиям:

1. $f$ непрерывна на замкнутом отрезке $[a,b]$;

2. $f$ дифференцируема на открытом интервале $(a,b)$;

3. $f(a) = f(b)$.

Тогда существует хотя бы одна точка $c \in (a,b)$ такая, что $f'(c) = 0$.

Обрати внимание на асимметрию требований: непрерывность нужна на замкнутом отрезке $[a,b]$, включая сами концы $a$ и $b$, а вот дифференцируемость требуется только на открытом интервале $(a,b)$ — то есть в самих точках $a$ и $b$ функция может даже не иметь производной, и это не помешает теореме работать. Это не случайная небрежность формулировки, а сознательно ослабленное условие: как ты увидишь в доказательстве, точка $c$, которую находит теорема, — это внутренняя точка отрезка, и то, что происходит с производной ровно в $a$ или в $b$, для доказательства попросту не имеет значения.

Заключение теоремы — это утверждение существования, а не единственности. Теорема не говорит, где именно находится точка $c$, не говорит, сколько таких точек существует (может быть одна, может быть сто), и не говорит, что это единственная информация о поведении функции. Она гарантирует ровно одно: хотя бы одна такая точка есть.

Разбор примеров

Пример 1 (лёгкий). Проверить применимость теоремы Ролля к $f(x) = x^2 - 2x$ на отрезке $[0,2]$ и найти точку $c$.

Проверяем условия. Функция $f$ — многочлен, а значит непрерывна и дифференцируема на всей числовой прямой, в том числе на $[0,2]$ и $(0,2)$. Проверяем равенство на концах:

Все три условия выполнены, теорема применима. Находим производную и решаем $f'(x)=0$:

Ответ: $c = 1 \in (0,2)$ — единственная точка, где касательная к параболе горизонтальна (это вершина параболы, что вполне ожидаемо для симметричной квадратичной функции).

Пример 2 (средний). Проверить применимость теоремы к $f(x) = \sin x$ на отрезке $[0, 2\pi]$ и найти все точки $c$.

Синус непрерывен и дифференцируем на всей числовой прямой. Проверяем концы:

Условия выполнены. Решаем $f'(x) = \cos x = 0$ на интервале $(0, 2\pi)$:

Ответ: есть сразу две точки, $c_1 = \dfrac{\pi}{2}$ и $c_2 = \dfrac{3\pi}{2}$ — ровно там, где синусоида достигает своего максимума и минимума на этом отрезке. Этот пример хорошо показывает, что теорема гарантирует лишь существование, а точек на самом деле может быть несколько.

Пример 3 (сложный). Дан многочлен $f(x) = x^3 - 3x$. Найти отрезок $[a,b]$, на котором $f(a) = f(b) \ne 0$ (то есть значения на концах равны, но не нулевые), и применить теорему Ролля.

Нужно подобрать две точки, где кубическая функция принимает одинаковое значение. Проверим $x=-1$ и $x=2$:

Оба значения равны $2$ — подходит. Функция — многочлен, непрерывна и дифференцируема всюду, значит все условия теоремы на $[-1,2]$ выполнены. Ищем корни производной:

Из двух корней $x=1$ лежит строго внутри интервала $(-1,2)$, а вот $x=-1$ совпадает с левым концом отрезка $a=-1$ — это не внутренняя точка, и теорема её не имеет в виду (хотя формально $f'(-1)=0$ тоже, само по себе это интересное совпадение, но не то, что гарантирует именно теорема Ролля).

Ответ: $c = 1 \in (-1,2)$. Этот пример специально подобран так, чтобы показать: даже если один из корней производной случайно совпал с концом отрезка, теорема всё равно гарантированно находит хотя бы одну точку строго внутри интервала — и здесь это именно $c=1$.

Почему это важно

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

Геометрический смысл: горизонтальная касательная

Интуиция: мяч, подброшенный вверх

Представь, что ты подбрасываешь мяч вертикально вверх. Он стартует с высоты $h_0$, летит вверх, замедляется, на мгновение останавливается в верхней точке траектории и падает обратно. В момент броска и в момент возвращения на исходную высоту скорость мяча (по вертикали) совсем не обязательно равна нулю — ты можешь поймать его на лету. Но в верхней точке, там, где мяч на долю секунды «замирает» перед тем как начать падать, вертикальная скорость гарантированно равна нулю. Это классический пример точки, где касательная к графику высоты $h(t)$ горизонтальна.

Геометрически производная — это угловой коэффициент касательной (урок 186), и утверждение «$f'(c)=0$» означает ровно одно: касательная к графику функции в точке $(c, f(c))$ идёт строго горизонтально, параллельно оси $Ox$. Теорема Ролля, переформулированная на языке графиков, звучит так: если график непрерывной и дифференцируемой функции стартует и заканчивается на одной и той же высоте, то где-то между этими двумя точками у графика обязательно есть горизонтальная касательная.

Переформулировка на языке графика

Геометрическая версия теоремы Ролля. Если график функции $f$, непрерывной на $[a,b]$ и дифференцируемой на $(a,b)$, начинается и заканчивается на одной высоте ($f(a)=f(b)$), то на этом графике существует точка $(c, f(c))$ с $c \in (a,b)$, в которой касательная горизонтальна, то есть параллельна хорде, соединяющей концы графика (а хорда в этом частном случае сама горизонтальна, поскольку концы на одной высоте).

Разбор примеров

Пример 1 (лёгкий). Составить уравнение горизонтальной касательной к графику $y = 4 - x^2$ на отрезке $[-2,2]$, гарантированной теоремой Ролля.

Условия выполнены (многочлен непрерывен и дифференцируем всюду). Находим точку:

Значение функции в этой точке: $f(0) = 4$. Уравнение горизонтальной касательной — это просто прямая $y = 4$ (угловой коэффициент равен нулю, значит касательная имеет вид $y = f(0) + 0\cdot(x-0)$).

Ответ: $y = 4$ — это касательная в вершине параболы, самой верхней точке графика на этом отрезке.

Пример 2 (средний). Найти точку с горизонтальной касательной для $y = \cos x$ на отрезке $\left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right]$.

Условия равенства на концах выполнены, косинус непрерывен и дифференцируем всюду. Решаем:

Ответ: $c=0$, точка $(0,1)$ — вершина косинусоиды, единственная точка на этом отрезке, где график идёт строго горизонтально, ровно посередине между двумя нулями функции.

Пример 3 (сложный, ML). Функция потерь одного параметра модели задана как $L(w) = (w-1)^2(w-3)^2$. Значения $L(1)=0$ и $L(3)=0$ — то есть $w=1$ и $w=3$ это два разных набора весов, дающих одинаковое (нулевое, идеальное) значение функции потерь. Найти точку между ними, где градиент по $w$ обнуляется, и определить характер этой точки.

Проверяем условия теоремы на отрезке $[1,3]$: $L$ — многочлен четвёртой степени, непрерывна и дифференцируема на всей прямой, $L(1)=L(3)=0$. Раскрываем производную. Удобно обозначить $u = (w-1)(w-3) = w^2-4w+3$, тогда $L = u^2$:

Приравниваем к нулю: либо $w^2-4w+3=0$ (это $w=1$ или $w=3$ — концы отрезка, не подходят как внутренние точки), либо $2w-4=0$, откуда $w=2$.

Ответ: $c=2 \in (1,3)$. Значение функции потерь в этой точке: $L(2) = (2-1)^2(2-3)^2 = 1\cdot1=1$. Получается, что между двумя одинаково хорошими решениями $w=1$ и $w=3$ (оба дают нулевую ошибку) лежит точка $w=2$, где ошибка больше ($L(2)=1$), а градиент по $w$ равен нулю — это локальный максимум функции потерь вдоль этого направления, своеобразный «горб» или барьер между двумя минимумами. Формально: $c$ — критическая точка (стационарная точка одномерного среза функции потерь), но не точка минимума.

Почему это важно

Геометрический смысл теоремы Ролля — это не просто красивая иллюстрация, а прямой мостик к практике машинного обучения. В последнем примере ты только что своими руками получил миниатюрную модель явления, которое в глубоком обучении называют барьером функции потерь (loss barrier) — своеобразным «горбом» на пути между двумя обученными состояниями сети в пространстве весов. Когда исследователи проверяют, связаны ли два минимума функции потерь гладким путём с низким значением ошибки (явление, известное как связность минимумов, mode connectivity), они по сути ищут отрезок или кривую, вдоль которой ошибка не поднимается высоко между концами. Теорема Ролля же говорит нечто более скромное, но абсолютно неизбежное: если взять просто прямую линию между двумя точками с одинаковым значением функции потерь, где-то на ней градиент вдоль этой прямой обязан обнулиться — просто в силу гладкости функции, без всяких дополнительных предположений о её устройстве. Это первый, самый базовый факт из целой теории о структуре ландшафта функции потерь.

Доказательство теоремы через теорему Вейерштрасса

Интуиция: если функция не постоянна, у неё есть «вершина» или «впадина» внутри

Ключевая идея доказательства опирается на факт, который ты уже видел в уроке 185: непрерывная функция на замкнутом ограниченном отрезке обязательно достигает своего наибольшего и наименьшего значений — это теорема Вейерштрасса. Не «стремится» к ним, не «имеет точную верхнюю грань», а именно достигает, то есть на отрезке реально существуют точки, где значение функции равно этому максимуму и минимуму.

Дальше рассуждение простое, почти механическое. Если функция на отрезке нигде не меняется — она константа — то её производная равна нулю вообще везде, и доказывать нечего. А если функция всё-таки меняется (не константа), то у неё максимум и минимум на отрезке — это два разных числа, и хотя бы одно из них обязано отличаться от общего значения на концах $f(a)=f(b)$. А раз точка, где достигается это отличающееся экстремальное значение, не может быть ни точкой $a$, ни точкой $b$ (там значение функции другое!), значит эта точка лежит строго внутри — а внутри, во точке локального (и даже глобального на отрезке) экстремума дифференцируемой функции производная обязана быть равна нулю. Это последнее рассуждение — отдельный маленький, но принципиальный шаг, который мы докажем явно, используя аппарат односторонних производных из урока 186.

Теорема Вейерштрасса (напоминание из урока 185)

Теорема (Вейерштрасса). Если функция $f$ непрерывна на замкнутом отрезке $[a,b]$, то она достигает на этом отрезке своего наибольшего значения $M$ и наименьшего значения $m$: существуют точки $x_M, x_m \in [a,b]$ такие, что $f(x_M)=M \ge f(x)$ и $f(x_m)=m \le f(x)$ для всех $x \in [a,b]$.

Доказательство теоремы Ролля

Случай 1: $f$ постоянна на $[a,b]$. Тогда $f(x) = f(a)$ для всех $x \in [a,b]$, и приращение функции всюду равно нулю: $\Delta y = f(x_0+\Delta x)-f(x_0) = 0$ для любой точки $x_0$ и любого $\Delta x$. Значит, по определению производной, $f'(x)=0$ для каждой точки $x \in (a,b)$. Возьми в качестве $c$ любую точку интервала — заключение теоремы выполнено тривиально.

Случай 2: $f$ не постоянна на $[a,b]$. По теореме Вейерштрасса $f$ достигает на $[a,b]$ максимума $M$ и минимума $m$. Так как $f$ не константа, $M \ne m$ (иначе все значения функции лежали бы между $m$ и $M$, а $m=M$ означало бы, что функция постоянна — противоречие). Раз $f(a) = f(b)$, обозначим это общее значение $f(a)$; тогда хотя бы одно из чисел $M, m$ отличается от $f(a)$ — иначе оба равны $f(a)$, но тогда $m = M = f(a)$, а это снова означает, что $f$ константа.

Пусть для определённости $M \ne f(a)$ (случай $m \ne f(a)$ разбирается полностью симметрично). Так как $M$ — максимум, а $f(a)=f(b)$, и $M \ne f(a)$, то обязательно $M > f(a)$. Пусть $c$ — точка, где достигается этот максимум: $f(c) = M$. Точка $c$ не может совпадать ни с $a$, ни с $b$, потому что $f(a)=f(b) < M = f(c)$ — значит $c$ лежит строго внутри отрезка, $c \in (a,b)$.

Теперь докажем, что $f'(c)=0$. По условию теоремы $f$ дифференцируема в точке $c$ (это внутренняя точка $(a,b)$), значит существует конечный предел

и он равен обеим односторонним производным (урок 186). Рассмотрим их по отдельности, используя, что $f(c)=M$ — максимум на всём отрезке, значит $f(c+\Delta x) \le f(c)$ для любого малого $\Delta x$ (пока точка $c+\Delta x$ остаётся в $[a,b]$).

Для $\Delta x > 0$: числитель $f(c+\Delta x)-f(c) \le 0$, а знаменатель $\Delta x > 0$, значит всё отношение $\dfrac{f(c+\Delta x)-f(c)}{\Delta x} \le 0$. Переходя к пределу при $\Delta x \to 0^+$ (нестрогое неравенство сохраняется в пределе), получаем:

Для $\Delta x < 0$: числитель по-прежнему $f(c+\Delta x)-f(c) \le 0$, а знаменатель $\Delta x < 0$, значит отношение $\dfrac{f(c+\Delta x)-f(c)}{\Delta x} \ge 0$ (деление отрицательного или нулевого числа на отрицательное даёт неотрицательное). При $\Delta x \to 0^-$:

Но раз функция дифференцируема в точке $c$, обе односторонние производные обязаны совпадать между собой и с $f'(c)$: $f'_+(c) = f'_-(c) = f'(c)$. У нас получилось одновременно $f'(c) \le 0$ и $f'(c) \ge 0$ — а единственное число, удовлетворяющее обоим неравенствам сразу, это ноль. Значит $f'(c) = 0$. Теорема доказана.

Разбор примеров

Пример 1 (лёгкий). Пройти по схеме доказательства для $f(x) = x^2$ на отрезке $[-1,1]$.

Проверяем: $f(-1)=1=f(1)$, функция не константа. По Вейерштрассу на $[-1,1]$ достигаются максимум и минимум. Максимум $M=1$ достигается сразу в обеих граничных точках $x=\pm1$ (парабола растёт от центра к краям), а минимум $m=0$ — в точке $x=0$, строго внутри отрезка.

Раз $m=0 \ne f(a)=1$, по доказательству берём именно минимум: внутренняя точка $c=0$ обязана давать $f'(c)=0$.

Ответ: $c=0$, и прямая проверка подтверждает: $f'(x)=2x$, $f'(0)=0$ — всё сходится.

Пример 2 (средний). Пройти по схеме доказательства для $f(x)=x^4-2x^2$ на отрезке $\left[-\sqrt2, \sqrt2\right]$.

Условия выполнены. Найдём критические точки: $f'(x) = 4x^3-4x = 4x(x^2-1)=0$ даёт $x=0,\pm1$ — все три лежат внутри $\left(-\sqrt2,\sqrt2\right)\approx(-1{,}41;\ 1{,}41)$. Вычислим значения: $f(0)=0$, $f(1)=1-2=-1$, $f(-1)=-1$. На границах $f(\pm\sqrt2)=0$.

Собираем картину: максимум на отрезке $M=0$ (достигается сразу в трёх точках — обеих границах и в $x=0$), минимум $m=-1$ (достигается в $x=\pm1$, обе точки внутренние).

Так как $m=-1 \ne f(a)=0$, по доказательству берём минимум — любая из точек $x=1$ или $x=-1$ подойдёт.

Ответ: $c=1$ (или, что тоже верно, $c=-1$) — доказательство честно выделяет внутреннюю точку экстремума, отличного от значения на границе, и таких точек в этом примере оказалось сразу несколько.

Пример 3 (сложный, ML). Модель с одним весом $w$ имеет функцию потерь $L(w) = w^4-4w^3+4w^2 = w^2(w-2)^2$ на отрезке $[0,2]$ (два «идеальных» набора весов $w=0$ и $w=2$, оба дают нулевую ошибку). Пройти по схеме доказательства теоремы Ролля и определить, что означает найденная точка в терминах обучения.

Условия выполнены ($L$ — многочлен, гладкая всюду). Ищем критические точки на $(0,2)$:

Внутренняя точка только одна: $w=1$. Значение $L(1) = 1-4+4=1$. На отрезке $[0,2]$: границы дают $L=0$, внутренняя критическая точка даёт $L(1)=1$ — значит это максимум $M=1$ на отрезке, а минимум $m=0$ достигается сразу на обеих границах (совпадает с $f(a)$).

Так как $M=1 \ne f(a)=0$, по доказательству берём именно максимум: внутренняя точка $c=1$ обязана давать $L'(c)=0$, что мы и получили напрямую.

Ответ: $c=1$, и это в точности «барьер» функции потерь между двумя идеальными наборами весов $w=0$ и $w=2$ — если двигаться по прямой от одного хорошего решения к другому, посередине пути ошибка модели временно вырастает до $L(1)=1$, и именно в этой точке градиент по $w$ обнуляется (это локальный максимум ошибки вдоль пути, а не минимум — конкретный смысл, разобранный подробнее в разделе о применении теоремы ниже).

Почему это важно

Это доказательство — не просто формальность ради строгости. Оно показывает механизм, по которому теорема Ролля вообще работает: всё держится на паре простых фактов — непрерывная функция на замкнутом отрезке гарантированно достигает экстремумов (Вейерштрасс, урок 185), а в точке экстремума дифференцируемой функции внутри интервала производная обязана обнулиться (это мы вывели напрямую через односторонние производные из урока 186). Обрати внимание: вторая часть рассуждения — «в точке экстремума производная равна нулю» — сама по себе является отдельным важным фактом анализа (в других учебниках его иногда выделяют отдельно как теорему Ферма о необходимом условии экстремума); здесь мы вывели его прямо внутри доказательства, но именно на нём в итоге строится вся дальнейшая теория поиска минимумов и максимумов функций через производную, включая градиентный спуск.

Важность каждого условия: что ломается без него

Интуиция: убери одну ножку у табуретки

Теорема Ролля стоит на трёх условиях, как табуретка на трёх ножках. Убери любую одну — и конструкция может завалиться: заключение теоремы (существование точки с нулевой производной) перестаёт быть гарантированным. Слово «может» здесь важно: убрав условие, ты не доказываешь, что заключение обязательно нарушится в конкретном примере, но перестаёшь иметь право на него рассчитывать. Дальше — три классических контрпримера, по одному на каждое условие, показывающих, что без каждого из них теорема действительно перестаёт работать.

Напоминание формулировки. Теорема Ролля требует одновременно: непрерывности на замкнутом $[a,b]$, дифференцируемости на открытом $(a,b)$ и равенства $f(a)=f(b)$. Ослабление любого из этих трёх требований делает заключение теоремы недоказанным — и, как показывают примеры ниже, оно действительно может не выполняться.

Разбор примеров: контрпримеры на каждое условие

Пример 1 (лёгкий) — нарушена непрерывность. Функция задана так: $f(x) = x$ при $x \in [0,1)$, и отдельно доопределена $f(1) = 0$ (искусственный скачок значения в правом конце). Проверить, выполняется ли заключение теоремы Ролля на $[0,1]$.

Проверим формальное равенство на концах: $f(0)=0$ и $f(1)=0$ (по нашему определению) — совпадает. Функция дифференцируема на $(0,1)$ с производной $f'(x)=1$ везде на этом интервале (там она совпадает с обычной прямой $y=x$). Но проверим непрерывность в точке $x=1$: предел слева $\lim_{x\to1^-} f(x) = 1$, а значение функции $f(1)=0$ — они не совпадают, значит в точке $x=1$ функция имеет разрыв (скачок). Условие непрерывности на замкнутом отрезке $[0,1]$ нарушено.

Ответ: несмотря на формальное равенство $f(0)=f(1)$, заключение теоремы не выполняется: $f'(x)=1$ на всём интервале $(0,1)$, эта производная нигде не обращается в ноль. Разрыв ровно в одной точке — на самом краю отрезка — полностью разрушает гарантию существования горизонтальной касательной.

Пример 2 (средний) — нарушена дифференцируемость. Функция $f(x) = |x|$ на отрезке $[-1,1]$.

Функция непрерывна на $[-1,1]$ (модуль непрерывен всюду, урок 183), и $f(-1)=1=f(1)$ — оба оставшихся условия, на первый взгляд, в порядке. Но проверим дифференцируемость в точке $x=0$ — это внутренняя точка интервала $(-1,1)$, и именно там (как было явно показано в уроке 186) $f$ не дифференцируема: левая производная равна $-1$, правая равна $+1$, они не совпадают, значит производной в этой точке попросту нет.

Ответ: условие дифференцируемости на всём открытом интервале $(-1,1)$ нарушено ровно в одной внутренней точке — но этого достаточно, чтобы сломать заключение. Прямая проверка подтверждает: $f'(x)=-1$ при $x<0$ и $f'(x)=+1$ при $x>0$ — производная нигде на интервале (кроме самой проблемной точки, где её вообще нет) не равна нулю.

Пример 3 (сложный) — нарушено равенство на концах. Функция $f(x) = x$ на отрезке $[0,1]$.

Линейная функция непрерывна и дифференцируема всюду — первые два условия в полном порядке. Но $f(0)=0$, а $f(1)=1$ — значения на концах не равны.

Ответ: заключение не выполняется: $f'(x)=1$ на всём интервале $(0,1)$, производная нигде не равна нулю. Это самый прозрачный из трёх контрпримеров: без условия $f(a)=f(b)$ теорема превращается в заведомо ложное утверждение для любой строго монотонной функции — а таких функций сколько угодно.

Почему это важно

Три контрпримера выше — это не придирки ради придирок, а способ по-настоящему понять, откуда в доказательстве берётся каждый шаг. Убери непрерывность на конце отрезка — и теорема Вейерштрасса перестаёт гарантировать существование максимума и минимума именно на замкнутом множестве, а вся конструкция доказательства рассыпается с первого шага. Убери дифференцируемость во внутренней точке — и в этой самой точке (даже если она случайно окажется точкой экстремума) финальный шаг доказательства («в экстремуме производная равна нулю») просто не имеет смысла, потому что производной там нет. Убери равенство на концах — и пропадает единственная причина, по которой хотя бы один из экстремумов Вейерштрасса обязан оказаться внутри отрезка, а не на его границе. Каждое условие несёт свою, незаменимую нагрузку в доказательстве — и именно поэтому при разборе любой практической задачи (в том числе задачи об архитектуре нейросети с негладкими активациями вроде ReLU) первый шаг — явная проверка всех трёх условий, а не автоматическая уверенность, что «всё и так гладкое».

Применение: существование корней производной и ландшафт функции потерь

Интуиция: между двумя нулями — обязательно пик

Одно из самых практичных следствий теоремы Ролля касается не просто равных значений функции на концах, а конкретно корней — точек, где $f(x)=0$. Если функция обращается в ноль в двух разных точках $a$ и $b$ (а между ними непрерывна и дифференцируема), то теорема Ролля применяется в частном случае $f(a)=f(b)=0$, и гарантирует: между этими двумя нулями лежит хотя бы один нуль производной. Наглядно: если график функции дважды пересекает горизонтальную ось, между этими пересечениями он обязан развернуться — подняться и снова опуститься (или наоборот), а в момент разворота касательная горизонтальна.

Это рассуждение обобщается: если у функции есть $n$ различных корней, то у её производной — не менее $n-1$ корня (по одному между каждой парой соседних корней исходной функции). Именно этим приёмом пользовался сам Мишель Ролль в 1691 году — правда, для многочленов и в контексте отделения корней уравнений, а не в современной общей формулировке.

Следствие теоремы

Следствие. Если функция $f$ непрерывна на $[a,b]$, дифференцируема на $(a,b)$ и имеет на этом отрезке $n \ge 2$ различных корней (точек, где $f(x)=0$), то производная $f'$ имеет на $(a,b)$ не менее $n-1$ различных корней.

Разбор примеров

Пример 1 (лёгкий). Многочлен $f(x)=x^3-x$ имеет корни $x=-1,0,1$ (три различных корня, поскольку $f(x)=x(x-1)(x+1)$). Проверить следствие: должно быть не менее двух корней производной между $-1$ и $1$.

Обе точки лежат внутри отрезка: $-\dfrac{\sqrt3}{3}\approx-0{,}577$ находится между $-1$ и $0$, а $\dfrac{\sqrt3}{3}\approx0{,}577$ — между $0$ и $1$.

Ответ: ровно два корня производной, минимум из следствия выполнен точно в притык — по одному корню на каждый промежуток между соседними нулями исходного многочлена.

Пример 2 (средний). Доказать, используя теорему Ролля от противного, что уравнение $x^3+3x-5=0$ имеет ровно один действительный корень.

Обозначим $f(x)=x^3+3x-5$. Предположим противное: пусть у уравнения есть два различных корня $x_1 < x_2$, то есть $f(x_1)=f(x_2)=0$. Функция $f$ — многочлен, значит непрерывна и дифференцируема на всей числовой прямой, все условия теоремы Ролля на отрезке $[x_1,x_2]$ выполнены. По теореме существует $c \in (x_1,x_2)$ такое, что $f'(c)=0$.

Но вычислим производную: $f'(x) = 3x^2+3 = 3(x^2+1)$. Так как $x^2 \ge 0$ при любом $x$, получаем $f'(x) \ge 3 > 0$ для абсолютно любого $x$ — производная нигде не обращается в ноль. Противоречие с тем, что $f'(c)=0$ для некоторого $c$.

Ответ: предположение о существовании двух корней неверно, значит уравнение имеет не более одного действительного корня. А что хотя бы один корень есть — следует из непрерывности $f$ и того, что $f(1)=1+3-5=-1<0$, а $f(2)=8+6-5=9>0$: по теореме о промежуточном значении на $(1,2)$ обязан быть корень. Значит корень существует и он ровно один.

Пример 3 (сложный, ML). Две независимо инициализированные копии простой модели с одним весом сошлись после обучения к одинаковому значению функции потерь на валидации: $g(0) = 0{,}05$ и $g(1) = 0{,}05$, где $g(t)$ — упрощённая модель функции потерь вдоль прямой, соединяющей веса этих двух копий, заданная формулой $g(t) = 0{,}05 + 0{,}2\,t(1-t)$, $t \in [0,1]$. Найти точку, где градиент вдоль этого пути обнуляется, и оценить высоту «барьера» между двумя решениями.

Проверяем условия: $g$ — многочлен по $t$, непрерывна и дифференцируема на $[0,1]$, и по условию $g(0)=g(1)=0{,}05$ (можно убедиться прямой подстановкой: $g(0)=0{,}05+0=0{,}05$, $g(1)=0{,}05+0{,}2\cdot1\cdot0=0{,}05$). Находим производную:

Ответ: $c=\dfrac12$ — ровно середина пути между двумя моделями. Значение функции потерь в этой точке:

Ошибка в середине пути ($0{,}1$) выше, чем в обеих конечных точках ($0{,}05$) — это и есть количественная модель барьера функции потерь: даже если две обученные модели одинаково хороши по отдельности, прямолинейный путь между ними в пространстве весов почти никогда не проходит по «низине» — где-то на пути обязательно найдётся точка с нулевым градиентом вдоль направления движения, и в типичном случае она оказывается локальным максимумом ошибки, а не минимумом.

Почему это важно

Вот, собственно, ради чего весь этот урок особенно ценен для тебя как для будущего специалиста по машинному обучению. Формально функция потерь $L(w)$ современной нейросети зависит не от одного веса, а от миллионов — но идея переносится без всяких изменений, если зафиксировать направление движения. Возьми любые два набора весов $w_A$ и $w_B$, дающих одинаковое значение функции потерь (например, две разные, но одинаково успешные конфигурации сети), и рассмотри путь между ними: $w(t) = w_A + t(w_B - w_A)$, $t\in[0,1]$. Определи $g(t) = L(w(t))$ — это функция потерь вдоль пути, обычная функция одной переменной $t$. Если $L$ гладкая (а для большинства функций потерь — квадратичная ошибка, softmax с кросс-энтропией при гладких активациях — это так), то $g$ непрерывна и дифференцируема, и раз $g(0)=g(1)$ (одинаковое значение на концах), по теореме Ролля найдётся $t_c \in (0,1)$, где $g'(t_c)=0$. А производная $g'(t)$ — это в точности скалярное произведение градиента $\nabla L$ в точке $w(t)$ на направление $(w_B-w_A)$ (это правило дифференцирования сложной функции, которое встретится в курсе позже, но идею уже можно ухватить). Значит, в этой промежуточной точке градиент функции потерь оказывается ортогонален направлению движения — и это уже не про один вес, а про целое многомерное пространство. Именно из таких простых, но неизбежных фактов и складывается современная теория о структуре ландшафта функции потерь: количество критических точек, седловые барьеры между локальными минимумами, явление связности минимумов в глубоких сетях — всё это начинается ровно с теоремы, которую в XVII веке доказал для многочленов человек, не веривший в анализ бесконечно малых.

Практика: 30 заданий

Базовые задания (1–10)

Задание 1: Проверить применимость теоремы Ролля к $f(x)=x^2-2x$ на $[0,2]$ и найти точку $c$.

Задание 2: Проверить применимость теоремы Ролля к $f(x)=x^2-6x+8$ на $[2,4]$ и найти точку $c$.

Задание 3: Найти все точки $c$, гарантированные теоремой Ролля для $f(x)=\sin x$ на $[0,2\pi]$.

Задание 4: Проверить применимость теоремы к $f(x)=x^3-3x^2+2$ на $[0,3]$ и найти внутреннюю точку $c$.

Задание 5: Найти точку $c$ для $f(x)=x^2$ на $[-3,3]$.

Задание 6: Найти точку $c$ для $f(x)=\cos x$ на $\left[-\dfrac{\pi}{2},\dfrac{\pi}{2}\right]$.

Задание 7: Найти точку $c$ для $f(x)=x^2+4x+1$ на $[-5,1]$.

Задание 8: Найти точку $c$ для $f(x)=9-x^2$ на $[-3,3]$.

Задание 9 (физика): Тело подброшено вертикально вверх по закону $s(t)=-5t^2+20t$ (метры, секунды), стартуя с земли. Найти момент времени приземления и, используя теорему Ролля, определить момент максимального подъёма (когда вертикальная скорость равна нулю).

Задание 10: Найти точку $c$ для $f(x)=x^2-4x$ на $[0,4]$.

Средние задания (11–20)

Задание 11: Найти все точки $c$, гарантированные теоремой Ролля для $f(x)=x^3-x$ на $[-1,1]$.

Задание 12: Доказать через теорему Ролля от противного, что уравнение $x^3+3x-5=0$ имеет не более одного действительного корня.

Задание 13: Проверить применимость теоремы Ролля к $f(x)=|x-2|+1$ на $[0,4]$.

Задание 14: Найти точку $c$ для $f(x)=e^x+e^{-x}$ на $[-1,1]$.

Задание 15 (ML): Функция потерь одного параметра $L(w)=(w-2)^2(w-6)^2$ имеет два «идеальных» решения $w=2$ и $w=6$. Найти точку максимума функции потерь между ними.

Задание 16: Найти все точки $c$ для $f(x)=\sin(2x)$ на $[0,\pi]$.

Задание 17: Многочлен $f(x)=x^3-4x$ имеет три корня. Найти корни производной между соседними корнями и проверить следствие теоремы Ролля о минимальном их числе.

Задание 18 (физика): Математический маятник без затухания колеблется по закону $\theta(t)=\theta_0\cos(\omega t)$ с периодом $T=\dfrac{2\pi}{\omega}$. Используя теорему Ролля, доказать, что за один период угловая скорость маятника обнуляется хотя бы дважды, и найти эти моменты на $[0,T]$.

Задание 19: Доказать через теорему Ролля, что уравнение $3x^5+15x-2=0$ имеет не более одного действительного корня.

Задание 20 (ML): Функция потерь $L(w)=w^4-4w^3$ на отрезке $[0,4]$ имеет $L(0)=L(4)=0$. Найти внутреннюю критическую точку.

Продвинутые задания (21–30)

Задание 21: Пройти по схеме доказательства теоремы Ролля (через Вейерштрасса) для $f(x)=x^4-8x^2+7$ на $[-1,1]$ и найти точку $c$.

Задание 22 (ML): Функция потерь вдоль пути между двумя обученными моделями задана формулой $g(t)=0{,}05+0{,}2\,t(1-t)$ на $[0,1]$. Найти точку нулевого градиента и высоту барьера над концами пути.

Задание 23: Многочлен $f(x)=x^5-5x^3+4x$ имеет пять различных корней. Найти их, а также найти корни производной и проверить следствие теоремы Ролля.

Задание 24: Доказать через теорему Ролля от противного, что $f(x)=x+e^x$ инъективна на всей числовой прямой (то есть уравнение $x+e^x=k$ имеет не более одного решения при любом $k$).

Задание 25: Доказать в общем виде: если $p>0$, то многочлен $f(x)=x^{2k+1}+px+q$ (нечётной степени $2k+1$) имеет ровно один действительный корень.

Задание 26: Функция $f(x)=x\sin\dfrac1x$ при $x\ne0$, доопределена $f(0)=0$. Проверить применимость теоремы Ролля на $\left[-\dfrac1\pi,\dfrac1\pi\right]$.

Задание 27 (ML): Квадратичная модель потерь $L(w)=(w-5)^2$ имеет $L(2)=L(8)$. Проверить это и найти точку минимума, используя теорему Ролля, объяснив связь с симметрией параболы.

Задание 28: Функция $f(x)=3\sin x+4\cos x$ периодична с периодом $2\pi$. Доказать, что на любом отрезке длины $2\pi$ производная $f'$ обнуляется хотя бы раз, и найти общее решение уравнения $f'(x)=0$.

Задание 29: Для $f(x)=x^2(x-3)^2$ на $[0,3]$ известно, что $f'(0)=0$ (проверить это) и что теорема Ролля даёт внутреннюю точку $f'(c)=0$. Применив теорему Ролля повторно уже к $f'$, найти точку $d$, где $f''(d)=0$.

Задание 30 (ML, продвинутое): В двухпараметрической модели $L(w_1,w_2)=w_1^2(w_1-2)^2+w_2^2$ рассмотрим путь от $w_A=(0,0)$ до $w_B=(2,0)$: $w(t)=(2t,0)$, $t\in[0,1]$. Найти точку $t_c$, где $g(t)=L(w(t))$ имеет нулевую производную, и проверить, что в этой точке равен нулю весь градиент $\nabla L$, а не только производная вдоль пути.

Частые ошибки

Ошибка 1. Забывают проверить равенство $f(a)=f(b)$ и применяют теорему к произвольному отрезку.

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

Почему возникает: условия непрерывности и дифференцируемости кажутся «главными», а равенство на концах — второстепенной деталью формулировки.

Как правильно: все три условия равноправны и обязательны одновременно. Перед тем как искать точку $c$, всегда явно вычисли $f(a)$ и $f(b)$ и убедись, что они совпадают — без этого шага заключение теоремы попросту не гарантировано (задание 27 из блока про важность условий показывает это на прямом примере).

Ошибка 2. Путают требования к отрезку: считают, что дифференцируемость нужна и в самих точках $a,b$, либо, наоборот, что непрерывность достаточна только на открытом интервале.

Как выглядит: пишут в решении «$f$ дифференцируема на $[a,b]$», не замечая разницы между замкнутым и открытым множеством, или проверяют непрерывность только на $(a,b)$, забывая про сами концы.

Почему возникает: формулировка теоремы содержит тонкую асимметрию (непрерывность на замкнутом $[a,b]$, дифференцируемость на открытом $(a,b)$), которую легко упустить при беглом чтении.

Как правильно: держи в голове чёткое разделение — непрерывность нужна везде, включая концы отрезка (иначе не работает теорема Вейерштрасса, на которой строится доказательство), а дифференцируемость требуется только внутри, потому что найденная точка $c$ заведомо окажется внутренней.

Ошибка 3. Считают точку $c$ единственной.

Как выглядит: найдя один корень производной внутри интервала, останавливаются, не проверяя, нет ли других решений уравнения $f'(x)=0$ на этом же промежутке.

Почему возникает: теорема формулируется как утверждение существования («найдётся хотя бы одна точка»), и это легко воспринять как «найдётся ровно одна».

Как правильно: теорема гарантирует существование, но не единственность (задания 3, 11, 16, 17 явно дают несколько точек). Всегда, когда это возможно, находи все решения уравнения $f'(x)=0$ на интервале, а не только первое попавшееся.

Ошибка 4. Применяют теорему к функции с изломом или разрывом внутри отрезка, не заметив проблему.

Как выглядит: видят многочлен или «похожую на гладкую» формулу с модулем, дробной степенью или кусочным заданием и не проверяют явно каждую точку интервала на дифференцируемость.

Почему возникает: формулы с модулем или дробной степенью на первый взгляд выглядят «достаточно приличными», особенно если сама функция непрерывна.

Как правильно: если в формуле есть модуль, кусочное склеивание веток, дробная степень или другой потенциальный источник негладкости, отдельно проверяй дифференцируемость в подозрительных точках через односторонние производные (урок 186) — как это сделано в заданиях 13 и 26.

Ошибка 5. Считают, что если $f'(c)=0$ для какой-то точки $c$, то $c$ обязательно точка локального экстремума самой функции $f$.

Как выглядит: найдя корень производной, сразу заявляют «здесь у функции максимум» или «здесь минимум», не проверяя знак производной по обе стороны от $c$.

Почему возникает: в доказательстве теоремы точка $c$ действительно берётся как точка глобального экстремума на отрезке, и это создаёт ложное впечатление, что любая найденная точка с нулевой производной обязана быть экстремумом.

Как правильно: сама теорема Ролля утверждает только $f'(c)=0$, ничего больше. Такая точка называется критической (или стационарной), и она может оказаться максимумом, минимумом или, как у функции $x^3$ в нуле, точкой перегиба с горизонтальной касательной, но без экстремума вовсе. Тип точки нужно устанавливать отдельно — этим займётся исследование функций на монотонность в одном из следующих уроков курса.

Ошибка 6. Путают теорему Ролля с более общей теоремой Лагранжа о среднем значении.

Как выглядит: применяют формулировку Ролля к функции, у которой $f(a)\ne f(b)$, ошибочно полагая, что теорема всё равно гарантирует точку с нулевой производной.

Почему возникает: теорема Лагранжа (урок 190) — прямое обобщение теоремы Ролля без требования равенства на концах, и по неосторожности легко перепутать, какая версия что именно гарантирует.

Как правильно: теорема Ролля — это частный случай теоремы Лагранжа, работающий только когда хорда между концами графика горизонтальна ($f(a)=f(b)$). Если значения на концах не равны, годится только теорема Лагранжа, которая гарантирует не $f'(c)=0$, а $f'(c) = \dfrac{f(b)-f(a)}{b-a}$ — угловой коэффициент самой хорды, а не ноль.

Главное запомнить

• Формулировка: если $f$ непрерывна на $[a,b]$, дифференцируема на $(a,b)$ и $f(a)=f(b)$, то существует $c\in(a,b)$ с $f'(c)=0$.

• Непрерывность требуется на замкнутом отрезке (включая концы), дифференцируемость — только на открытом интервале; асимметрия неслучайна и напрямую используется в доказательстве.

• Геометрический смысл: на графике функции, начинающемся и заканчивающемся на одной высоте, обязательно есть точка с горизонтальной касательной.

• Доказательство строится в два шага: если $f$ константа — производная равна нулю всюду тривиально; если нет — по теореме Вейерштрасса (урок 185) на отрезке достигается экстремум, отличный от значения на концах, и он обязан лежать внутри интервала, а во внутренней точке экстремума дифференцируемой функции производная равна нулю (доказывается через равенство односторонних производных, урок 186).

• Все три условия существенны и независимы: контрпримеры показывают, что нарушение любого одного условия (разрыв на конце, излом внутри интервала, неравные значения на концах) может полностью разрушить заключение теоремы.

• Теорема гарантирует существование, а не единственность точки $c$ — их может быть несколько, и все их стоит искать явно, если это возможно.

• Следствие о корнях: между любыми двумя соседними нулями функции лежит хотя бы один нуль производной; если у функции $n$ различных корней, у производной — не менее $n-1$.

• Стандартный приём доказательства единственности корня уравнения — «от противного через Ролля»: предположить два корня, применить теорему, получить противоречие с тем, что производная нигде не обращается в ноль.

• ML-интерпретация: если функция потерь дважды принимает одинаковое значение вдоль гладкого пути в пространстве весов, где-то на пути градиент вдоль этого направления обязательно обнуляется — первый строгий факт о неизбежности критических точек в ландшафте функции потерь.

• Точка $c$ с $f'(c)=0$ называется критической (стационарной) точкой функции, но сама теорема Ролля не говорит, максимум это, минимум или точка перегиба — тип точки нужно устанавливать отдельно.

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

Что нужно было знать до этого урока

Доказательство теоремы Ролля опирается напрямую на теорему Вейерштрасса о достижении экстремума, доказанную в уроке 185 «Свойства непрерывных функций»: без гарантии, что непрерывная функция на замкнутом отрезке действительно достигает своего максимума и минимума (а не просто стремится к ним как к точным граням), первый шаг доказательства попросту не имел бы опоры. Второй столп доказательства — строгое определение производной и, в особенности, аппарат односторонних производных из урока 186 «Производная (строгое определение)»: именно через сравнение левой и правой производной в точке экстремума мы показали, что производная там обязана быть равна нулю. Наконец, урок 188 «Производные высших порядков» пригодился в задании 29 этого урока, где теорема Ролля применяется дважды подряд — сначала к самой функции, потом к её производной — ровно та идея «вложенной гладкости», которая там разбиралась.

Что изучить дальше

Следующий урок, 190 «Теорема Лагранжа», снимает единственное по-настоящему ограничительное условие теоремы Ролля — требование $f(a)=f(b)$ — и заменяет заключение $f'(c)=0$ на более общее $f'(c)=\dfrac{f(b)-f(a)}{b-a}$: касательная параллельна не горизонтали, а самой хорде графика. Доказательство теоремы Лагранжа, которое ты увидишь в следующем уроке, сводится к применению теоремы Ролля к специально построенной вспомогательной функции — то есть теорема Ролля не устаревает, а становится строительным блоком для более общего результата. Дальше в курсе появится теорема Коши о среднем значении (урок 191, обобщение на две функции сразу) и, в конечном счёте, формула Тейлора с остаточным членом в форме Лагранжа, где та же самая идея «повторного применения теоремы о среднем» (уже опробованная тобой в задании 29) масштабируется на производные любого порядка.

Где это нужно в жизни

🤖 ML/AI. Теорема Ролля — первый строгий факт о неизбежности критических точек в ландшафте функции потерь: если два набора весов дают одинаковое значение функции потерь, вдоль соединяющего их гладкого пути обязательно найдётся точка с нулевым градиентом по направлению движения — прямая математическая основа барьеров функции потерь и связности минимумов, которые изучаются в современной теории оптимизации нейросетей.

🔬 Физика. Любое периодическое или возвратное движение — качели, маятник, мяч, брошенный вертикально вверх, — гарантированно проходит через момент нулевой мгновенной скорости в направлении, по которому координата вернулась к прежнему значению; это прямое физическое прочтение теоремы Ролля.

📐 Алгебра и численные методы. Следствие о корнях производной — стандартный инструмент для отделения и подсчёта действительных корней многочленов и трансцендентных уравнений, а приём «доказательство единственности корня от противного через Ролля» — рабочая техника при исследовании уравнений, которые не решаются явно.

📊 Экономика и анализ данных. Если некоторый экономический показатель (доходность, объём производства, цена) возвращается к прежнему значению спустя период времени, теорема Ролля гарантирует существование момента, когда скорость его изменения была равна нулю — это применяется при анализе точек разворота трендов.

Интересные факты

• Мишель Ролль не имел систематического университетского образования и начинал карьеру переписчиком и клерком у нотариуса — редчайший путь в математику для XVII века, тем не менее приведший его в кресло члена Французской академии наук.

• Исторически сложилась заметная ирония: сам Ролль скептически относился к анализу бесконечно малых Ньютона и Лейбница, критикуя его как логически необоснованный набор приёмов, — а теорема, которую доказали и назвали в его честь, сегодня относится к тому самому разделу математики, к которому он публично относился с недоверием.

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

• Теорема Ролля — не изолированный результат, а фундамент целой цепочки теорем о среднем значении: из неё выводится теорема Лагранжа (урок 190), из теоремы Лагранжа — теорема Коши (урок 191), а из теоремы Коши в конечном счёте выводится правило Лопиталя для раскрытия неопределённостей и формула Тейлора с остаточным членом — вся эта архитектура анализа опирается на простое наблюдение о горках и подброшенных мячах.

Лайфхаки и полезные трюки

1. Перед тем как искать точку $c$, всегда явно выпиши все три условия теоремы по чек-листу: непрерывность на $[a,b]$, дифференцируемость на $(a,b)$, равенство $f(a)=f(b)$ — и отметь для каждого, выполняется оно или нет. Пропуск этой проверки — самая частая причина ошибки в задачах на эту тему.

2. Если нужно доказать существование корня уравнения $f'(x)=0$, но само это уравнение решить сложно — не решай его напрямую. Вместо этого поищи два значения $a,b$, при которых $f(a)=f(b)$ (или оба равны нулю) — часто это гораздо проще, а дальше теорема Ролля сама гарантирует существование нужной точки без явного решения уравнения на производную.

3. Для доказательства единственности корня уравнения на промежутке применяй стандартную схему «от противного через Ролля»: предположи, что корней два, примени теорему Ролля к отрезку между ними, и получи противоречие, показав, что производная нигде не обращается в ноль (обычно это делается через оценку типа «сумма неотрицательного и строго положительного слагаемого»).

4. Помни правило интерливинга корней: между любыми двумя соседними действительными корнями многочлена лежит хотя бы один корень его производной. Это не только теоретический факт, но и практический инструмент для локализации корней многочлена высокой степени, у которого явное решение недоступно.

5. Если условие теоремы (обычно дифференцируемость) нарушено ровно в одной точке интервала, не спеши сразу говорить, что заключение точно неверно — разбей отрезок на части по этой проблемной точке и попробуй применить теорему Ролля отдельно к каждой из частей, если это уместно по условию задачи.

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

7. Не путай заключение теоремы («$f'(c)=0$») с утверждением о характере точки. Найдя критическую точку, всегда отдельно проверяй, что это — максимум, минимум или точка перегиба, глядя на поведение производной по обе стороны от неё; сама теорема Ролля этого не сообщает.

Теорема Ролля выглядит как маленькая, почти игрушечная деталь курса — три условия, простое заключение, доказательство в несколько строк. Но именно из таких маленьких, безупречно строгих кирпичиков и строится всё здание дифференциального исчисления: теорема Лагранжа, теорема Коши, формула Тейлора, критерии монотонности и выпуклости функций — всё это в конечном счёте опирается на факт про горку, которая возвращается на прежнюю высоту. И когда однажды ты будешь смотреть на график обучения нейросети и увидишь, что функция потерь на каком-то участке перестала падать, вспомни: это не мистика оптимизатора, а простое и неизбежное следствие теоремы, которую в XVII веке доказал человек, вообще не веривший в анализ бесконечно малых.