Решим задачу аккуратно, как это удобно делать на ЕГЭ База. Даны размеры двух множеств: |A| = 17, |B| = 15, а всего в универсуме |U| = 28. Нужно понять, какие утверждения о пересечении и включении множеств обязаны выполняться при любых расположениях множеств внутри универсального множества.
1. Найдём, каким может быть пересечение A и B.
Для двух подмножеств конечного универсального множества полезно помнить оценку:
|A ∩ B| ≥ |A| + |B| − |U|.
Подставим числа:
|A ∩ B| ≥ 17 + 15 − 28 = 4.
Значит, в пересечении обязательно как минимум 4 элемента. Это означает, что утверждение I верно.
Почему эта формула работает? Если сложить |A| и |B|, то элементы пересечения посчитаются дважды. Чтобы понять минимально возможное пересечение, мы смотрим, сколько всего разных элементов вообще может быть в универсуме. Если суммарно элементов в двух множествах больше, чем размер универсального множества, то неизбежно появляется пересечение.
2. Проверим утверждение II: A ⊆ B.
Если бы A ⊆ B, то все 17 элементов множества A должны были бы входить в B. Но |B| = 15, а это меньше 17. Значит, включение A ⊆ B невозможно.
Поэтому утверждение II не является обязательным, оно ложно.
Типичная ошибка: некоторые ученики думают: «раз пересечение большое, значит одно множество входит в другое». Это неверно. Большое пересечение ещё не означает включение. Для включения нужно, чтобы все элементы одного множества целиком содержались в другом, а по размерам это здесь невозможно.
3. Проверим утверждение III: |A ∩ B| ≤ 15.
Пересечение не может быть больше меньшего из двух множеств. Действительно, A ∩ B состоит только из тех элементов, которые одновременно принадлежат A и B, значит число таких элементов не может превышать |B| = 15.
Следовательно, утверждение III верно.
Это общее правило:
|A ∩ B| ≤ min(|A|, |B|).
Здесь min(17, 15) = 15, поэтому верхняя граница действительно равна 15.
4. Проверим утверждение IV: A = B.
Если бы множества были равны, то у них было бы одинаковое число элементов. Но здесь |A| = 17, |B| = 15. Значит, равенство множеств невозможно.
Поэтому утверждение IV ложно.
Итог: обязательно верны утверждения I и III. Это и есть правильный ответ.
Ответ: только I и III.
Как быстро проверять такие задачи на экзамене:
1) Сначала сравните мощности множеств: если одно больше другого, то равенство и включение в «неправильную сторону» сразу исключаются.
2) Затем найдите минимально возможное пересечение по формуле |A ∩ B| ≥ |A| + |B| − |U|.
3) Проверьте верхнюю границу пересечения: оно не больше меньшего из множеств.
4) После этого по очереди сверяйте каждое утверждение.
Такой способ помогает не терять баллы из-за поспешности и путаницы между словами «может быть» и «обязательно верно».