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

Аналогичное определение дадим и для
случая, когда функция
задана не на одном интервале, а на объединении нескольких непересекающихся интервалов:
Действительно, при
Итак,
-- первообразная для
, если
-- производная от
. Например,
-- первообразная для
, поскольку
;
-- первообразная для
, поскольку
, и т. п. Тем самым, нахождение первообразной определяется как операция,
обратная к операции вычисления производной. Найти первообразную по данной
функции
означает восстановить функцию
по её производной.
Заметим теперь, что однозначно восстановить функцию
по её производной невозможно даже в таком простом случае, когда
. Действительно, вычисление производной любой постоянной даёт
, так что различить, какое значение имела постоянная
, по
невозможно. Следовательно, для
любая постоянная служит первообразной:
, где
-- произвольное число.
Ещё один такой пример:
Точно так же, любая функция вида
, где
-- произвольная постоянная, служит первообразной для
; любая функция вида
, где
-- постоянная, -- это первообразная для
и т. д. Очевидно, что имеет место такое общее утверждение.
Доказательство.
Покажем, что производная от
даёт
:
Итак, если
-- первообразная для
на
, то множество всех первообразных для
, во всяком случае, содержит все функции вида
. Покажем, что никаких других функций множество всех первообразных не содержит,
то есть что все первообразные для фиксированной функции
отличаются от
лишь постоянным на
слагаемым
.
Доказательство.
Рассмотрим разность
. Поскольку
и
, то
. Покажем, что функция
, такая что
при всех
, -- это постоянная. Для этого рассмотрим две произвольные точки
и
, принадлежащие
, и к отрезку между
и
(пусть это
) применим формулу конечных приращений
Для первообразной
это означает, что
при любом
, то есть
Например, поскольку
при всех
, где
(то есть функция
-- это первообразная для функции
на каждом из непересекающихся интервалов
области определения тангенса
), то при любых постоянных
функция
, заданная на объединении всех этих интервалов равенством
Аналогично
обстоит дело и в случае других функций, имеющих в качестве области определения
объединение непересекающихся интервалов. Например, поскольку при всех
имеет место равенство
то на объединении двух интервалов
первообразной для
будет служить любая функция
, где
а
и
-- произвольные постоянные.
Вычисление объёмов тел вращения
Объём тела, образованного вращением вокруг оси ох криволинейной
трапеции, ограниченной непрерывной линией
, отрезком оси абсцисс
и прямыми
, вычисляется по формуле
.
Объём тела, образованного вращением вокруг оси
оу криволинейной трапеции, ограниченной непрерывной линией
, отрезком оси ординат
и прямыми
, вычисляется по формуле
.
Пример 4.1. Вычислить объём тела, образованного
вращением вокруг оси ох фигуры, ограниченной линиями ![]()
Построим ограничивающие линии.
- ветвь параболы, расположенная выше оси OX, т.к.
;
- прямая, параллельная оси OY;
- ось OX.

Рис. 11.
При вращении криволинейной трапеции (рис.11) вокруг оси ох образуется тело вращения.
Т. к. по условию криволинейная
трапеция вращается вокруг оси ох, то объём тела вращения вычислим по формуле
.
По условию
, т.е.
, тогда
При этом
, т.е. ![]()
Тогда
(ед3.)
Пример 4.2. Вычислить объём тела, образованного
вращением вокруг оси оу фигуры, ограниченной линиями ![]()
Построим ограничивающие линии.
- гипербола, ветви которой расположены в I и III координатных
углах;
- прямая, параллельная оси OX;
- прямая, параллельная оси OX;
- ось OY.

Рис. 12.
При вращении криволинейной трапеции (рис.12) вокруг оси оу образуется тело вращения.
Т.к. по условию криволинейная
трапеция вращается вокруг оси оу, то объём тела вращения вычислим по формуле
.
По условию
, т.е.
, тогда
.
При этом
, т.е.
.
Тогда ![]()
(ед3.)
| На главную |