Из истории естествознания
От метода каскадов к изучению свойств непрерывных функций: историческая хроника
Синкевич Г. И.История теоремы Ролля началась в XVII в. с решения алгебраического уравнения методом каскадов и формулирования понятия корневого интервала. В XIX в. Б. Больцано сформулировал на их основе понятие и теорему о непрерывной функции. Эволюция понятия непрерывности в работах О. Коши и К. Вейерштрасса привела к тому, что метод каскадов и метод отделения корней воплотились в две важнейшие теоремы, отражающие свойства непрерывных функций: теорему Ролля и теорему Больцано – Коши. Современная форма этих теорем такова: «Если функция непрерывна на [a, b], дифференцируема в (a, b) и f(a) = f(b), тогда в (a, b) найдется хотя бы одна точка c такая, что f′(c) = 0» и «Если функция непрерывна на [a, b] и имеет разные знаки на краях интервала, то в (a, b) найдется хотя бы одна точка c такая, что f(c) = 0».
В историко-математической литературе частично исследована история метода Ролля, но лишь до начала XIX в. и преимущественно с точки зрения истории алгебры.
Провозвестником реформы математического анализа XIX в. был Больцано, который дал первое строго аналитическое доказательство второй из названных теорем. Он полагал, что она выражает основное свойство непрерывной функции, и рассмотрел историю ее возникновения. В реальной же ее истории участвовало немалое число ученых, живших ранее (а потому во многом способствовавших развитию анализа) и их современников, без которых эта история лишается не только важных красок, но и требуемой от исторического свидетельства полноты.
Настоящая статья представляет более полную историю вопроса, содержащую анализ работ Б. Больцано, О. Коши, К. Вейерштрасса, Г. Кантора и Н. Н. Лузина, и выделяет роль эволюции понятия среднего значения для развития теории функций.
Рекомендуемое библиографическое описание статьи
ISSN 0205-9606. Индекс 70143