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

Определения и обозначения

Неравенство — отношение между двумя выражениями, показывающее, какое из них больше или меньше другого. Например, запись A ≥ B означает, что A больше B или равно ему. Она нужна, чтобы точно формулировать сравнение чисел и выражений.

Доказательство неравенства — последовательное обоснование того, что неравенство верно при указанных условиях. Недостаточно проверить утверждение на нескольких значениях переменных: нужно объяснить, почему оно работает для всех допустимых значений. Доказательство позволяет отличить общий факт от случайного совпадения.

Равносильное преобразование — преобразование неравенства, не изменяющее множество его решений или истинность утверждения. Например, к обеим частям можно прибавить одно и то же число, сохранив знак. Такие преобразования помогают упростить запись, не потеряв верные случаи.

Оценка выражения — установление границ, которым удовлетворяет его значение. Например, запись x² + 1 ≥ 1 задаёт нижнюю границу выражения x² + 1. Оценки нужны, когда точное значение неизвестно, но важно знать, насколько большим или малым оно может быть.

Как это устроено

Чтобы доказать A ≥ B, переносят все слагаемые в одну часть и получают разность A − B. Если она неотрицательна при всех значениях из условия, исходное неравенство верно: прибавление B к обеим частям сохраняет порядок. Поэтому сравнение двух выражений часто сводится к исследованию знака одного. Для строгого неравенства A > B требуется показать, что разность положительна.

Особенно удобно опираться на выражения, знак которых известен заранее. Квадрат любого действительного числа неотрицателен, поэтому (x − 3)² ≥ 0 при любом x. Если разность удалось представить как квадрат или сумму квадратов с неотрицательными коэффициентами, нужный знак следует из свойств этих выражений. При этом квадрат не обязательно положителен: он равен нулю, когда его основание равно нулю.

При умножении или делении обеих частей на одно и то же число знак сравнения зависит от его знака. Положительный множитель сохраняет порядок, а отрицательный меняет его на противоположный: из 2 < 5 следует −2 > −5. Если знак выражения-множителя неизвестен, нельзя выбрать направление заранее; нужно разделить рассуждение на случаи или избежать такого шага. При делении дополнительно проверяют, что делитель не равен нулю.

Иногда левую часть связывают с правой через несколько промежуточных выражений: A ≥ C ≥ B. Тогда из свойств порядка следует A ≥ B. Но каждый переход в цепочке должен быть обоснован условиями задачи или уже известным фактом; одного верного начала и конца недостаточно. Для строгого итогового сравнения достаточно, чтобы хотя бы одно звено было строгим, а остальные сохраняли направление.

После доказательства полезно выяснить, когда получается равенство. Для сравнения разности это означает решить уравнение A − B = 0; для суммы квадратов каждый квадрат должен обратиться в ноль. В цепочке равенство между начальным и конечным выражениями возможно, только если равенство достигается на каждом звене. Так можно проверить, достигается ли заявленная граница, а не только показать, что выражение её не пересекает.

Основные приёмы доказательства неравенств

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

Разбор задач

Докажите, что x² + 4 ≥ 4x для любого действительного x. Сравним левую и правую части через их разность: если она неотрицательна, исходное утверждение будет верным. Это удобно, потому что в выражении уже есть квадрат переменной и линейное слагаемое.

1. Вычтем правую часть из левой: x² + 4 − 4x.
2. Переставим слагаемые и выделим полный квадрат: x² − 4x + 4 = (x − 2)².
3. Так как квадрат неотрицателен, получаем (x − 2)² ≥ 0, значит, x² + 4 ≥ 4x. Равенство достигается при x = 2.

Докажите, что a/b + b/a ≥ 2 при a > 0 и b > 0. Прежде чем преобразовывать дроби, учитываем условие: знаменатель ab положителен, поэтому умножение на него не меняет знак. Тогда достаточно доказать неотрицательность числителя разности между левой частью и числом 2.

1. Приведём выражение к общей дроби: a/b + b/a − 2 = (a² + b² − 2ab)/(ab).
2. Числитель равен (a − b)², поэтому разность имеет вид (a − b)²/(ab).
3. Числитель неотрицателен, а знаменатель положителен; значит, дробь неотрицательна и исходное неравенство доказано. Равенство получается при a = b.

Докажите, что x² + y² + z² ≥ xy + yz + zx для любых действительных x, y и z. Здесь три переменные, поэтому полезно сгруппировать разность так, чтобы в ней появились квадраты попарных разностей. После такого преобразования знак результата будет понятен без дополнительных условий на переменные.

1. Вычтем правую часть из левой: x² + y² + z² − xy − yz − zx.
2. Представим разность как ½((x − y)² + (y − z)² + (z − x)²).
3. Каждый квадрат неотрицателен, следовательно, их сумма и её половина тоже неотрицательны. Неравенство доказано; равенство возможно при x = y = z.

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

Умножение или деление на выражение неизвестного знака без разбора случаев может перевернуть сравнение. Так поступают, когда воспринимают буквенное выражение как обычное положительное число. Перед таким шагом установи знак множителя на всей области допустимых значений или раздели доказательство на случаи.

Фраза «квадрат всегда положителен» неточна: при нулевом основании квадрат равен нулю. Ошибка возникает из-за смешения слов «положительный» и «неотрицательный». Проверь, может ли основание обратиться в ноль, и пиши u² ≥ 0; знак > 0 используй только при u ≠ 0.

Возведение обеих частей в квадрат не всегда равносильно исходному сравнению, если знаки частей неизвестны. Например, из −3 < 2 нельзя заключить, что 9 < 4. Сначала установи знаки обеих частей и только потом используй возведение в квадрат, либо найди другой способ доказательства.

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

Связь с другими темами

Для доказательства неравенств нужны свойства числовых неравенств: они объясняют, как меняется сравнение при сложении, умножении и делении. Также пригодятся преобразования выражений и формулы сокращённого умножения, например a² − 2ab + b² = (a − b)². Их применение опирается на факт, что квадрат действительного числа неотрицателен.

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

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

• Чтобы доказать A ≥ B, удобно показать, что A − B ≥ 0.
• Квадрат любого действительного числа неотрицателен.
• При умножении или делении на отрицательное число знак неравенства меняется.
• Все преобразования в доказательстве должны учитывать область допустимых значений.
• В цепочке доказательства каждое неравенство должно быть верным и обоснованным.
• Случай равенства нужно устанавливать отдельно.