Проанализируйте ошибку в доказательстве, где утверждается, что любая функция f, непрерывная на отрезке и имеющая производную в каждой точке, обязательно удовлетворяет равенству f(b)-f(a)=f'(c)(b-a) для некоторого c — укажите, какое теорема требуется, когда она применима, и перепишите верное утверждение
Ошибка в доказательстве — упущены нужные условия теоремы о среднем значении: требуется, чтобы функция была непрерывна на [a,b][a,b][a,b] и дифференцируема на (a,b)(a,b)(a,b) (дифференцируемость в концах отрезка не нужна). Для вывода используется теорема Ролля. Теорема Ролля: если hhh непрерывна на [a,b][a,b][a,b], дифференцируема на (a,b)(a,b)(a,b) и h(a)=h(b)h(a)=h(b)h(a)=h(b), то существует c∈(a,b)c\in(a,b)c∈(a,b) такое, что h′(c)=0h'(c)=0h′(c)=0. Верное утверждение (теорема Лагранжа о среднем значении): если fff непрерывна на [a,b][a,b][a,b] и дифференцируема на (a,b)(a,b)(a,b), то существует c∈(a,b)c\in(a,b)c∈(a,b) такое, что f(b)−f(a)=f′(c) (b−a).
f(b)-f(a)=f'(c)\,(b-a). f(b)−f(a)=f′(c)(b−a). Краткое доказательство (через Ролля): положим k=f(b)−f(a)b−a\displaystyle k=\frac{f(b)-f(a)}{b-a}k=b−af(b)−f(a) и g(x)=f(x)−kxg(x)=f(x)-kxg(x)=f(x)−kx. Тогда ggg непрерывна на [a,b][a,b][a,b], дифференцируема на (a,b)(a,b)(a,b) и g(a)=g(b)g(a)=g(b)g(a)=g(b), поэтому по Роллю существует c∈(a,b)c\in(a,b)c∈(a,b) с g′(c)=0g'(c)=0g′(c)=0. Но g′(c)=f′(c)−kg'(c)=f'(c)-kg′(c)=f′(c)−k, откуда f′(c)=kf'(c)=kf′(c)=k, что и даёт нужное равенство.
Теорема Ролля: если hhh непрерывна на [a,b][a,b][a,b], дифференцируема на (a,b)(a,b)(a,b) и h(a)=h(b)h(a)=h(b)h(a)=h(b), то существует c∈(a,b)c\in(a,b)c∈(a,b) такое, что h′(c)=0h'(c)=0h′(c)=0.
Верное утверждение (теорема Лагранжа о среднем значении): если fff непрерывна на [a,b][a,b][a,b] и дифференцируема на (a,b)(a,b)(a,b), то существует c∈(a,b)c\in(a,b)c∈(a,b) такое, что
f(b)−f(a)=f′(c) (b−a). f(b)-f(a)=f'(c)\,(b-a).
f(b)−f(a)=f′(c)(b−a).
Краткое доказательство (через Ролля): положим k=f(b)−f(a)b−a\displaystyle k=\frac{f(b)-f(a)}{b-a}k=b−af(b)−f(a) и g(x)=f(x)−kxg(x)=f(x)-kxg(x)=f(x)−kx. Тогда ggg непрерывна на [a,b][a,b][a,b], дифференцируема на (a,b)(a,b)(a,b) и g(a)=g(b)g(a)=g(b)g(a)=g(b), поэтому по Роллю существует c∈(a,b)c\in(a,b)c∈(a,b) с g′(c)=0g'(c)=0g′(c)=0. Но g′(c)=f′(c)−kg'(c)=f'(c)-kg′(c)=f′(c)−k, откуда f′(c)=kf'(c)=kf′(c)=k, что и даёт нужное равенство.