откуда следует, что G(x)=C =const Mx
, т.е.
F
1
(x) - F
2
(x) ≡ С=const Mx
.
Теорема доказана. Таким образом показано, что любые первообразные для одной
и той же функции на множестве М могут отличаться лишь на константу.
Следствие. Если F(x) - одна из первообразных для f(x) на множестве М, то любая
первообразная
Φ(х) для f(x) на М представляются в виде Φ(х)=F(x)+C, где С -
некоторая константа.
6.2. Неопределенный интеграл
Определение. Совокупность всех первообразных функций f(x) на множестве М
называется неопределенным интегралом от функции f(x) (на этом множестве) и
обозначается символом
dx)x(f
В этом обозначении знак
называется знаком интеграла, выражение f(x)dx
- подынтегральным выражением, а функция f(x) - подынтегральной функцией.
Если F(x) - одна из первообразных функций для функции f(x) на множестве
М, то в силу следствия из теоремы п.1.1.
∫
+= C)x(Fdx)x(f
(1)
где С - любая постоянная. Это равенство следует понимать как равенство двух
множеств, точнее следовало бы записать так:
}
+= C)x(Fdx)x(f
.
Пример. .
+∞<<∞−+=
∫
x Cxsindxcos
Замечание. Если F(x) - первообразная функции f(x) на множестве М, то в
формуле (1) под знаком интеграла стоит дифференциал функции F(x),
действительно:
dx)x(fdx)x(FdF =
=
.
Будем считать по определению, что
∫
≡
′
≡ )x(dFdx)x(Fdx)x(f
(2)
6.3. Основные свойства неопределенного интеграла
1
0
. Пусть функция F(x) дифференцируема на М, тогда
()
)
)
)
∫
+=
′
+= cxFdxxF èëè cxFxdF
Cправедливость этих равенств вытекает из соотношений (1), (2) п.1.2.
2
0
. Пусть функция f(x) имеет первообразную на множестве М, тогда
)
)
= dxxfdxxfd
Здесь под интегралом понимается любая первообразная F(x) функции f(x).
Справедливость этой формулы очевидна в силу определения первообразной: так
()
∫
dxxf
() ()
)
)
]
)
)()
∫∫
=
′
==+=⇒+= dxxfdxxFxdFcxFddxxfdcxFdxxf
.
3
0
. Если функции f
1
(x) и f
2
(x) имеют первообразные на М, то и функция
f
1
(x) + f
2
(x) также имеет первообразную на М, и
() ()
[]
)
)
∫
+=+ dxxfdxxfdxxfxf
2121
(1)
Это равенство означает совпадение двух множеств функций, т.е., что сумма
каких-либо первообразных для функций f
1
(x) и f
2
(x) является первообразной для