- •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 Численные методы
- •Метод бисекции
- •Нахождение всех корней полинома
- •Метод Ньютона
- •Метод золотого сечения
- •Градиентный спуск
- •Приближенное вычисление определенных интегралов
- •Метод прямоугольников
- •Метод трапеций
- •Метод Симсона
- •Различные равенства и неравенства
- •Тригонометрические тождества
- •Классика
- •Гиперболические функции
- •Предел числовой последовательности
- •Функции
- •Функции нескольких переменных
- •Таблица производных
- •Ряды Маклорена
- •Таблица неопределенных интегралов
- •Методы интегрирования
- •Интегрирование рациональных функций
- •Метод неопределенных коэффициентов
- •Метод Остроградского
- •Рационализация интегралов
- •Обобщенная формула интегрирования по частям
- •Более нестандартные примеры
- •Определенные и несобственные интегралы
6Площадь фигуры в полярной системе координат
Научимся находить площадь фигуры = {( , ) | 0 6 6 ( ), < < }, т.е. заданной в полярной системе координат. Здесь ( ) — непрерывная функция.
Рассмотрим произвольное разбиение = 0 < 1 < · · · < = . Определим следующие
величины: |
|
|
= |
inf |
( ), |
|
−16 6 |
|
= |
sup |
( ), |
|
−16 6 |
|
|
|
|
* = |
|
|
{( , ) | 0 6 6 , −1 < < }, |
||
|
=1 |
|
|
|
|
|
|
|
* = |
{( , ) | 0 6 6 , −1 < < }. |
|
|
=1 |
|
Геометрический смысл этих величин продемонстрирован на рисунке: — это сектор, который целиком содержится внутри данного участка под кривой, а — сектор, покрывающий этот участок. А фигуры * и * соответственно построены из этих секторов. Тогда выполняется
( *) 6 ( ) 6 ( *). Но
|
|
1 |
2 |
|
||
( *) = ∑ |
|
|
|
|
, |
|
2 |
||||||
|
=1 |
|
|
|
|
|
( *) = |
|
|
1 |
2 |
. |
|
∑ |
|
|||||
|
2 |
|
|
|||
|
=1 |
|
||||
|
|
|
|
|
|
А это не что иное, как нижняя и верхняя суммы Дарбу. А значит при диаметре разбиения,
стремящемся к 0, данные суммы сходятся к одному и тому же числу: 12 ∫ 2( ) . Значит,
( ) = |
2 |
|
2( ) . |
∫ |
|||
|
1 |
|
|
133
Часть 44
Вычисление длины дуги кривой и объема тела вращения
1Понятие кривой на плоскости и в пространстве
Пусть в R3 задана прямоугольная декартова система координат. Множество точек Γ = {( ( ); ( ); ( )) | [ , ]}, где ( ), ( ), ( ) — непрерывные на [ , ] функции, называется непрерывной кривой (кривой Жордана). Для удобства будем обозначать ¯( ) радиус-вектор с координатами ( ( ); ( ); ( )), а ^( ) точку с координатами ( ( ); ( ); ( )). Тогда можно записать Γ = {^( ) | [ , ]}.
Точка кривой Γ называется точкой самопересечения (кратной), если 1 ̸= 2 : ^( 1) =
^( 2) = . Кривую, у которой нет кратных точек, назовем простой. Если ^( ) = ^( ), то кривая называется замкнутой (контуром).
Кривая Γ = {^( ) | [ , ]} называется дифференцируемой (непрерывно дифференцируемой), если дифференцируема (непрерывно дифференцируема) ¯( ). Ориентация кривой, отвечающая увеличению параметра , называется положительной, в противном случае — отри-
цательной. |
|
|
< · · · < |
|
|
|
Рассмотрим некоторое разбиение |
= 0 |
< 1 |
= . Соединим точки ^( −1) и |
|||
^( ) отрезками прямой. В результате |
получим ломаную Λ . При этом выполняется |
ΛΓ |
= |
|||
|
|
|
Γ |
|
|
∑
|¯( ) − ¯( −1)|. Здесь ΛΓ обозначает длину. Это обозначение ( ) будем использовать и в
=1
дальнейшем.
Назовем кривую Γ спрямляемой (имеющей длину), если sup ΛΓ = Γ < ∞. Что го-
ворится в этом определении? Увеличивая число отрезков, которыми соединяются точки на кривой, мы точнее можем посчитать длину данной кривой. Устремляя диаметр разбиения к 0, мы фактически покрываем кривую бесконечным количеством маленьких отрезочков. Если это удалось сделать, значит длину кривой можно посчитать, и она как раз равна сумме длин этих отрезочков.
Лемма 44.1 (Аналог теоремы Лагранжа для вектор-функции). Пусть вектор-функция
¯ = ¯( ) непрерывна на сегменте [ , ] и дифференцируема на интервале ( , ). Тогда
( , ):
|¯( ) − ¯( )| 6 |¯′( )|( − ).
Доказательство. Если ¯( ) = ¯( ), то все доказано. Если ¯( ) ̸= ¯( ), то положим
¯ = ¯( ) − ¯( ) . |¯( ) − ¯( )|
Получаем, что |¯| = 1. Тогда
|¯( ) − ¯( )| = (¯( ) − ¯( ), ¯) = (¯( ), ¯) − (¯( ), ¯).
|
Введем функцию одного переменного ( ) = (¯( ), ¯), для которой выполнены все условия |
теоремы Лагранжа. Следовательно, ( , ) такое, что: |
|
|
|¯( ) − ¯( )| = ( ) − ( ) = ′( )( − ) = (¯′( ), ¯)( − ) 6 |¯′( )|( − ). |
1. |
Последний переход сделан, используя неравенство Коши-Буняковского и тот факт, что |¯| = |
[:|||||:] |
134
Теорема 44.2. Если кривая Γ непрерывно дифференцируема, то она спрямляема и |¯( ) −
¯( )| 6 Γ 6 max |¯′( )|( − ).
[ , ]
Доказательство. Можно записать (первый переход выполнен в соответствии с неравенством треугольника):
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¯( ) |
|
¯( ) |
∑ |
|
|
sup |
|
= sup |
∑ |
¯( ) |
|
¯( |
|
) . |
| |
|
− |
|
| 6 |
|¯( |
) − ¯( −1)| 6 |
|
ΛΓ |
|
| |
|
− |
|
−1 |
| |
|
|
|
|
=1 |
|
|
|
|
|
=1 |
|
|
|
|
|
По лемме 44.1
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑ |
|
|
|
|
|
|
∑ |
|
|
|
¯′( ) ( |
|
|
sup |
|
|
|
−1 |
) |
| |
= sup |
′ |
|
|
max |
− |
). |
|
|
=1 |
|¯( |
) − ¯( |
|
|
|¯ ( |
)( − |
−1)| 6 |
[ , ] | |
| |
|
|||
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
[:|||||:]
2Длина дуги кривой
Назовем точку кривой Γ, отвечающую значению параметра 0, особой, если ¯′( 0) = 0 или @¯′( 0). Непрерывно дифференцируемую кривую без особых точек будем называть гладкой. Определим также Γ — дугу кривой Γ = {^( ) | 6 6 } и ( ) — длину дуги Γ , отсчитываемую от = .
Теорема 44.3. Для гладкой кривой Γ функция ( ) является монотонно возрастающей,
причем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
= |
= ( ′( ))2 + ( ′( ))2 + ( ′( ))2. |
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
√ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. Рассмотрим |
дугу |
кривой, |
отвечающую параметру ( 0, 0 |
+ ): |
|
||||||||||||||||||||||||||||
|
| |
¯( |
+ |
) |
− |
¯( ) |
| 6 |
|
( |
) |
|
|
max |
| |
¯′( ) |
| |
|
, |
|
|
|
|
|
||||||||||
|
0 |
|
|
|
0 |
|
|
|
|
0 |
|
6 [ 0, 0+Δ ] |
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|¯( 0 + |
) − ¯( 0)| |
|
|
( 0) |
max |
|
|
¯′( ) |
. |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
|
|
|
6 [ 0, 0+Δ ] | |
|
| |
|
|
|
|
|
|
||||||||
Теперь перейдем к пределу при |
|
|
→ 0: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
( ) |
|
|
|
( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
0 |
|
|
|
6 |
|
|
0 6 |
|¯′( 0)|. |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Но тогда +′ ( 0) = |
¯′( 0) (т.к. |
|
|
|
> |
0) и, |
аналогично, |
′ |
( 0) |
= |
| |
¯′( 0) |
. Тогда |
′( 0) = |
|||||||||||||||||||
|
| |
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
| |
|
|
|
|¯′( 0)| > 0, т.к. кривая Γ не имеет особых точек. А это и значит, что |
( ) ↑. |
|
|
[:|||||:] |
Чтобы понять, зачем нужна данная теорема, сделаем хитрый ход. Нам нужно вычислить длину дуги кривой на отрезке [ , ], т.е. найти ( ). Можно записать ( ) = ( ) − 0 = ( ) −
( ) = ∫ ′( ) . А вот теперь можно воспользоваться только что доказанной теоремой:
|
|
|
|
|
|
|
( ) = ∫ |
′( ) = ∫ |
(¯′( )) = ∫ |
|
|
|
|
|
( ′( ))2 |
+ ( ′( ))2 + ( ′( ))2 . |
||||
|
|
|
√ |
|
|
135
В более простом случае, когда кривая задана как функция = ( ), и нужно найти длину дуги при 6 6 , можно воспользоваться следующей параметризацией:
{
= ∫ √
= 1 + ( ′( ))2 .
= ( )
Наконец, полезно знать формулу для расчета длины дуги, заданной в полярных координатах. Пусть кривая задана уравнением = ( ) ( 6 6 ), где ( ) — непрерывно дифференцируемая на [ , ] функция. Тогда длина соответствующего участка кривой равна
∫
√
= 2( ) + ( ′( ))2 .
3Объем тела вращения
Рассмотрим непрерывную и неотрицательную на [ , ] функцию = ( ). Давайте посчитаем объем тела, полученного вращением криволинейной трапеции, которую задает эта функция, вокруг оси , как показано на рисунке.
Возьмем произвольное разбиение : = 0 < 1 < · · · <= и введем следующие величины:
= sup ( ),
[ −1, ]
= inf ( ),
[ −1, ]
Ω* = [ −1, ] × { 2 + 2 6 2},
=1
Ω* = [ −1, ] × { 2 + 2 6 2}.
=1
Чтобы посчитать объем тела, мы действуем так же, как действовали при вычислении площади фигуры под графиком. Мы разбиваем данную фигуру на много-много цилиндров (неравенство 2 + 2 6 2 задает круг радиуса вокруг при фиксированном ). Затем ограничиваем одним объединением цилиндров (Ω*) фигуру сверху, а другим (Ω*) снизу, т.е. выполняется(Ω*) 6 6 (Ω*). Если теперь устремить диаметр разбиения к 0, то объемы обеих фигур сойдутся к искомому объему. А объем цилиндра мы легко можем находить:
|
|
∑ |
|
(Ω*) = |
2 |
, |
|
|
|||
|
|
=1 |
|
|
|
|
|
* |
|
∑ |
|
(Ω |
) = |
|
. |
|
|
=1 |
|
Фактически записаны нижняя и верхняя суммы Дарбу. Но тогда
→0 |
* |
→0 |
|
∫ |
|||
lim (Ω |
) = lim (Ω*) = = |
2( ) . |
136