- •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 Численные методы
- •Метод бисекции
- •Нахождение всех корней полинома
- •Метод Ньютона
- •Метод золотого сечения
- •Градиентный спуск
- •Приближенное вычисление определенных интегралов
- •Метод прямоугольников
- •Метод трапеций
- •Метод Симсона
- •Различные равенства и неравенства
- •Тригонометрические тождества
- •Классика
- •Гиперболические функции
- •Предел числовой последовательности
- •Функции
- •Функции нескольких переменных
- •Таблица производных
- •Ряды Маклорена
- •Таблица неопределенных интегралов
- •Методы интегрирования
- •Интегрирование рациональных функций
- •Метод неопределенных коэффициентов
- •Метод Остроградского
- •Рационализация интегралов
- •Обобщенная формула интегрирования по частям
- •Более нестандартные примеры
- •Определенные и несобственные интегралы
Формулу 1 также можно записать в виде |
( ) = ( ) + . |
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
( ( )) ( ) = |
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
∫ |
|
|
|
|
|
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Предположим теперь, что функция ( ) монотонна |
|
на |
[ , ]. Тогда −1( ) |
на [ , ] = |
||||||||||||||||||||||||
([ , ]), а значит справедлива следующая формула замены переменной: |
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
( ) = |
( ( )) ′( ) = −1( ) |
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
∫ |
|
|
|
|
|
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
А теперь рассмотрим пару примеров. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
Здесь R. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
1 |
2 |
1 |
|
( 2 + 2) |
|
|
1 |
1 |
|
|||||||||||||||||
∫ |
|
= |
|
∫ |
|
= |
|
|
|
∫ |
|
|
|
= { 2 + 2 |
= } = |
|
∫ |
|
= |
|
ln |
| | + = |
||||||
2 + 2 |
2 |
2 + 2 |
2 |
|
2 + 2 |
|
2 |
|
2 |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
ln |
| 2 + 2| + = |
|
|
ln( 2 |
+ 2) + . |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
2 |
∫ √
Попробуем теперь вычислить 1 − 2 . Зоркий глаз сразу заметит сходство подкоренного выражения с основным тригонометрическим тождеством, чем мы и воспользуемся:
∫ √1 − 2 = |
{ |
1 − 2 = cos2 |
|
|
|
} = ∫ |
| cos | cos = |
|
||||||||
|
|
|
|
= sin |
|
= cos |
∫ 1 + |
|
|
|
|
|
||||
|
|
|
= {т.к. 1 − sin2 > 0} = ∫ |
cos2 = |
2 |
= |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
cos 2 |
|
|
|
|
|
|
|
|
|
= |
2 |
( + |
2 sin 2 ) + = 2 |
(arcsin + √1 − 2) |
+ . |
||||||
|
|
|
|
|
|
1 |
|
1 |
1 |
|
|
|
|
|
|
Часть 36
Первообразная функция и неопределенный интеграл II
1Разложение многочлена на множители
Вдальнейшем нам часто придется иметь дело с многочленами, поэтому вкратце вспомним основные моменты по этой теме из курса линейной алгебры.
1.1 Комплексные числа
Комплексным числом называется число вида = + , где , R, а 2 = −1. Вспомним некоторые свойства этих чисел:
1 = 1 + 1 = 2 = 2 + 2 1 = 2 и 1 = 2.
= + = − — комплексное сопряжение.
102
= , 1 ± 2 = 1 ± 2 и 1 2 = 1 · 2.
= ( + )( − ) = 2 + 2 = | |2.
1 ± 2 = 1 ± 2 + ( 1 ± 2).
1 · 2 = 1 2 − 1 2 + ( 1 2 + 2 1).
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
= |
1 + 1 |
= |
( 1 + 1)( 2 − 2) |
= |
1 2 + 1 2 |
+ |
( 2 1 − 1 2) |
. |
|
|
|
|
22 + 22 |
|
22 + 22 |
|
|||||
|
2 |
|
2 + 2 |
|
|
|
|
22 + 22 |
1.2 Разложение многочлена на множители
Многочленом -ой степени ( ) называется выражение ( ) = 0 + 1 + · · · + , где
, C и ̸= 0. Корнем многочлена ( ) называется такое 0 C, что ( 0) = 0. Делением
( ) на − называется представление в виде ( ) = ( − ) −1( )+ , где −1 — многочлен
степени − 1, а — остаток. |
|
|
Теорема 36.1 (Теорема Безу). Число 0 |
является корнем ( ) т.и.т.т., когда ( ) = |
|
( − 0) −1( ), т.е. = 0. |
|
|
Доказательство. ( ) = ( − 0) −1( ) + . ( 0) = 0 = 0 + = 0. |
[:|||||:] |
Назовем 0 корнем кратности , если ( ) = ( − 0) − ( ), но ( ) ̸= ( − 0) +1 ̃ − −1( ). Если кратность корня равна 1, то такой корень называется простым.
Теорема 36.2 (Основная теорема алгебры). У многочлена ( ) ̸= всегда есть хотя бы один корень над полем комплексных чисел.
Из этой теоремы и теоремы Безу моментально следует, что |
( ) = ( − 1) |
1 |
, |
|
|
·. . .·( − ) |
∑
где = .
=1
В дальнейшем будем считать, что все упоминаемые многочлены имеют вещественные коэффициенты, если иное не оговорено явно.
Лемма 36.3. Пусть 0 = + , где ̸= 0 — корень уравнения ( ) = 0 кратности . Тогда число 0 = − также является корнем того же уравнения той же кратности.
Доказательство. Пусть ( ) = 0 + · · · + . Вычислим ( 0):
( 0) = 0 + 1 0 + · · · + 0 = 0 + 1 0 + · · · + 0 = 0 + · · · + 0 = ( 0) = 0 = 0.
[:|||||:]
Учитывая, что 0 и 0 — корни ( ), разложим этот многочлен по теореме Безу:
( ) = ( − − )( − + ) −2( ) = (( − )2 + 2) −2( ) = ( 2 − 2 + 2 + 2) −2( ).
Найдем дискриминант последнего трехчлена: = 2 − 2 − 2 = − 2 < 0. Таким образом, многочлен представляется в виде ( ) = ( 2 + + ) −2( ). Наконец, выпишем окончатель-
нет вещ. корней
ное разложение многочлена на множители, которым и будем в дальнейшем пользоваться:
( ) = ( − 1) 1 ( − 2) 2 . . . ( − ) ( 2 + 1 + 1) 1 . . . ( 2 + + ) , причем
∑ ∑
+ 2 |
= . |
=1 |
=1 |
103