В школьной и университетской математике часто встречается утверждение «все чётные числа составные». На первый взгляд кажется, что оно очевидно: любое чётное число делится на 2, значит у него есть делитель, отличный от 1 и самого числа. Но правда ли, что каждое чётное число составное? В этой статье мы подробно разберём определение чётных и составных чисел, рассмотрим исключения и сформулируем окончательный ответ.
Определения
1.1 Чётное число
По общепринятому определению, чётное число — это целое число, которое делится на 2 без остатка. Формально:
- Число n чётно ⇔ ∃ целое k : n = 2k.
Примеры: 0, 2, 4, ‑6, 12 и т.д.
1.2 Составное число
Число называют составным, если у него есть хотя бы один делитель, отличный от 1 и самого числа. Иными словами:
- Число n > 1 составно ⇔ ∃ целое d, 1 < d < n, такое что n mod d = 0.
Если у числа только два делителя (1 и само число), оно называется простым. Число 1 не считается ни простым, ни составным.
Почему многие считают, что все чётные числа составные?
Из определения чётного числа сразу следует, что любое чётное n делится на 2. Поэтому у него есть делитель 2, отличный от 1 и, в большинстве случаев, от самого n. Это приводит к выводу:
«Если число делится на 2, то оно имеет делитель 2, значит оно составное».
Такой вывод верен для всех чётных чисел, кроме одного исключения.
Исключение: число 2
Число 2 — единственное чётное простое число. Давайте проверим условия:
- 2 делится на 2 (поэтому чётно).
- Единственные делители 2 — 1 и 2.
- Никакого другого делителя, отличного от 1 и самого числа, у 2 нет.
Следовательно, 2 не является составным, а является простым числом. Это единственное чётное простое число, потому что любое другое чётное число n = 2k с k ≥ 2 имеет делитель 2 и как минимум один дополнительный делитель k, отличающийся от 1 и n.
Полный ответ на вопрос
Итак, утверждение «каждое чётное число является составным» не является абсолютно верным. Оно верно для всех чётных чисел, кроме числа 2. Формулировка, учитывающая исключение, выглядит так:
Все чётные числа, большие 2, являются составными.
Доказательство для n > 2
Пусть n, чётное натуральное число, n > 2. Тогда по определению существует целое k ≥ 2, такое что n = 2k. Рассмотрим делители:
- 2 — делитель n (по определению чётности).
- k — также делитель n, поскольку n / k = 2.
Оба делителя отличны от 1 и от самого n, следовательно, n составно.
Часто задаваемые вопросы
6.1 Что с нулём?
Ноль (0) делится на 2, но в теории чисел ноль не рассматривается как простое или составное число, потому что оно имеет бесконечно много делителей. Поэтому в контексте данного утверждения ноль обычно исключают.
6.2 А что насчёт отрицательных чётных чисел?
Если рассматривать отрицательные целые числа, то правило сохраняется: любое чётное отрицательное число меньше ‑2 имеет делитель 2 и, следовательно, составно. Число ‑2 также является простым (по аналогии с 2), если расширять понятие простоты на отрицательные числа.
6.3 Можно ли сказать, что «все чётные числа — составные» в учебных задачах?
В большинстве школьных задач, где речь идёт о натуральных числах, принято считать, что «все чётные числа, большие 2, составные». Учителя часто упоминают «все чётные» без уточнения, полагая, что ученики знают о числе 2.
- Чётное число — это число вида 2k.
- Составное число — это число, имеющее делители, отличные от 1 и самого числа;
- Все чётные числа, большие 2, удовлетворяют условию составности.
- Единственное исключение — число 2, которое является простым.
Таким образом, правильный ответ на вопрос «Каждое чётное число является составным?», нет. Верно лишь уточнённое утверждение: все чётные числа, превышающие 2, являются составными.