Откуда "берется" эта вспомогательная функция (фрмула Коши в теореме Лагранжа)?

@Dmitry4cf · Регистрация: 07.12.2015

Студворк — интернет-сервис помощи студентам

Здравствуйте!
Для доказательства теоремы Лагранжа используется вспомогательная функция

$https://www.cyberforum.ru/cgi-bin/latex.cgi?F(x) = f(x) - f(a) - \frac{f(b) - f(a)}{b - a}(x - a)$

Дается она так: "Введем вспомогательную функцию...". Причем так абсолютно во всех учебниках, что я проверял (Краснов-Киселев, Ильин-Позняк).
Вопрос: откуда "берется" эта вспомогательная функция, откуда она тут всплывает? В Краснове-Киселеве она на следующей странице названа "Формулой Коши". Гугл ответов не дал.

Байт · 05.01.2016, 20:27

Сообщение от Dmitry4cf

откуда "берется" эта вспомогательная функция,

Буквально с потолка.

Просто придумывается, вот и все.

Сообщение от Dmitry4cf

названа "Формулой Коши".

Ну, если Коши ее придумал, глядя в потолок, почему бы ее и не назвать в его честь?

Если есть функция f(x), то можно придумать миллионы разных других функций на ее основе.
F(x) = f(x) - 25
F(x) = f(x)/F(a) + e^x - ln(sinx)
Дальше, сколь фантазии хватит...
Но. Функция, свалившаяся на уважаемого Коши с потолка, обладает некоторыми хорошими свойствами, сводя доказательство теоремы Лагранжа к следствию из других, уже доказанных, теорем.
Т.е. получилось, что Коши придумал ее в общем-то не зря...

@splen · 05.01.2016, 20:43

Ответ - в тексте доказательства. После этого ко вспомогательной функции применяется теорема Ролля.
Для этого нужно, чтобы она удовлетворяла условиям этой теоремы. В частности, её значения на концах
интервала должны быть равны друг другу. Исходная функция не обязана удовлетворять этому условию,
но если из неё вычесть какую-нибудь линейную функцию, то коэффициенты можно подобрать так,
чтобы оно оказалось выполнено. Т.е. можно положить F(x)=f(x)-Kx-L, где K и L - неопределённые
коэффициенты, затем потребовать, чтобы F(a)=F(b)=0, и из полученной системы уравнений найти K и L.
В доказательстве эти элементарные вычисления, как правило, опускают и сразу записывают результат
в виде вспомогательной функции.

@Dmitry4cf · 05.01.2016, 20:49 **[ТС]**

Спасибо за ответ

Навели на мысль! Вообще эта функция очень приятно соответствует критериям функции в теореме Ролля, через которую доказывается теорема Лагранжа.
Отлично! Еще раз спасибо.

Добавлено через 3 минуты
Спасибо, что так подробно объяснили, splen. Теперь все совершенно понятно

Фух.

@splen · 05.01.2016, 21:09

Пожалуйста.
Точно так же, выбирая вместо линейной функции Kx+L другие выражения,
содержащие два параметра, и подбирая их аналогичным образом, можно
получать обобщения формулы Лагранжа.

Байт · 05.01.2016, 21:11

Сообщение от Dmitry4cf

Навели на мысль!

Это приятно. Не зря работаем, значит. А эта мысль валялась, неприкаянная, а теперь вам вместе с ней стало веселей...

Сообщение от splen

Т.е. можно положить F(x)=f(x)-Kx-L, где K и L - неопределённые коэффициенты, затем потребовать, чтобы F(a)=F(b)=0, и из полученной системы уравнений найти K и L.

Так вот, оказывается, какие письмена были начертаны на потолке старого фамильного замка Огюстена Луи!
И вся математика, может быть, всего лишь умение правильно считывать потолочные письмена!

Новые блоги и статьи Все статьи Все блоги /
Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .
Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.

@Dmitry4cf 0 / 0 / 1 Регистрация: 07.12.2015 Сообщений: 14

	Откуда "берется" эта вспомогательная функция (фрмула Коши в теореме Лагранжа)? 05.01.2016, 19:03. Показов 1947. Ответов 5 Метки нет (Все метки) Здравствуйте! Для доказательства теоремы Лагранжа используется вспомогательная функция $https://www.cyberforum.ru/cgi-bin/latex.cgi?F(x) = f(x) - f(a) - \frac{f(b) - f(a)}{b - a}(x - a)$ Дается она так: "Введем вспомогательную функцию...". Причем так абсолютно во всех учебниках, что я проверял (Краснов-Киселев, Ильин-Позняк). Вопрос: откуда "берется" эта вспомогательная функция, откуда она тут всплывает? В Краснове-Киселеве она на следующей странице названа "Формулой Коши". Гугл ответов не дал. 0

@splen 1728 / 1020 / 181 Регистрация: 03.06.2012 Сообщений: 1,220
	05.01.2016, 20:43
	Ответ - в тексте доказательства. После этого ко вспомогательной функции применяется теорема Ролля. Для этого нужно, чтобы она удовлетворяла условиям этой теоремы. В частности, её значения на концах интервала должны быть равны друг другу. Исходная функция не обязана удовлетворять этому условию, но если из неё вычесть какую-нибудь линейную функцию, то коэффициенты можно подобрать так, чтобы оно оказалось выполнено. Т.е. можно положить F(x)=f(x)-Kx-L, где K и L - неопределённые коэффициенты, затем потребовать, чтобы F(a)=F(b)=0, и из полученной системы уравнений найти K и L. В доказательстве эти элементарные вычисления, как правило, опускают и сразу записывают результат в виде вспомогательной функции. 2

@Dmitry4cf 0 / 0 / 1 Регистрация: 07.12.2015 Сообщений: 14
	05.01.2016, 20:49 [ТС]
	Спасибо за ответ Навели на мысль! Вообще эта функция очень приятно соответствует критериям функции в теореме Ролля, через которую доказывается теорема Лагранжа. Отлично! Еще раз спасибо. Добавлено через 3 минуты Спасибо, что так подробно объяснили, splen. Теперь все совершенно понятно Фух. 0

@splen 1728 / 1020 / 181 Регистрация: 03.06.2012 Сообщений: 1,220
	05.01.2016, 21:09
	Пожалуйста. Точно так же, выбирая вместо линейной функции Kx+L другие выражения, содержащие два параметра, и подбирая их аналогичным образом, можно получать обобщения формулы Лагранжа. 0