M1686. О равенстве непрерывных на отрезке функций

Задача из журнала «Квант» (1999 год, 3 выпуск)

Условие

Функции $f(x)$ и $g(x)$ непрерывны на отрезке $\left[0; 1\right]$ и удовлетворяют равенствам
$$\int\limits_{0}^{1} f(x) dx = \int\limits_{0}^{1} g(x) dx = 1$$ и $$\int\limits_{0}^{1} \sqrt{f^2(x)+g^2(x)} dx = \sqrt{2} .$$
Докажите, что $f(x) = g(x)$ на отрезке $\left[0; 1\right]$.

Для любой пары неотрицательных чисел $а$ и $b$ справедливо элементарное неравенство $a + b \leqslant \sqrt{2(a^2 + b^2)}$. При этом неравенство обращается в равенство лишь тогда, когда $a = b$. Ввиду этого и условий задачи, можно записать цепочку неравенств $$ 2 \leqslant \int\limits_{0}^{1} (|f(x)| + |g(x)|) dx \leqslant \sqrt{2} \int\limits_{0}^{1} \sqrt{f^2(x)+g^2(x)} dx = 2 .$$

Отсюда следует, что функции $f(x)$ и $g(x)$ равны и неотрицательны на отрезке $\left[0; 1\right]$.

Подобным образом читатель может доказать аналогичное утверждение для трех (и более) функций: если $f(x)$, $g(x)$ и $\varphi(x)$ непрерывны на отрезке $\left[0; 1\right]$ и $$\int\limits_{0}^{1} f(x) dx = \int\limits_{0}^{1} g(x) dx = \int\limits_{0}^{1} \varphi(x) = 1 ,$$ а
$$\int\limits_{0}^{1} \sqrt{f^2(x)+g^2(x)+\varphi^2(x)} dx = \sqrt{3}, $$ то $f(x) = g(x) = \varphi(x)$ на $\left[0; 1\right]$.

В.Произволов

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *