В исчислении , теорема Ролля или леммы Ролля по существу утверждает , что любая вещественная дифференцируемая функция , которая достигает равных значений в двух различных точках , должны иметь по крайней мере одну неподвижную точку где - то между ними, то есть точка , в которой первая производная ( по наклону касательная к графику функции) равна нулю. Теорема названа в честь Мишеля Ролля .
Стандартная версия теоремы
Если реальный значная функция F является непрерывным на надлежащем отрезке [ , Ь ] , дифференцируем на открытом интервале ( , б ) и е ( ) = е ( б ) , то существует по крайней мере один C в открытый интервал ( a , b ) такой, что
- .
Эта версия теоремы Ролля используется для доказательства теоремы о среднем значении , частным случаем которой является теорема Ролля. Это также основа для доказательства теоремы Тейлора .
История
Индийскому математику Бхаскара II (1114–1185) приписывают знание теоремы Ролля. [1] Хотя теорема названа в честь Мишеля Ролля , доказательство Ролля 1691 года касалось только случая полиномиальных функций. В его доказательстве не использовались методы дифференциального исчисления , которые в тот момент своей жизни он считал ошибочными. Теорема была впервые доказана Коши в 1823 году как следствие доказательства теоремы о среднем значении . [2] Название «теорема Ролля» впервые было использовано Морицем Вильгельмом Дробишем из Германии в 1834 году и Джусто Беллавитисом из Италии в 1846 году. [3]
Примеры
Первый пример
Для радиуса r > 0 рассмотрим функцию
Его график представляет собой верхний полукруг с центром в начале координат. Эта функция непрерывна на отрезке [- r , r ] и дифференцируема на открытом интервале (- r , r ) , но не дифференцируема на концах - r и r . Поскольку f (- r ) = f ( r ) , применима теорема Ролля, и действительно, существует точка, в которой производная f равна нулю. Обратите внимание, что теорема применяется даже тогда, когда функцию нельзя дифференцировать в конечных точках, потому что она требует, чтобы функция была дифференцируемой только в открытом интервале.
Второй пример
Если дифференцируемость не удается во внутренней точке интервала, заключение теоремы Ролля может не выполняться. Рассмотрим функцию абсолютного значения
Тогда f (−1) = f (1) , но не существует c между −1 и 1, для которого f ′ ( c ) равно нулю. Это потому, что эта функция, хотя и непрерывна, не дифференцируема при x = 0 . Обратите внимание, что производная f меняет знак при x = 0 , но не достигает значения 0. Теорема не может быть применена к этой функции, потому что она не удовлетворяет условию, что функция должна быть дифференцируемой для каждого x в открытом интервале. Однако, когда требование дифференцируемости исключено из теоремы Ролля, f по- прежнему будет иметь критическое число в открытом интервале ( a , b ) , но оно может не дать горизонтальной касательной (как в случае абсолютного значения, представленного на графике ).
Обобщение
Второй пример иллюстрирует следующее обобщение теоремы Ролля:
Рассмотрим вещественнозначную непрерывную функцию f на отрезке [ a , b ] с f ( a ) = f ( b ) . Если для каждого х в открытом интервале ( , б ) предела правая
и левый предел
существуют в расширенной вещественной прямой [−∞, ∞] , то существует некоторое число c в открытом интервале ( a , b ) такое, что один из двух пределов
≥ 0, а другой ≤ 0 (в расширенной вещественной прямой). Если правый и левый пределы совпадают для каждого x , то они согласуются, в частности, для c , следовательно, производная f существует в c и равна нулю.
Замечания
- Если f является выпуклым или вогнутым, то правая и левая производные существуют в каждой внутренней точке, следовательно, указанные выше пределы существуют и являются действительными числами.
- Этой обобщенной версии теоремы достаточно для доказательства выпуклости, когда односторонние производные монотонно возрастают : [4]
Доказательство обобщенной версии
Поскольку доказательство стандартной версии теоремы Ролля и обобщения очень похоже, мы докажем обобщение.
Идея доказательства состоит в том, чтобы доказать, что если f ( a ) = f ( b ) , то f должна достигать либо максимума, либо минимума где-то между a и b , скажем, в c , и функция должна измениться с возрастающей на убывающую ( или наоборот) в c . В частности, если производная существует, она должна быть равна нулю в точке c .
По предположению, f непрерывна на [ a , b ] , а по теореме о крайнем значении достигает как своего максимума, так и минимума на [ a , b ] . Если они оба достигли на концах [ в , Ь ] , то F является постоянной на [ с , Ь ] и поэтому производная F равна нулю в каждой точке ( в , б ) .
Предположим, что максимум достигается во внутренней точке c отрезка ( a , b ) (аргументы в пользу минимума очень похожи, просто рассмотрим - f ). Мы рассмотрим указанные выше правые и левые пределы отдельно.
Для действительного h, такого что c + h находится в [ a , b ] , значение f ( c + h ) меньше или равно f ( c ), потому что f достигает своего максимума в c . Таким образом, для любой ч > 0 ,
следовательно
где предел существует по предположению, он может быть минус бесконечность.
Точно так же для каждого h <0 неравенство меняется, потому что знаменатель теперь отрицательный, и мы получаем
следовательно
где предел может быть плюс бесконечность.
Наконец, когда указанные выше правый и левый пределы совпадают (в частности, когда f дифференцируема), тогда производная f в точке c должна быть равна нулю.
(В качестве альтернативы мы можем напрямую применить теорему Ферма о стационарной точке .)
Обобщение на высшие производные
Мы также можем обобщить теорему Ролля, потребовав, чтобы у f было больше точек с равными значениями и большей регулярностью. В частности, предположим, что
- функция F является п - 1 раз непрерывно дифференцируема на отрезке [ , Ь ] а п - й производной существует на открытом интервале ( , б ) , и
- существует n интервалов, задаваемых a 1 < b 1 ≤ a 2 < b 2 ≤… ≤ a n < b n в [ a , b ], таких что f ( a k ) = f ( b k ) для каждого k от 1 до п .
Тогда существует число c в ( a , b ) такое, что n- я производная f в точке c равна нулю.
Требования, касающиеся n- й производной от f, могут быть ослаблены, как в приведенном выше обобщении, давая соответствующие (возможно, более слабые) утверждения для правого и левого пределов, определенных выше с f ( n - 1) вместо f .
В частности, эта версия теоремы утверждает, что если функция, дифференцируемая достаточно раз, имеет n корней (то есть они имеют одинаковое значение, то есть 0), то существует внутренняя точка, в которой f ( n - 1) обращается в нуль.
Доказательство
Доказательство использует математическую индукцию . Случай n = 1 - это просто стандартная версия теоремы Ролля. Для n > 1 примем предположение индукции, что обобщение верно для n - 1 . Мы хотим доказать это за n . Предположим, что функция f удовлетворяет условиям теоремы. Согласно стандартной версии теоремы Ролля для любого целого числа k от 1 до n существует c k в открытом интервале ( a k , b k ) такое, что f ′ ( c k ) = 0 . Следовательно, первая производная удовлетворяет предположениям о n - 1 отрезках [ c 1 , c 2 ],…, [ c n - 1 , c n ] . По предположению индукции существует такое c , что ( n - 1) -я производная f ′ в точке c равна нулю.
Обобщения на другие поля
Теорема Ролля - это свойство дифференцируемых функций над действительными числами, которые представляют собой упорядоченное поле . Таким образом, он не обобщается на другие поля , но делает следующее следствие: если действительный многочлен множит (имеет все свои корни) над действительными числами, то его производная также делает. Это свойство поля можно назвать свойством Ролля . [ необходима цитата ] У более общих полей не всегда есть дифференцируемые функции, но они всегда имеют многочлены, которые можно символически дифференцировать. Точно так же более общие поля могут не иметь порядка, но есть понятие корня многочлена, лежащего в поле.
Таким образом, теорема Ролля показывает, что действительные числа обладают свойством Ролля. Любое алгебраически замкнутое поле, такое как комплексные числа, обладает свойством Ролля. Однако рациональные числа не множатся - например, x 3 - x = x ( x - 1) ( x + 1) над рациональными числами , но его производная,
не. Вопрос о том, какие поля удовлетворяют свойству Ролля, был поднят в ( Kaplansky, 1972 ). [5] Для конечных полей ответ таков: только F 2 и F 4 обладают свойством Ролля. [6] [7]
Для более сложной версии см. Указатель Вурхоува .
Смотрите также
- Теорема о среднем значении
- Теорема о промежуточном значении
- Линейная интерполяция
- Теорема Гаусса – Лукаса
Рекомендации
- ^ Гупта, Р. К. Энциклопедия истории науки, техники и медицины в незападных культурах . п. 156.
- ^ Бесеньей А. (17 сентября 2012 г.). «Краткая история теоремы о среднем значении» (PDF) .
- ^ См. Каджори, Флориан . История математики . п. 224.
- ^ Артин, Эмиль (1964) [1931], Гамма-функция , переведенная Батлером, Майклом, Холтом, Райнхартом и Уинстоном , стр. 3-4.
- ^ Каплански, Ирвинг (1972), Поля и кольца
- ^ Крейвен, Томас; Csordas, Джордж (1977), "Последовательности умножителей для полей" , Illinois J. Math. , 21 (4): 801–817
- ^ Ballantine, C .; Робертс, J. (январь 2002), "Простое доказательство теоремы Ролля для конечных полей", Американский Математический Месячный , Математическая ассоциация Америки, 109 (1): 72-74, DOI : 10,2307 / 2695770 , JSTOR 2695770
дальнейшее чтение
- Лейтольд, Луи (1972). Исчисление с аналитической геометрией (2-е изд.). Нью-Йорк: Харпер и Роу. С. 201–207. ISBN 0-06-043959-9.
- Тейлор, Ангус Э. (1955). Расширенный расчет . Бостон: Джинн и компания. С. 30–37.
Внешние ссылки
- "Теорема Ролля" , Математическая энциклопедия , EMS Press , 2001 [1994]
- Ролля и Среднее значение теоремы в вырез в-узел .
- Подтверждение системы Mizar : http://mizar.org/version/current/html/rolle.html#T2