1.1.2. Необходимость и достаточность

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

Необходимое условие: условие B необходимо для условия A, если из выполнения A всегда следует выполнение B. Связь записывают так: A ⇒ B. Это значит, что без B условие A выполниться не может, хотя одного B может быть недостаточно для A.

Достаточное условие: условие A достаточно для условия B, если из выполнения A следует выполнение B. Запись A ⇒ B показывает, что A гарантирует B. Для B могут существовать и другие достаточные условия, поэтому достаточность не означает равносильность.

Следование условий — это проверка того, верно ли утверждение «из A следует B». Стрелка направлена от условия, которое предполагают, к условию, которое получают: A ⇒ B. Направление нужно читать слева направо, иначе можно сделать неверный вывод.

Равносильные условия A и B — это условия, каждое из которых следует из другого. Записывают A ⇔ B, то есть одновременно верны A ⇒ B и B ⇒ A. Равносильные условия можно заменять друг другом, не изменяя множество подходящих случаев.

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

Фраза «если A, то B» означает: в каждом случае, когда A истинно, B тоже должно быть истинно. Речь идёт не о нескольких удачных примерах, а обо всех допустимых значениях или объектах. Случаи, в которых A ложно, не проверяют это следование, потому что условие «если A» там не запускается.

Если A ⇒ B, то A достаточно для B: выполнение A сразу гарантирует B. В то же время B необходимо для A, поскольку истинное A без истинного B невозможно. Названия зависят от направления стрелки: при изменении направления меняются роли условий, поэтому их нельзя выбирать по внешнему виду формулировки.

Чтобы опровергнуть A ⇒ B, достаточно найти один контрпример. Это такой допустимый случай, в котором A выполняется, а B не выполняется. Он показывает, что утверждение «каждый случай с A имеет B» неверно, даже если во многих других случаях оба условия оказываются истинными.

Из A ⇒ B нельзя автоматически заключить B ⇒ A, потому что B может быть более широким условием и включать дополнительные случаи. Например, делимость на 4 гарантирует чётность, но чётное число не обязано делиться на 4. Обратное утверждение становится верным только после отдельного доказательства.

Для равносильности необходимо доказать оба направления: сначала A ⇒ B, затем B ⇒ A. Одного направления достаточно лишь для вывода о необходимости и достаточности, но не для замены одного условия другим. Поэтому при преобразовании утверждений полезно явно проверять, не потерялись ли решения и не появились ли лишние.

Связь между условиями A и B

Сначала определите, какое условие стоит слева от стрелки, а какое — справа. Затем выясните, выполняется ли это направление для всех допустимых случаев. Если направление не выполняется, ищите контрпример; если нужны равносильные условия, проверяйте обе стрелки.

Разбор задач

Задача 1. Делимость на 4 и чётность

Пусть A: «число делится на 4», B: «число чётное». Нужно определить, какое условие необходимо, а какое достаточно.

1. Любое число, делящееся на 4, можно записать как 4k. Тогда оно равно 2·(2k), значит, делится на 2 и является чётным.
2. Получили A ⇒ B. Следовательно, делимость на 4 достаточна для чётности.
3. Та же стрелка читается с точки зрения A: если число делится на 4, оно обязательно чётное. Значит, чётность необходима для делимости на 4.

Ответ: A достаточно для B, а B необходимо для A. Обратное неверно: например, число 6 чётное, но на 4 не делится.

Задача 2. Условия x = 3 и x² = 9

Для действительного числа x сравним A: x = 3 и B: x² = 9.

1. Если x = 3, то x² = 3² = 9. Значит, A ⇒ B.
2. Проверим обратное направление. При x = −3 условие B истинно: (−3)² = 9, но A ложно, поскольку −3 ≠ 3.
3. Контрпример x = −3 опровергает B ⇒ A. Поэтому оба условия не равносильны.

Ответ: x = 3 достаточно для x² = 9, а x² = 9 необходимо для x = 3. Обратное условие не является достаточным.

Задача 3. Условия x > 2 и x² > 4

Пусть A: x > 2, B: x² > 4, где x — действительное число.

1. Из x > 2 следует, что x положительно и больше 2. При возведении в квадрат получаем x² > 2² = 4, значит, A ⇒ B.
2. Проверим B ⇒ A. Возьмём x = −3: тогда x² = 9 > 4, но −3 не больше 2, поэтому A ложно.
3. Обратное следование не выполнено. Значит, A достаточно для B, а B необходимо для A, но равносильности нет.

Ответ: x > 2 достаточно для x² > 4; условие x² > 4 необходимо для x > 2. Эти условия не равносильны.

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

Путать необходимое и достаточное условия: при A ⇒ B необходимым для A является B, а достаточным для B — A. Ошибка появляется, если читать стрелку справа налево. Проверьте себя фразой: «A гарантирует B, а без B A невозможно».

Считать, что из A ⇒ B автоматически следует B ⇒ A, нельзя, потому что у B могут быть дополнительные случаи. Так иногда делают, заметив несколько примеров, подходящих в обе стороны. Для проверки отдельно докажите обратную стрелку или найдите контрпример.

Обосновывать следование несколькими примерами недостаточно: они показывают только отдельные случаи, а не все допустимые значения. Ошибка возникает из-за подмены доказательства проверкой. Ищите общее рассуждение с переменной, свойством или законом.

Опровергать A ⇒ B примером, где A не выполняется, бесполезно: такой случай не относится к проверяемой ситуации. Контрпример обязан удовлетворять A и нарушать B. Перед использованием примера проверьте обе части именно в этом порядке.

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

До изучения темы нужно понимать, что такое условие математического утверждения и когда оно истинно или ложно. Это позволяет правильно читать фразы «если», «то», «тогда» и определять, какие случаи нужно проверять.

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

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

• A ⇒ B означает: из A следует B.
• При A ⇒ B условие A достаточно для B.
• При A ⇒ B условие B необходимо для A.
• Обратное следование проверяют отдельно.
• Для опровержения следования достаточно одного контрпримера.
• A и B равносильны, если верны оба следования: A ⇒ B и B ⇒ A.