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

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

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

Задача 1556

Доказать, что если функция f(x)f(x) неотрицательна, то функцияF(x)=Cf2(x)(C>0)F(x)=Cf^2(x)\qquad(C>0)имеет в точности те же точки экстремума, что и функция f(x)f(x).
Доказано:Точки максимумов и минимумов совпадают, включая строгие экстремумы.

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

Пусть точка x0x_0 является точкой локального максимума функции f(x)f(x). Тогда существует такая окрестность точки x0x_0, что для всех xx из этой окрестности выполняется неравенствоf(x)≤f(x0)f(x) \le f(x_0)Поскольку по условию функция f(x)f(x) неотрицательна, возведение в квадрат обеих частей неравенства сохраняет его знакf2(x)≤f2(x0)f^2(x) \le f^2(x_0)Умножив обе части на положительную константу CC, получимCf2(x)≤Cf2(x0)  ⟹  F(x)≤F(x0)Cf^2(x) \le Cf^2(x_0) \implies F(x) \le F(x_0)Это означает, что x0x_0 является точкой локального максимума и для функции F(x)F(x).
Докажем обратное: если x0x_0 — точка локального максимума F(x)F(x), то F(x)≤F(x0)F(x) \le F(x_0) в некоторой окрестности. ТогдаCf2(x)≤Cf2(x0)  ⟹  f2(x)≤f2(x0)Cf^2(x) \le Cf^2(x_0) \implies f^2(x) \le f^2(x_0)Извлекая квадратный корень из обеих частей (что корректно в силу неотрицательности f(x)f(x)), получаем f(x)≤f(x0)f(x) \le f(x_0), то есть x0x_0 — точка локального максимума f(x)f(x).
Для минимума используем цепочку равносильных неравенств: f(x)⩾f(x0)⟺f(x)2⩾f(x0)2⟺F(x)⩾F(x0)f(x)\geqslant f(x_0)\Longleftrightarrow f(x)^2\geqslant f(x_0)^2\Longleftrightarrow F(x)\geqslant F(x_0). Она верна благодаря неотрицательности значений ff и условию C>0C>0. Поэтому в одной и той же окрестности минимум одной функции является минимумом другой. Итак, совпадают и точки максимумов, и точки минимумов; при строгих неравенствах совпадают также строгие экстремумы.

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

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