Коши Теорема

- 1) К. Т. О многогранниках. Два замкнутых выпуклых многогранника конгруэнтны, если между их истинными гранями, ребрами и вершинами имеется сохраняющее инцидентность взаимно однозначное соответствие, причем соответствующие грани многогранников конгруэнтны. К. Т.- первая теорема об однозначной определенности выпуклых поверхностей, поскольку многогранники, о к-рых идет речь в К. Т., изометричны в смысле внутренней метрики. К. Т. Является частным случаем теоремы о том, что всякая замкнутая выпуклая поверхность однозначно определяется своей метрикой (см. [4]). К. Т. Установлена О. Коши (см. [1]). Лит.:[1]Cauchy A. L., "J. Ecole polytechn.", 1813, t. 9, p. 87-98. [2] А л е к с а н д р о в А. Д., Выпуклые многогранники, М.- Л., 1950. [3] А дам ар Ж., Элементарная геометрия, 3 изд., ч.

2, М., 1958. [4] Погорелов А. В., Однозначная определенность выпуклых поверхностей, М.- Л., 1949 (Тр. Матем. Ин-та АН СССР, т. 29). Е. В. Шикин. 2) К. Т. О промежуточных значениях непрерывной функции на отрезке. Если функция f, значениями к-рой являются действительные числа, непрерывна на [a, b]и число Слежит между f(a) и f(b), то существует такая точка что В частности, если f(a) и f(b).имеют разные знаки, то существует такая точка , что В этой форме К. Т. Используют для выделения промежутков, в к-рых заведомо имеются нули рассматриваемой функции. Из К. Т. Следует, что образом промежутка числовой прямой при его непрерывном отображении в числовую прямую является также промежуток. К. Т. Допускает обобщение на топология, пространства.

Всякая непрерывная функция определенная на связном топологич. Пространстве X( - множество действительных чисел), принимающая какие-либо два значения, принимает и любое лежащее между ними, поэтому образ пространства Xтакже промежуток числовой прямой. К. Т. Была сформулирована независимо Б. Больцано (В. Bolzano, 1817) и О. Коши (A. Cauchy, 1821). 3) К. Т. О среднем значении - обобщение формулы конечных приращений Лагранжа. Если функции fи g принимают действительные значения, непрерывны на [ а, b]и дифференцируемы на ( а, b), причем на (а, b), а потому то существует такая точка что При получается формула конечных приращений Лагранжа. Геометрич. Смысл К. Т. Состоит в том, что на всякой непрерывной кривой x=f(t), y=g(t).

лежащей на плоскости хОу и имеющей в каждой точке (f(t). G(t)).касательную, есть точка в к-рой касательная параллельна хорде, соединяющей концы (f(a), g(a)) и(f(b), g(b)).рассматриваемой кривой. Лит.:[1] Ильин В. А., П о з н я к Э. Г., Основы математического анализа, 3 изд., ч. 1, М., 1971. [2] Кудрявцев Л. Д., Математический анализ, 2 изд., т. 1, М., 1973. [3] Н и к о л ь с к и и С. М., Курс математического анализа, 2 изд., т. 1, М., 1975. Л. Д. Кудрявцев. 4) К. Т. В теории групп. Если порядок конечной группы Gделится на простое число р, то Gобладает элементами порядка р. Теорема была доказана О. Коши (см. [1]) для групп подстановок. Лит.:[1] С а и с h у A. L., в кн. Exercices d'analyse et de physique mathematique, t. 3, P., 1844, p.

151-252. [2] К у-p о ш А. Г., Теория групп, 3 изд., М., 1967.