Определение 1.: Функция F(x) называется первообразной для функции ƒ(x) на некотором отрезке [a,b], если для всех из этого отрезка выполняется равенство:
F'(x)= ƒ(x).
Пример: F(x)=cos(x)+C; ƒ(x)=sin(x);
Теорема1. Если F1(x) и F2(x) какие-либо первообразные для функции ƒ(x) на отрезке [a,b], то выполняется соотношение:
F1(x) – F2(x) = C;
Доказательство.
Так как F1(x) первообразная для функции ƒ(x), то F1'(x)= ƒ(x).
Так как F2(x) первообразная для функции ƒ(x), то F2'(x)= ƒ(x).
Вычтем из первого равенства второе:
F1' (x) – F2'(x) = 0,
(F1(x) – F2(x))' = 0;
Обозначим F1(x) – F2(x)=φ(x), тогда φ'(x)=0;
Покажем, что φ(x) принимает постоянные значения.
Применим φ(x) на отрезке [a,x] теорему Лагранжа.
φ(x) – φ(a) = φ'(ξ)(x-a), a< ξ <x ,
так как φ'(ξ)=0, то φ(x) – φ(a) =0, то есть φ(x) = φ(a).
φ(a) = С, φ(x) =С;
F1(x) – F2(x) = C;
Замечание:из теоремы следует, что, если F(x) первообразная для ƒ(x), то (F(x)+С ) тоже первообразная.
Определение 2.: Совокупность первообразных, т.е. (F(x)+С), для ƒ(x) на [a,b] называется неопределенным интегралом от f(x) и обозначается:
5. ∫k·ƒ(x)dx = k·∫ƒ(x)dx, где k – постоянный множитель.
Доказательство.
(∫k·ƒ(x)dx)' = k·ƒ(x);
(k·∫ƒ(x)dx)' = k·(∫ƒ(x)dx)' = k·∫ƒ(x);
6. Формулы интегрирования не меняет свой вид при подстановке вместо независимой переменной x некоторой функции u(x), т.е. если ∫ƒ(x)dx = F(x) + C;
∫ƒ(u)du = F(u) + C;
Доказательство.
Имеем: ∫ƒ(x)dx = F(x) + C;
F'(x) = ƒ(x),
Так как дифференциал первого порядка обладает свойством инвариантности, т.е. форма его не зависит от того является ли x независимой переменной или некоторой функцией
§2. Замена переменной в неопределенном интеграле (метод подстановки).
Теорема.: Пусть функция x = φ(t) – строго монотонная и непрерывно дифференцируемая на некотором интервале функции φ(t). Если функция ƒ(x) интегрируема на соответствующем интервале изменений x, то имеет место равенство:
∫ƒ(x)dx = ∫ƒ(φ(t))·φ'(t)dt
Доказательство.
Определени1: Если функция ƒ(x) непрерывна на отрезке [a,b], то существует неопределенный интеграл ∫ƒ(x)dx, а функция ƒ(x) в этом случае называется интегрируемой.
По определению1 неопределенного интеграла
∫ƒ(x)dx = F(x) + C, причем F'(x) = ƒ(x)
Покажем, что функция F(φ(t)) является первообразной для функции: ƒ(φ(t))·φ'(t).
Для этого найдем (F(φ(t)))' = |по правилу дифференцирования сложной функции| =
= F'(φ(t))·φ'(t);
Но F'(φ(t)) = ƒ (φ(t)), тогда
(F(φ(t)))' = ƒ(φ(t))·φ'(t)
∫ƒ(φ(t))·φ'(t) dt = F(φ(t)) + C = F(x) + C = ∫ƒ(x) dx.
∫ƒ(x) dx = ∫ƒ(φ(t)) ·φ'(t) dt.
Пример:
= | ex +1 = t2 ; = t ; ex = t2 – 1 ; x = ln(t2 –1 ) ; dx = dt | =