этом промежутке первообразными одной и той же функции f (x) тогда и только тогда, когда разность их значений для любого х из промежутка X постоянна:
F(x) – Ф(х) = С = const ∀x ∈ X.
Доказательство.
1. Если F(x) – некоторая первообразная функции f (x) в проме-жутке X, то, согласно определению, F '(x) = f (x) ∀x ∈ X.
Но тогда и функция Ф(х) = F(x) – С (С = const) также является первообразной функции f(x) в этом промежутке, поскольку
Ф'(х) = (F(x) – С)' = F '(x) = f (x) ∀x ∈ X .
2. Введем φ(х) = F (x) – Ф(х) и найдем ее производную
φ'(х) = (F (x) – Ф(х))' = F '(x) – Ф'(х) = f (x) – f (x) = 0 ∀x ∈ X.
Но в силу признака постоянства дифференцируемой функции, вытекающего из теоремы Лагранжа, равенство φ'(х) = 0 ∀x ∈ X означает, что φ(х) = F (x) – Ф(х) = С = const ∀x ∈ X.
Описывает ли выражение F(x) + С все первообразные функции для f (x) ?