Раздел II. Дифференциальное исчисление функций одной переменной — § 6. Теоремы Ролля, Лагранжа и Коши

Демидович — задача 1246.1

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.

Задача 1246.1

Пусть f(x)∈C(1)(−∞,+∞)f(x)\in C^{(1)}(-\infty,+\infty) и для любых xx и hh справедливо тождество:f(x+h)−f(x)≡hf′(x)f(x+h)-f(x)\equiv hf'(x)Доказать, чтоf(x)=ax+bf(x)=ax+bгде aa и bb — постоянные.

Доказательство

По условию тождество справедливо для любых независимых вещественных xx и hh
Поменяем переменные местами: введем замену y=x+hy = x+h, тогда h=y−xh = y - x
Исходное тождество перепишется в симметричном виде
f(y)−f(x)=(y−x)f′(x)f(y) - f(x) = (y - x)f'(x)Поскольку переменные xx и yy равноправны и тождество должно выполняться для любой пары чисел, мы можем поменять их роли, получивf(x)−f(y)=(x−y)f′(y)f(x) - f(y) = (x - y)f'(y)Сложим эти два уравнения0=(y−x)f′(x)+(x−y)f′(y)0 = (y - x)f'(x) + (x - y)f'(y)Вынесем общий множитель за скобки0=(y−x)(f′(x)−f′(y))0 = (y - x)(f'(x) - f'(y))Для любого случая, когда x≠yx \ne y, первый множитель не равен нулю, на него можно смело поделитьf′(x)−f′(y)=0  ⟹  f′(x)=f′(y)f'(x) - f'(y) = 0 \implies f'(x) = f'(y)Из этого следует, что производная функции принимает одно и то же значение во всех точках числовой прямой, то есть является константой
Обозначим эту константу через aaf′(x)=af'(x) = aВ исходном тождестве положим x=0x=0, h=th=t. Тогда f(t)−f(0)=tf′(0)=atf(t)-f(0)=tf'(0)=at. Обозначив b=f(0)b=f(0) и переименовав tt в xx, получаемf(x)=ax+bf(x) = ax + bЧто и требовалось доказать

Что и требовалось доказать

Демидович № 1246.1 — решение | Высшая математика — Профиматика