Глава

Сложные задачи на неравенства

Смешанный модуль с AM-GM, Cauchy, UVW, Jensen, нормировкой, SOS-идеями и переписанными олимпиадными методами.
Войдите, чтобы сохранять решённые и закладки.

Теория

Ключевая идея

Сложная задача на неравенства редко решается одной известной формулой. Обычно нужно соединить два-три хода: нормировку, Cauchy, AM-GM, Jensen, UVW, замену или оценку отдельного выражения, которая затем телескопируется.

Основные факты

Главные инструменты этого модуля: Engel form, AM-GM с выбором множителей, Jensen для выпуклых и вогнутых функций, Schur/UVW для симметрических выражений, а также SOS-идеи: сведение разности к сумме квадратов или к произведению неотрицательных множителей.

Когда применять метод

Если стандартный метод даёт слабую оценку, ищите предварительную замену или дополнительную локальную оценку. Если выражение циклическое с корнями, попробуйте доказать одно неравенство для пары переменных и просуммировать его. Если есть несколько чисел с разностями, используйте сумму квадратов попарных разностей.

Как распознать метод

Симметрия подсказывает UVW; дроби с квадратами - Cauchy; фиксированная сумма и корни - Jensen; произведения и степени - AM-GM; условия про расстояния между числами - попарные разности; выражения вида \((x-y)\sqrt{\cdots}\) - сравнение корня с линейным выражением.

Типичные ошибки

Частая ошибка - применить сильную теорему без проверки области или направления. Ещё одна ошибка - получить верную, но слишком слабую оценку. В сложных задачах важно заранее понимать, какая величина должна телескопироваться или где должен появиться equality case.

Мини-чеклист

1. Есть ли нормировка? 2. Какой стандартный метод даёт первый шаг? 3. Где скрыт equality case? 4. Нужно ли доказать локальную оценку? 5. Суммируется ли результат в нужную форму? 6. Не слишком ли слаба полученная оценка?

Примеры

Пример 1. Cauchy с фиксированной суммой знаменателей

Задача. При \(a+b+c=3\) докажите \(\sum\frac{a^2}{1+a}\ge\frac32\).

Решение.

По Cauchy, \(\sum\frac{a^2}{1+a}\ge\frac{(a+b+c)^2}{3+a+b+c}=\frac{9}{6}=\frac32\).

Пример 2. Jensen после нормировки

Задача. При \(a+b+c=3\) докажите \(\sum\frac1{a^2+a+1}\ge1\).

Решение.

Функция \(f(x)=1/(x^2+x+1)\) выпукла при \(x\ge0\). По Jensen \(\frac13\sum f(a)\ge f(1)=1/3\).

Пример 3. UVW-ход

Задача. Докажите \((a^2+b^2+c^2)^2\ge3abc(a+b+c)\).

Решение.

Имеем \(a^2+b^2+c^2\ge ab+bc+ca=q\). Кроме того, \(q^2\ge3abc(a+b+c)\). Поэтому \((\sum a^2)^2\ge q^2\ge3abc(a+b+c)\).

Пример 4. Schur как смешанный метод

Задача. Докажите \(\sum a^4+abc(a+b+c)\ge\sum_{\mathrm{sym}}a^3b\).

Решение.

Это Schur degree \(4\). По UVW достаточно проверить \(b=c\) и границу: при \(b=c=1\), \(a=t\), разность равна \(t^2(t-1)^2\ge0\); на границе получается \((a-b)^2(a^2+ab+b^2)\ge0\).

Пример 5. Локальная оценка с корнем

Задача. Докажите: если \(u,v>0\), то \((v-u)\sqrt{u^2+3v^2}\ge v^2-u^2\).

Решение.

Если \(v\ge u\), то \(\sqrt{u^2+3v^2}\ge u+v\). Если \(v\le u\), то \(\sqrt{u^2+3v^2}\le u+v\), а множитель \(v-u\) отрицателен, поэтому знак меняется. В обоих случаях получаем нужное.

Пример 6. Попарные разности

Задача. Для чисел \(x_1,\ldots,x_n\) докажите \(\sum_{i

Решение.

При раскрытии \(\sum_{i

Пример 7. Степенной зажим

Задача. Докажите при \(n>2\): \((n-2)^{n+2}(n+2)^{n-2}

Решение.

Так как \(n-2

Пример 8. Дискриминантный ход

Задача. Если \(A x^2+Bx+C>0\) при всех \(x\), что можно сказать о дискриминанте?

Решение.

Необходимо \(A>0\) и \(B^2-4AC<0\). В сложных задачах часто строят другой квадратный трёхчлен с тем же дискриминантом.

Задачи

Задачи

#10.1
#10.1

Дроби с суммой 3

Constraints 9 класс 10 класс ★★★★★

Пусть \(a,b,c\ge0\), \(a+b+c=3\). Докажите \[\frac{a^2}{1+a}+\frac{b^2}{1+b}+\frac{c^2}{1+c}\ge\frac32.\]

Детали
Задача: ALG-B2-M10-P001
Сложность: Уровень 5 из 5
Tag: Constraints
Grade: 9 класс, 10 класс
#10.2
#10.2

Три квадратичных знаменателя

Constraints 9 класс 10 класс ★★★★★

Пусть \(a,b,c\ge0\), \(a+b+c=3\). Докажите \[\frac1{a^2+a+1}+\frac1{b^2+b+1}+\frac1{c^2+c+1}\ge1.\]

Детали
Задача: ALG-B2-M10-P002
Сложность: Уровень 5 из 5
Tag: Constraints
Grade: 9 класс, 10 класс
#10.3
#10.3

Квадраты против abc

Mixed Method 9 класс 10 класс ★★★★★

Докажите при \(a,b,c\ge0\): \[(a^2+b^2+c^2)^2\ge3abc(a+b+c).\]

Детали
Задача: ALG-B2-M10-P003
Сложность: Уровень 5 из 5
Tag: Mixed Method
Grade: 9 класс, 10 класс
#10.4
#10.4

Schur четвёртой степени

UVW 9 класс 10 класс ★★★★★

Докажите при \(a,b,c\ge0\): \[\sum a^4+abc(a+b+c)\ge\sum_{\mathrm{sym}}a^3b.\]

Детали
Задача: ALG-B2-M10-P004
Сложность: Уровень 5 из 5
Tag: UVW
Grade: 9 класс, 10 класс
#10.5
#10.5

Квадраты в знаменателях

Cauchy 9 класс 10 класс ★★★★★

Докажите при \(a,b,c>0\): \[\frac{a^2}{b^2+c^2}+\frac{b^2}{c^2+a^2}+\frac{c^2}{a^2+b^2}\ge\frac32.\]

Детали
Задача: ALG-B2-M10-P005
Сложность: Уровень 5 из 5
Tag: Cauchy
Grade: 9 класс, 10 класс
#10.6
#10.6

Две фиксированные оценки

Constraints 9 класс 10 класс ★★★★★

Пусть \(a,b,c\ge0\), \(a+b+c=3\). Докажите \[a^2+b^2+c^2+ab+bc+ca\ge6abc.\]

Детали
Задача: ALG-B2-M10-P006
Сложность: Уровень 5 из 5
Tag: Constraints
Grade: 9 класс, 10 класс
#10.7
#10.7

Произведение парных сумм

Normalisation 9 класс 10 класс ★★★★★

Пусть \(a,b,c\ge0\), \(a+b+c=3\). Докажите \[(a+b)(b+c)(c+a)\le8.\]

Детали
Задача: ALG-B2-M10-P007
Сложность: Уровень 5 из 5
Tag: Normalisation
Grade: 9 класс, 10 класс
#10.8
#10.8

Фиксированная попарная сумма

Constraints 9 класс 10 класс ★★★★★

Пусть \(a,b,c>0\), \(ab+bc+ca=3\). Докажите \(abc\le1\).

Детали
Задача: ALG-B2-M10-P008
Сложность: Уровень 5 из 5
Tag: Constraints
Grade: 9 класс, 10 класс
#10.9
#10.9

Треугольная дробь

Substitution 9 класс 10 класс ★★★★★

Пусть \(a,b,c\) - стороны треугольника. Докажите \[\frac{a}{b+c-a}+\frac{b}{c+a-b}+\frac{c}{a+b-c}\ge3.\]

Детали
Задача: ALG-B2-M10-P009
Сложность: Уровень 5 из 5
Tag: Substitution
Grade: 9 класс, 10 класс
#10.10
#10.10

Сумма четвёртых степеней

Mixed Method 9 класс 10 класс ★★★★★

Докажите при \(a,b,c\ge0\): \[a^4+b^4+c^4+a b c(a+b+c)\ge a^3b+b^3c+c^3a+a^3c+b^3a+c^3b.\]

Детали
Задача: ALG-B2-M10-P010
Сложность: Уровень 5 из 5
Tag: Mixed Method
Grade: 9 класс, 10 класс
#10.11
#10.11

Корни с запасом

Jensen 9 класс 10 класс ★★★★★

Пусть \(a,b,c\ge0\), \(a+b+c=3\). Докажите \[\sqrt{a}+\sqrt{b}+\sqrt{c}\le3+\frac12\left((a-1)^2+(b-1)^2+(c-1)^2\right).\]

Детали
Задача: ALG-B2-M10-P011
Сложность: Уровень 5 из 5
Tag: Jensen
Grade: 9 класс, 10 класс
#10.12
#10.12

Произведение со сдвигом

Normalisation 10 класс 11 класс ★★★★★

Пусть \(a,b,c>0\), \(abc=1\). Докажите \[(1+a)(1+b)(1+c)\ge8.\]

Детали
Задача: ALG-B2-M10-P012
Сложность: Уровень 5 из 5
Tag: Normalisation
Grade: 10 класс, 11 класс
#10.13
#10.13

Циклические квадратные знаменатели

Дроби 10 класс 11 класс ★★★★★

Докажите при \(a,b,c>0\): \[\frac{a^2}{a^2+ab+b^2}+\frac{b^2}{b^2+bc+c^2}+\frac{c^2}{c^2+ca+a^2}\ge\frac12.\]

Детали
Задача: ALG-B2-M10-P013
Сложность: Уровень 5 из 5
Tag: Дроби
Grade: 10 класс, 11 класс
#10.14
#10.14

Четвёртые степени против смешанных членов

AM-GM 10 класс 11 класс ★★★★★

Докажите при \(a,b,c\ge0\): \[a^4+b^4+c^4\ge abc(a+b+c).\]

Детали
Задача: ALG-B2-M10-P014
Сложность: Уровень 5 из 5
Tag: AM-GM
Grade: 10 класс, 11 класс
#10.15
#10.15

Нормированное Schur

Constraints 10 класс 11 класс ★★★★★

Пусть \(a,b,c\ge0\), \(a+b+c=3\). Докажите \[a^3+b^3+c^3+6abc\ge ab+bc+ca.\]

Детали
Задача: ALG-B2-M10-P015
Сложность: Уровень 5 из 5
Tag: Constraints
Grade: 10 класс, 11 класс
#10.16
#10.16

Смешанная дробная сумма

Cauchy 10 класс 11 класс ★★★★★

Пусть \(a,b,c\ge0\), \(a+b+c=3\). Докажите \[\sum_{\mathrm{cyc}}\frac{a^2+1}{a+b+1}\ge2.\]

Детали
Задача: ALG-B2-M10-P016
Сложность: Уровень 5 из 5
Tag: Cauchy
Grade: 10 класс, 11 класс
#10.17
#10.17

Телескопирование с корнями

Telescoping 10 класс 11 класс ★★★★★

Пусть \(x,y,z>0\). Докажите \[(y-x)\sqrt{x^2+3y^2}+(z-y)\sqrt{y^2+3z^2}+(x-z)\sqrt{z^2+3x^2}\ge0.\]

Детали
Задача: ALG-B2-M10-P017
Сложность: Уровень 5 из 5
Tag: Telescoping
Grade: 10 класс, 11 класс
Source: Inspired by regional olympiad method · 2023 · Класс 10 · Задача 10
#10.18
#10.18

Два квадратных трёхчлена

Discriminant 10 класс 11 класс ★★★★★

Пусть \(A,B,C\) - действительные числа, и \[A x^2+(B-C)x+C>0\] при всех действительных \(x\). Докажите, что \[C x^2-(B+C)x+(A+B)>0\] при всех действительных \(x\).

Детали
Задача: ALG-B2-M10-P018
Сложность: Уровень 5 из 5
Tag: Discriminant
Grade: 10 класс, 11 класс
Source: Inspired by regional olympiad method · 2010 · Класс 10 · Задача 5
#10.19
#10.19

Степенной зажим

Теорема Эйлера 10 класс 11 класс ★★★★★

Докажите при натуральном \(n>2\): \[(n-2)^{n+2}(n+2)^{n-2}

Детали
Задача: ALG-B2-M10-P019
Сложность: Уровень 5 из 5
Tag: Теорема Эйлера
Grade: 10 класс, 11 класс
Source: Inspired by regional olympiad method · 2012 · Класс 11 · Задача 5
#10.20
#10.20

Разнесённые числа

Constraints 10 класс 11 класс ★★★★★

Пять действительных чисел \(u_1,\ldots,u_5\) таковы, что любые два из них отличаются не менее чем на \(2\). Для некоторого действительного \(m\) выполнено \[\sum_{i=1}^5u_i=3m,\qquad \sum_{i=1}^5u_i^2=3m^2.\] Докажите, что \(m^2\ge\frac{100}{3}\).

Детали
Задача: ALG-B2-M10-P020
Сложность: Уровень 5 из 5
Tag: Constraints
Grade: 10 класс, 11 класс
Source: Inspired by final olympiad method · 2012 · Класс 10 · Задача 3

Лестницы

Опубликованных лестниц пока нет.
Предыдущая глава
Следующая глава