13.Теоремы Ферма

Для любого натурального числа уравнение

не имеет натуральных решений , и .

Ролля

Если вещественная функция, непрерывная на отрезке и дифференцируемая на интервале , принимает на концах этого интервала одинаковые значения, то на этом интервале найдётся хотя бы одна точка, в которой производная функции равна нулю.

Доказательство

Если функция на отрезке постоянна, то утверждение очевидно, поскольку производная функции равна нулю в любой точке интервала.Если же нет, поскольку значения функции в граничных точках сегмента равны, то согласно теореме Вейерштрасса, она принимает своё наибольшее или наименьшее значение в некоторой точке интервала, то есть имеет в этой точке локальный экстремум, и по лемме Ферма, в этой точке производная равна 0.

Лангранжа

Пусть группа G конечна и H — её подгруппа. Тогда порядок G равен порядку H, умноженному на количество её левых или правых классов смежности (индекс).

 Коши

1)Если порядок конечной группы делится на простое число , то обладает элементами порядка

2) Для любой функции , аналитической в некоторой односвязной области и для любой замкнутой кривой справедливо соотношение

Доказательство

Из условия аналитичности (уравнений Коши—Римана) следует, что дифференциальная форма замкнута. Пусть теперь  — замкнутый самонепересекающийся кусочно-гладкий контур внутри области определения функции , ограничивающий область . Тогда по теореме Стокса имеем:

3) Два замкнутых выпуклых многогранника конгруэнтны, если между их гранями, рёбрами и вершинами имеется сохраняющее инцидентность взаимно однозначное соответствие, причём соответствующие грани многогранников конгруэнтны.

4) Пусть даны две функции и такие, что:

1. и определены и непрерывны на отрезке ;

2. производные и конечны на интервале ;

3. производные и не обращаются в нуль одновременно на интервале

4. ;

тогда существует , для которой верно:

.

(Если убрать условие 4, то необходимо, например, усилить условие 3: g'(x) не должна обращаться в нуль нигде в интервале .)

Доказательство

Для доказательства введём функцию

Для неё выполнены условия теоремы Ролля: на концах отрезка её значения равны . Воспользовавшись упомянутой теоремой, получим, что существует точка , в которой производная функции равна нулю, а

равна как раз необходимому числу.

14. Раскрытие неопределенности

Раскрытие неопределённостей — методы вычисления пределов функций, заданных формулами, которые в результате формальной подстановки в них предельных значений аргумента теряют смысл, то есть переходят в выражения типа:

по которым невозможно судить о том, существуют или нет искомые пределы, не говоря уже о нахождении их значений, если они существуют.

Самым мощным методом является правило Лопиталя, однако и оно не во всех случаях позволяет вычислить предел. К тому же напрямую оно применимо только ко второму и третьему из перечисленных видов неопределённостей, то есть отношениям, и чтобы раскрыть другие типы, их надо сначала привести к одному из этих.

Также для вычисления пределов часто используется разложение выражений, входящих в исследуемую неопределённость, в ряд Тейлора в окрестности предельной точки.

Для раскрытия неопределённостей видов , , пользуются следующим приёмом: находят предел (натурального) логарифма выражения, содержащего данную неопределённость. В результате вид неопределённости меняется. После нахождения предела от него берут экспоненту.

Для раскрытия неопределённостей типа используется следующий алгоритм:

1. Выявление старшей степени переменной;

2. Деление на эту переменную как числителя, так и знаменателя.

Для раскрытия неопределённостей типа существует следующий алгоритм:

1. Разложение на множители числителя и знаменателя;

2. Сокращение дроби.

Для раскрытия неопределённостей типа иногда удобно применить следующее преобразование:

Пусть и

Теоремы Лопиталя (случай неопределенности и )

Пусть функции f(x) и g(x) дифференцируемы в некоторой окрестности точки a, за исключением, быть может, самой точки a, и пусть или . Тогда, если существует предел отношения производных этих функций , то существует и предел отношения самих функций f(x)/g(x) при x→а, причем

(1)

Таким образом, коротко правило Лопиталя можно сформулировать следующим образом: предел отношения двух бесконечно малых или двух бесконечно больших величин равен пределу отношения их производных.

Замечание. Отметим, что формула (1) справедлива только в том случае, если предел, стоящий справа, существует. Может случиться, что предел, стоящий слева существует, в то время как предел, стоящий в правой части равенства, не существует.

Например, найти . Этот предел существует . Но отношение производных (1+cosx)/1=1+cos x при x→∞ не стремится ни к какому пределу.

Заметим, что если отношение производных опять представляет собой неопределенность вида 0/0 или ∞/∞, то можно снова применить сформулированную теорему, то есть перейти к отношению вторых производных и так далее.

Вспомним, что к этим двум случаям сводятся случаи других неопределенностей: ∞·∞; 0·∞.

Для раскрытия неопределенностей 1^∞, 1⁰, ∞⁰ нужно прологарифмировать данную функцию и найти предел ее логарифма.