Раздел II. Дифференциальное исчисление функций одной переменной — § 13. Задачи на максимум и минимум функций

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

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

Задача 1556

Доказать, что если функция

f(x)

неотрицательна, то функция

F(x)=Cf^2(x)\qquad(C>0)

имеет в точности те же точки экстремума, что и функция

f(x)

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

Идея

Пусть точка

x_0

является точкой локального максимума функции

f(x)

. Тогда существует такая окрестность точки

x_0

, что для всех

x

из этой окрестности выполняется неравенство

f(x) \le f(x_0)

Поскольку по условию функция

f(x)

неотрицательна, возведение в квадрат обеих частей неравенства сохраняет его знак

f^2(x) \le f^2(x_0)

Умножив обе части на положительную константу

C

, получим

Cf^2(x) \le Cf^2(x_0) \implies F(x) \le F(x_0)

Это означает, что

x_0

является точкой локального максимума и для функции

F(x)

.
Докажем обратное: если

x_0

— точка локального максимума

F(x)

, то

F(x) \le F(x_0)

в некоторой окрестности. Тогда

Cf^2(x) \le Cf^2(x_0) \implies f^2(x) \le f^2(x_0)

Извлекая квадратный корень из обеих частей (что корректно в силу неотрицательности

f(x)

), получаем

f(x) \le f(x_0)

, то есть

x_0

— точка локального максимума

f(x)

Проверка

Абсолютно аналогичные рассуждения применимы и для точки локального минимума (с заменой знака неравенства на противоположный). Таким образом, множества точек экстремума у функций

f(x)

F(x)

полностью совпадают.

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