ВСОШ 2025, 10 класс, задача 3

Очень сложная
Неравенства

( баллов) Положительные числа , , таковы, что и . Докажите, что из чисел , , какие-то два отличаются более чем на .

(А. Кузнецов)

Ответ

Решение. Вычтем из второго равенства первое и разложим левую часть на множители, получим:

Не умаляя общности (в условии имеется циклическая симметрия переменных , , ), будем считать, что — наибольшее из данных чисел. Тогда , но из видим, что . Значит, . Аналогично . Тогда из следует . Получается .

Обозначим , , , так что , , ; тогда принимает вид . Нам нужно доказать, что .

Заметим, что , так как это неравенство преобразуется к виду (или следует из неравенства о среднем арифметическом и среднем геометрическом). Отсюда и далее

Получаем , откуда и поэтому .

Остаётся показать, что невозможно. Если , то , и тогда в предыдущем рассуждении мы получим строгое неравенство . Значит, возможно лишь при . Рассмотрим этот случай отдельно.

В этом случае , и . Тогда

что противоречит первому равенству из условия задачи.

1

При верном решении доказано только нестрогое неравенство (то есть не рассмотрен или неверно рассмотрен случай обращения в равенство).

−2
2

Получено равенство . Если просто сделано вычитание, но нет разложения на множители, баллы не начисляются.

2
Максимум: 7

Похожие задачи

ВСОШ 2026, 11 класс, задача 10

(7 баллов) Пусть a, b, c — положительные числа, причём a+b+c=3. Докажите, что (a/b4+2b) +(b/c4+2c) +(c/a4+2a) ge 1.

ВСОШ 2025, 11 класс, задача 2

(7 баллов) Вещественные числа x, y, z таковы, что 2x>y2+z2, 2y>z2+x2, 2z>x2+y2. Докажите, что каждое из чисел x, y, z меньше 1. (Н. Агаханов)

ВСОШ 2025, 10 класс, задача 9

(7 баллов) Назовём натуральное число однобоким, если оно больше 1, и все его простые делители заканчиваются на одну и ту же цифру. (Например, числа 19 и 117=3 · 3 · 13 — однобокие, а число 682=2 · 11 · 31 — нет.) Существует ли возрастающая арифметическая прогрессия с разностью, не превышающей 2025,

ВСОШ 2026, 11 класс, задача 4

(7 баллов) Две бесконечные последовательности a1,a2,ldots и b1,b2,ldots натуральных чисел таковы, что при любых различных натуральных m и k число am-bk делится на m-k. Обязательно ли an=bn при всех натуральных n?