- •1 Аксиоматика множеств действительных чисел
- •Действительные числа
- •Изображение вещественных чисел бесконечными десятичными дробями
- •Изоморфизм
- •Мощность множества
- •2 Ограниченные и неограниченные множества
- •Ограниченные множества
- •Верхняя и нижняя грань
- •Теорема Архимеда
- •Метод математической индукции
- •3 Предел числовой последовательности
- •Числовые последовательности
- •Свойства бесконечно малых числовых последовательностей
- •Связь бесконечно больших и бесконечно малых последовательностей
- •Предел числовой последовательности
- •4 Сходящиеся последовательности
- •Свойства сходящихся числовых последовательностей
- •Предельный переход и неравенства
- •Теорема о двух милиционерах
- •5 Монотонные последовательности
- •Определение
- •Теорема Вейерштрасса
- •Число Эйлера
- •Система стягивающихся сегментов
- •6 Частичные пределы последовательности
- •Подпоследовательности
- •Частичные пределы
- •Критерий сходимости числовой последовательности
- •7 Критерий Коши
- •Фундаментальная последовательность
- •Критерий Коши
- •Телескопический признак сходимости
- •Покрытие множеств
- •Предельные точки множеств
- •9 Предел функции
- •Определения
- •Предел функции в точке по Коши
- •Предел функции в точке по Гейне
- •Эквивалентность формулировок
- •Односторонние пределы
- •10 Теоремы, связанные с понятием предела функции
- •Арифметические операции с пределами
- •Предел композиции функций
- •Предельный переход и неравенства
- •11 Критерий Коши существования предела функции
- •Критерий Коши
- •Асимптотическое сравнение функций
- •Свойства отношения эквивалентности
- •Замечательные пределы
- •Первый замечательный предел
- •Второй замечательный предел
- •Таблица эквивалентностей
- •12 Непрерывность функции
- •Понятие непрерывности
- •Свойства непрерывных функций
- •Арифметические операции над непрерывными функциями
- •Непрерывность композиции функций
- •Классификация точек разрыва
- •Точки разрыва монотонной функции
- •13 Локальные и глобальные свойства непрерывных функций
- •Локальные свойства
- •Локальная ограниченность функции, имеющей конечный предел
- •Сохранение знака непрерывной в точке функции
- •Глобальные свойства
- •Прохождение непрерывной функции через 0 при смене знаков
- •Прохождение непрерывной функции через любое промежуточное значение
- •Критерий непрерывности монотонной функции
- •14 Теоремы Вейерштрасса
- •Первая теорема Вейерштрасса
- •Вторая теорема Вейерштрасса
- •Производная функции
- •Понятие производной
- •Односторонние производные
- •Геометрическая интерпретация производной
- •Дифференцируемость функции
- •16 Теоремы о дифференцируемости функций I
- •Правила дифференцирования
- •Функции, заданные параметрически
- •17 Теоремы о дифференцируемых функциях II
- •18 Теоремы о дифференцируемых функциях III
- •19 Производные высших порядков
- •Определение
- •Формула Лейбница
- •Инвариантность формы дифференциала
- •Инвариантность первого дифференциала
- •Нарушение инвариантности для дифференциалов высших порядков
- •Дифференцирование функции, заданной параметрически
- •20 Равномерная непрерывность
- •Равномерная непрерывность
- •Модуль непрерывности и колебание функции на отрезке
- •21 Раскрытие неопределенностей
- •Первое правило Лопиталя
- •Второе правило Лопиталя
- •Применение на практике
- •22 Формула Тейлора
- •Постановка задачи
- •Формула Тейлора с остаточным членом в форме Пеано и Лагранжа
- •Единственность разложения
- •Разложение по формуле Маклорена
- •23 Исследование функций методами дифференциального исчисления I
- •Условия монотонности функций
- •Условия точек экстремума
- •Асимптота графика функции
- •Выпуклость функции и точки перегиба
- •Геометрическая интерпретация выпуклости
- •Точки перегиба
- •25 Функции нескольких переменных
- •Определения
- •Классификация точек
- •Открытые и замкнутые множества
- •Окрестность точки
- •Предел функции
- •Функции двух переменных
- •Непрерывность
- •Частные производные ФНП и ее дифференциал
- •Необходимые условия дифференцируемости
- •Достаточное условие дифференцируемости
- •27 Дифференцируемость сложной функции нескольких переменных
- •Дифференцируемость сложной функции
- •Инвариантность формы первого дифференциала и правила дифференцирования
- •28 Частные производные и дифференциалы высших порядков
- •Смешанные производные
- •Второй дифференциал ФНП
- •29 Геометрический смысл частных производных и полного дифференциала
- •Частная производная первого порядка
- •Касательная плоскость
- •Производная по направлению
- •Градиент
- •30 Неявные функции
- •Понятие неявной функции
- •Теорема о существовании и дифференцируемости неявной функции
- •Теорема о разрешимости системы неявных функций
- •31 Безусловный экстремум функции нескольких переменных I
- •32 Безусловный экстремум функции нескольких переменных II
- •Необходимое условие локального экстремума в терминах второй производной
- •Критерий Сильвестра
- •Достаточное условие локального экстремума для функции двух переменных
- •Формула Тейлора и замена переменных для ФНП
- •Формула Тейлора в многомерном случае
- •Замена переменных в дифференциальных уравнениях
- •33-34 Условный локальный экстремум
- •Метод исключения для нахождения точек условного экстремума
- •Метод неопределенных множителей Лагранжа
- •Достаточные условия существования условного экстремума по методу Лагранжа
- •35 Первообразная функция и неопределенный интеграл I
- •Основные определения
- •Свойства неопределенного интеграла
- •Методы интегрирования
- •36 Первообразная функция и неопределенный интеграл II
- •Разложение многочлена на множители
- •Комплексные числа
- •Разложение многочлена на множители
- •Интегрирование рациональных дробей
- •37 Первообразная функция и неопределенный интеграл III
- •Некоторые тригонометрические выражения
- •Квадратичные иррациональности
- •38 Определенный интеграл Римана I
- •Разбиение отрезка
- •Свойства измельчения
- •Определенный интеграл
- •Необходимое условие интегрируемости
- •Критерий интегрируемости функции по Риману
- •39 Определенный интеграл Римана II
- •Интегральные суммы Дарбу
- •Достаточные признаки интегрируемости
- •Свойства интегрируемых функций
- •Безымянное свойство
- •Аддитивность
- •Линейность интеграла
- •Интегрируемость произведения
- •Неотрицательность определенного интеграла
- •Интегрируемость модуля
- •Ну и еще два свойства
- •40 Определенный интеграл Римана III
- •Теоремы о среднем
- •Первая теорема о среднем
- •Вторая теорема о среднем
- •Связь между определенным и неопределенным интегралами
- •Основная формула интегрального исчисления
- •Замена переменной в определенном интеграле
- •Интегрирование по частям
- •41 Несобственные интегралы
- •Несобственные интегралы I рода
- •Несобственные интегралы II рода
- •Сходимость в смысле главного значения
- •Критерий Коши сходимости несобственных интегралов I рода
- •42 Признаки сравнения несобственных интегралов
- •Простейшие признаки сравнения
- •Абсолютная и условная сходимость
- •Признак Дирихле
- •Признак Абеля
- •43 Приложения интегрального исчисления к вычислению площадей
- •Многоугольные фигуры
- •Свойства площади
- •Квадрируемость фигуры
- •Критерии квадрируемости
- •Криволинейная трапеция
- •Параметрически заданная кривая
- •Площадь фигуры в полярной системе координат
- •Понятие кривой на плоскости и в пространстве
- •Длина дуги кривой
- •Объем тела вращения
- •Дифференцирование под знаком интеграла
- •Теория
- •Примеры
- •Вопросы для самопроверки перед коллоквиумом
- •45 Численные методы
- •Метод бисекции
- •Нахождение всех корней полинома
- •Метод Ньютона
- •Метод золотого сечения
- •Градиентный спуск
- •Приближенное вычисление определенных интегралов
- •Метод прямоугольников
- •Метод трапеций
- •Метод Симсона
- •Различные равенства и неравенства
- •Тригонометрические тождества
- •Классика
- •Гиперболические функции
- •Предел числовой последовательности
- •Функции
- •Функции нескольких переменных
- •Таблица производных
- •Ряды Маклорена
- •Таблица неопределенных интегралов
- •Методы интегрирования
- •Интегрирование рациональных функций
- •Метод неопределенных коэффициентов
- •Метод Остроградского
- •Рационализация интегралов
- •Обобщенная формула интегрирования по частям
- •Более нестандартные примеры
- •Определенные и несобственные интегралы
3. ( ) = |
( ) |
. Поскольку ( ) ̸= 0, то по теореме об устойчивости знака ( + ) ̸= 0 для |
||||||||||||||||||||||||
( ) |
||||||||||||||||||||||||||
малых |
. Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
= ( + ) |
− |
( ) = |
( + |
) |
|
|
( ) |
= |
( + |
) ( ) − ( + ) ( ) |
= |
|
|
|||||||||||||
( + |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
− ( ) |
|
( ) ( + ) |
|
|
||||||||||||||||
|
|
= |
( ( + |
) ( ) − ( ) ( )) − ( ( + |
) ( ) − ( ) ( )) |
= |
|
|
||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
( ) ( + ) |
|
|
|
|
|
|
|
|
|||||||
|
= |
( )( ( + ) − ( )) − ( )( ( + |
|
) − ( )) |
= |
( )Δ − ( )Δ |
. |
|||||||||||||||||||
|
|
|
|
|
|
|
|
( ) ( + |
|
) |
|
|
|
( ) ( + |
) |
|||||||||||
Таким образом, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
( ) |
|
|
− ( ) |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
= |
|
|
|
|
. |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
( ) ( + ) |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Снова используя непрерывность и беря предел правой и левой частей, получаем, что
′( ) = ( ) ′( ) − ( ) ′( ).
2( )
[:|||||:]
2 Функции, заданные параметрически
= ( ) |
|
Если зависимость функции от переменной задана посредством , т.е. { = ( ) |
, где |
T, то будем говорить, что = ( ) задана параметрически, причем — параметр.
Теорема 16.4 (дифференцирование функций, заданных параметрически). Пусть и
дифференцируемы на T и в некоторой окрестности 0 существует функция, обратная к, т.е. = −1( ). Тогда ′( ) = ′′(( )) .
Доказательство. Заметим, что = ( ) = ( −1( )). Имеем: = ′( ) , = ′( ) . По-
скольку = ′( ) , то |
|
|
= |
′( ) |
. |
[:|||||:] |
|
|
|||||
|
|
′( ) |
|
Часть 17
Теоремы о дифференцируемых функциях II
Будем говорить, что = ( ) возрастает (убывает) в точке , если U( ) : U( ) <
( ) < ( ) ( ( ) > ( )), а > ( ) > ( ) ( ( ) < ( )). Функция = ( ) имеет
локальный максимум (минимум) в точке , если U′( ) : U′( ) ( ) < ( ) ( ( ) >
( )).
Если в определениях использовать нестрогие знаки, то функция не убывает (не возрастает), а локальный максимум/минимум называются нестрогими.
Функция = ( ) имеет локальный экстремум в некоторой точке, если она имеет локальный минимум или локальный максимум в данной точке.
50
Теорема 17.1 (достаточное условие возрастания/убывания в точке). Если = ( ) дифференцируема в точке , а ′( ) > 0 ( ′( ) < 0), то ( ) возрастает (убывает) в точке
.
Доказательство. Пусть ′( ) > 0. Другой случай рассматривается аналогично.
( |
) = |
→ |
|
|
− |
|
|
0 ( |
|
) |
|
0 : : 0 |
|
|
| |
|
− |
|
| |
|
|
|
|
|
− |
− |
( |
) |
|
||||||||
′ |
|
lim |
( ) |
( ) |
|
> |
|
|
|
|
> |
|
|
< |
|
|
|
|
|
|
< |
|
|
|
( ) |
( ) |
|
′ |
|
< . |
|||||||
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
( ) |
|
|
( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
( ) |
|
( ) |
|
|
|
|
|
|||||
|
|
|
|
= ′( ) |
|
|
− |
|
|
− |
|
′( ) < ′( ) |
|
0 < |
|
|
|
− |
|
< 2 ′( ). |
|
|
|
||||||||||||||
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( ) |
|
|
( ) |
|
|
|
|
|
|
|
|
|
|
||
Из чего вытекает требуемое, |
т.к. для выполнения |
0 < |
|
|
|
− |
|
нужно, чтобы знак числителя |
|||||||||||||||||||||||||||||
совпадал со знаком знаменателя. |
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
[:|||||:] |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Важно отметить, что условие из теоремы 17.1 не является необходимым для возрастания (убывания) функции ( ) в точке . Например, ( ) = 3. Тогда ′( ) = 3 2 ′(0) = 0, но( ), очевидно, возрастает в точке 0.
Теорема 17.2 (Теорема Ферма). Пусть ( ) дифференцируема в точке и ( ) имеет локальный экстремум в этой точке. Тогда ′( ) = 0.
Доказательство. Если ( ) |
имеет локальный экстремум в точке , то она не убывает и не |
|
возрастает в точке . Тогда |
по теореме 17.1 не может выполняться ′( ) > 0 |
или ′( ) < 0. |
Значит, ′( ) = 0. |
|
[:|||||:] |
Заметим, что данное условие является лишь необходимым, но не достаточным для существования экстремума в точке. В качестве примера опять-таки можно привести ( ) = 3 при
= 0.
Геометрический смысл данной теоремы состоит в том, что если дифференцируемая функция ( ) имеет локальный экстремум в точке , то касательная в этой точке параллельна оси абсцисс.
Теорема 17.3 (Теорема Ролля). Если выполнено:
1.( ) C[ , ].
2.( ) дифференцируема на ( , ).
3.( ) = ( ).
Тогда ( , ) : ′( ) = 0.
Доказательство. Т.к. ( ) C[ , ], то по второй теореме Вейерштрасса она достигает на [ , ] своего наибольшего значения и наименьшего значения .
Если = , то ( ) = ′( ) = 0 ( , ).
Если > , то хотя бы один из всех локальных экстремумов достигается внутри ( , ) в некоторой точке . По теореме Ферма ′( ) = 0.
[:|||||:]
51
Т.к. дифференцируемая функция является непрерывной, то вместо условия 1 достаточно требовать лишь непрерывность слева в и справа в . Однако полностью отказаться от условия непрерывности в теореме нельзя. Например:
|
( ) = {0, |
если = 1. |
|
|
, |
если 0 6 < 1, |
|
Условия |
2 и 3, очевидно, выполняются, но не существует такой , |
что ′( ) = 0. Это |
|
происходит |
потому, что данная функция терпит разрыв в точке = 1. |
|
Геометрический смысл данной теоремы в том, что существует точка на ( , ), касательная в которой параллельна оси абсцисс.
Часть 18
Теоремы о дифференцируемых функциях III
Теорема 18.1 (Теорема Лагранжа). Если выполнено:
1.( ) C[ , ].
2.( ) дифференцируема на ( , ).
|
( , ) |
, для которой |
( ) |
− |
( ) = ′( )( |
− |
) |
(иногда |
|
записывают как |
||
Тогда |
|
|
|
|
|
|
|
|||||
+ Θ( − ), где 0 < Θ < 1). |
|
|
|
|
|
|
|
|
|
|
||
Доказательство. Рассмотрим функцию ( ) = ( ) − |
( )− ( ) |
· ( − ). Эта функция непре- |
||||||||||
− |
|
|
рывна (как композиция непрерывных функций) и дифференцируема (как композиция дифференцируемых функций). Также, ( ) = ( ) − 0 = ( ) и ( ) = ( ) − ( ) + ( ) = ( ), т.е. ( ) = ( ). Значит, для данной функции выполнены все условия теоремы Ролля. Тогда
|
|
( , ) : ′( ) = 0 = ′( ) |
|
( )− ( ) |
|
( ) |
|
( ) = ′( )( |
|
). |
[:|||||:] |
||||
|
− − |
|
− |
− |
|||||||||||
|
|
|
|
|
|
|
|
|
|||||||
|
Геометрический смысл данной теоремы в том, что |
( , ), |
|
||||||||||||
такая, что касательная в этой точке будет параллельна хорде, соеди- |
|
||||||||||||||
няющей ( ; ( )) и ( ; ( )). |
|
|
|
|
|
|
|
|
|
|
|
||||
Следствие 18.2. Если ( , ) ′( ) > 0 ( ′( ) < 0), то ( ) не |
|
||||||||||||||
убывает (не возрастает) на ( , ). |
|
|
|
|
|
|
|
|
|
||||||
Доказательство. Рассмотрим отрезок [ 1, 2] ( , ). На этом отрез- |
|
||||||||||||||
ке выполнены все условия теоремы Лагранжа, тогда |
( 2)− ( 1) |
|
= ′( ). |
|
|||||||||||
Т.к. 2 > 1 |
|
|
|
|
|
|
|
2− 1 |
|
|
|
|
|||
и ′( ) > 0, то ( 2) > ( 1). В случае же, когда ′( ) < 0, |
|
||||||||||||||
выполняется ( 2) < ( 1). |
|
|
|
|
|
|
|
|
[:|||||:] |
||||||
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Следствие 18.3 (критерий постоянства). Для того, чтобы непрерывная функция ( ) =на [ , ] необходимо и достаточно, чтобы ′( ) = 0 [ ; ].
52