Определения

Среднее арифметическое nn чисел a1,a2,,ana_1, a_2, \ldots, a_n:

A=a1+a2++annA = \frac{a_1 + a_2 + \ldots + a_n}{n}

Для двух чисел: A=a+b2A = \dfrac{a + b}{2}.

Среднее геометрическое nn положительных чисел:

G=a1a2annG = \sqrt[n]{a_1 \cdot a_2 \cdot \ldots \cdot a_n}

Для двух чисел: G=abG = \sqrt{ab}.


Неравенство средних (AM ≥ GM)

Здесь AM (arithmetic mean) — среднее арифметическое, GM (geometric mean) — среднее геометрическое. Неравенство: для любых двух положительных чисел a>0a > 0, b>0b > 0:

a+b2ab\frac{a + b}{2} \geq \sqrt{ab}

Или эквивалентно:

a+b2aba + b \geq 2\sqrt{ab}

Равенство достигается тогда и только тогда, когда a=ba = b.

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

(ab)20(\sqrt{a} - \sqrt{b})^2 \geq 0

a2ab+b0a - 2\sqrt{ab} + b \geq 0

a+b2aba + b \geq 2\sqrt{ab}

a+b2ab\dfrac{a+b}{2} \geq \sqrt{ab} — ч.т.д.


Применение в задачах ЕГЭ

Минимум суммы при фиксированном произведении

Задача. Найти минимальное значение f(x)=x+4xf(x) = x + \dfrac{4}{x} при x>0x > 0.

По неравенству AM ≥ GM:

x+4x2x4x=24=4x + \frac{4}{x} \geq 2\sqrt{x \cdot \frac{4}{x}} = 2\sqrt{4} = 4

Минимум равен 4, достигается при x=4xx = \dfrac{4}{x}, то есть x2=4x^2 = 4, x=2x = 2 (так как x>0x > 0).

Проверка: f(2)=2+42=2+2=4f(2) = 2 + \frac{4}{2} = 2 + 2 = 4. ✓


Максимум произведения при фиксированной сумме

Задача. Найти максимум P=xyP = xy при условии x+y=10x + y = 10, x,y>0x, y > 0.

По AM ≥ GM: x+y2xy\dfrac{x+y}{2} \geq \sqrt{xy}, то есть 102P\dfrac{10}{2} \geq \sqrt{P}, откуда P25P \leq 25.

Максимум P=25P = 25 достигается при x=y=5x = y = 5.


Для трёх чисел

a+b+c3abc3\frac{a + b + c}{3} \geq \sqrt[3]{abc}

Равенство при a=b=ca = b = c.

Задача. Найти минимум f=x+y+1xyf = x + y + \dfrac{1}{xy} при x,y>0x, y > 0.

По AM ≥ GM для трёх слагаемых:

x+y+1xy3xy1xy3=313=3x + y + \frac{1}{xy} \geq 3\sqrt[3]{x \cdot y \cdot \frac{1}{xy}} = 3\sqrt[3]{1} = 3

Минимум 3 достигается при x=y=1xyx = y = \dfrac{1}{xy}, откуда x=y=1x = y = 1.


Пример задания 18 ЕГЭ (задача с параметром)

Неравенство AM ≥ GM используют в задании 18 для нахождения экстремума, когда производная неудобна.

Задача. Доказать, что для всех a>0,b>0a > 0, b > 0 с условием a+b=1a + b = 1 выполняется 1a+1b4\dfrac{1}{a} + \dfrac{1}{b} \geq 4.

Решение.

1a+1b=a+bab=1ab\dfrac{1}{a} + \dfrac{1}{b} = \dfrac{a+b}{ab} = \dfrac{1}{ab}.

По AM ≥ GM: a+b2ab\dfrac{a+b}{2} \geq \sqrt{ab}, то есть 12ab\dfrac{1}{2} \geq \sqrt{ab}, откуда ab14ab \leq \dfrac{1}{4}.

Значит 1ab4\dfrac{1}{ab} \geq 4.

При a=b=12a = b = \dfrac{1}{2}: 1a+1b=2+2=4\dfrac{1}{a} + \dfrac{1}{b} = 2 + 2 = 4 — равенство достигается.


Связь с прогрессиями

Если aa и bb — члены арифметической прогрессии с разностью dd, а GG — среднее геометрическое, то неравенство AM ≥ GM гарантирует: «среднее арифметическое прогрессии ≥ среднего геометрического» при положительных членах.

Это используют в задачах про прогрессии совместно с теоремами про сумму и произведение.


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

ОшибкаПравильно
Применяют AM ≥ GM к отрицательным числамТолько к положительным
Забывают условие равенства (a=ba = b) при нахождении экстремумаНужно явно проверить
Путают: «минимум суммы» и «максимум произведения»Разные задачи, но оба решаются через AM ≥ GM

Что запомнить

  1. a+b2ab\dfrac{a+b}{2} \geq \sqrt{ab} — неравенство средних для двух положительных чисел.
  2. Равенство: a=ba = b.
  3. Минимум суммы a+b/aa + b/a: применяй AM ≥ GM к слагаемым.
  4. Максимум произведения при фиксированной сумме: AM ≥ GM в другую сторону.