Метод Штурма

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Метод Штурма — это метод доказательства истинности некоторых утверждений и формул.

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

Метод предложил немецкий математик Р. Штурм в 1884 г.

Обозначения[править]

 — число чисел;
 — -ое неотрицательное число;
 — неотрицательное число;
 — множество индексов.

Определения[править]

Если для пар неотрицательных чисел выполняются условия и , то переход от пары к паре называется сдвиганием чисел Невозможно разобрать выражение (SVG с запасным PNG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle a_1,b_1} с сохранением произведения.

Если для пар неотрицательных чисел выполняются условия и , то переход от пары Невозможно разобрать выражение (SVG с запасным PNG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle (a_1,b_1)} к паре называется раздвиганием чисел с сохранением произведения.

Метод[править]

Пример[править]

Доказательство[править]

Доказательство методом Штурма

Другие методы:[править]


Литература[править]

  • Арбит А. В. Неравенства и основные способы их доказательства. Ч.1. М.: МЦНМО, 2016, стр.60-63, 168 с.