Обобщения теоремы Ролля
[10/100%]Пусть . Если обращается в нуль в точке интервала и все нули полинома — вещественные, то в некоторой внутренней точке интервала имеет место равенство
(Обобщение теоремы Ролля на однородные линейные дифференциальные выражения.) Пусть дифференциальное уравнение -го порядка
имеет решений , удовлетворяющих в интервале условиям
Если в интервале лежит нуль функции , то в этом интервале существует такая точка , что
G. Pólya, Trans. American M. S., т. 24, стр. 312—324, 1922; см. H. Poincaré, Interméd. des math., т. 1, стр. 141—144, 1894. См. также VII 62.
(Продолжение.) Утверждение теоремы сохраняет силу и при замене предположения менее сильным, именно, что совпадает в точке с одним из решений дифференциального уравнения (*). (Обобщение теоремы 71, относящейся к уравнению .)
Замкнутая кривая без кратных точек является границей области , части плоскости . Функция непрерывна в замыкании (объединении и ) и имеет в непрерывные частные производные второго порядка. Если обращается в нуль вдоль , а также в некоторой внутренней точке области , то существует такая точка в , в которой
(Обобщение дифференциальной теоремы о среднем значении на систему функций.) Отношение определителей
где , можно приравнять отношению определителей
если числам придать надлежащие промежуточные значения:
См. H. A. Schwarz, Gesammelte Mathematische Abhandlungen, т. 2, стр. 296, Berlin, J. Springer, 1890; T. J. Stieltjes, Oeuvres, т. 2, стр. 110, Groningen, P. Noordhoff, 1918.
Пусть . Показать, что
где — некоторые числа, удовлетворяющие неравенствам, приведенным в конце предыдущей задачи.
Показать, что
где — точка, заключенная внутри наименьшего интервала, содержащего попарно различные точки .
Показать, что
где заключено между и ( может принимать и отрицательные значения). В частности, при имеем обычную теорему о среднем значении.
(Отличное от 95 обобщение теоремы о среднем значении на системы функций.) Пусть функции удовлетворяют неравенствам (**) задачи 93, — произвольная функция и . Показать, что существует такое , , что
L. c. 93. Полной индукцией; принять во внимание 89.
Доказать 76, основываясь на 91.