10 фактов о числах, которые ломают здравый смысл
От бесконечностей разного размера до парадокса Банаха-Тарского. Десять математических результатов, звучащих как розыгрыш — и абсолютно верных.
Числа кажутся самой понятной областью знания — что может быть проще, чем считать. На практике математика полна результатов, которые звучат как розыгрыш, но при проверке оказываются строго доказанными теоремами. Здесь наша интуиция подводит особенно часто.
Ниже десять фактов о числах и математике, которые ломают здравый смысл — но при этом абсолютно верны.
1. Бесконечности бывают разного размера
Кантор в конце XIX века доказал: множество действительных чисел строго больше множества натуральных, хотя оба бесконечны. То есть между 0 и 1 «больше» точек, чем всех целых чисел вместе взятых. Есть бесконечности разной мощности, и их бесконечная иерархия — стандартный результат теории множеств.
2. Парадокс Банаха-Тарского: шар можно разрезать и собрать в два таких же
В 1924 году Банах и Тарский доказали: сферу в трёхмерном пространстве можно разбить на конечное число частей (в оригинале — пять) и, только поворачивая и перемещая их, собрать две сферы того же размера, что и исходная. Материю удвоить нельзя, но идеальная математическая сфера — можно. Парадокс не в ошибке, а в неинтуитивности аксиомы выбора.
3. Число 163 порождает почти целое из иррациональных
Формула e^(π√163) даёт число 262 537 412 640 768 743,999999999999… — с двенадцатью девятками подряд после запятой, но всё же не целое. Это не совпадение: 163 — наибольшее из чисел Хегнера, и такая близость к целому вытекает из глубокой теории модулярных функций. Магия объясняется теорией — но от этого не менее магическая. Подробнее о факте.
4. Парадокс дней рождения: 23 человека достаточно
В группе из 23 случайных людей вероятность, что у двоих совпадёт день рождения, — уже больше 50%. Из 70 человек — 99,9%. Интуиция говорит: «365 дней, нужно много народу», но на самом деле важно количество ПАР — а их в группе из 23 человек уже 253. Классический пример, как комбинаторика ломает интуицию.
5. 0,999… равно 1, а не «немного меньше»
Бесконечная десятичная дробь 0,999… равна 1 не приблизительно, а буквально — это одно и то же число, записанное двумя способами. Строгое доказательство: x = 0,999…; 10x = 9,999…; 10x − x = 9; значит 9x = 9, x = 1. Спор о «неравенстве» — иллюзия, порождённая привычкой видеть в многоточии «незавершённое приближение».
6. Простые числа никогда не заканчиваются
Евклид доказал 2300 лет назад: простых чисел бесконечно много. Доказательство помещается в один абзац: возьмите любой конечный набор простых, перемножьте их все и прибавьте 1 — получившееся число не делится ни на одно из исходных, значит либо оно само простое, либо делится на новое простое, которого в наборе не было. И так до бесконечности.
7. Число π нельзя вычислить точно даже теоретически
π иррационально (Ламберт, 1761) и трансцендентно (Линдеман, 1882) — то есть его нельзя выразить ни конечной дробью, ни корнем никакого многочлена с целыми коэффициентами. При этом π знают более чем на 100 триллионов знаков после запятой — но это до сих пор конечное приближение бесконечной дроби, где нет ни повторов, ни закономерностей.
8. Задача о ста узниках, где ответ — 30%
100 узникам присваивают номера от 1 до 100. В комнате 100 ящиков, в каждом лежит один случайный номер. Каждый узник может открыть 50 ящиков и должен найти свой номер. Все живут, только если каждый нашёл. Кажется, шанс = (1/2)^100 — исчезающе малый. Правильная стратегия (открывать по циклу от своего номера) даёт вероятность выживания ~31%. Это не шутка, это доказанный результат.
9. Гипотеза Гольдбаха: 280 лет никто не может ни доказать, ни опровергнуть
Любое чётное число больше 2 можно представить как сумму двух простых. Гипотеза сформулирована в 1742 году. За 280 лет её проверили компьютерами до чисел с 18 цифрами — везде работает. Общего доказательства нет до сих пор — это одна из самых старых открытых задач в математике.
10. У шахматной партии больше вариантов, чем атомов во Вселенной
Число возможных шахматных партий (число Шеннона) оценивается в 10^120. Число атомов во всей наблюдаемой Вселенной — около 10^80. Разница в 40 порядков — то есть в 10 000 000 000 000 000 000 000 000 000 000 000 000 000 раз. Именно поэтому шахматный движок не может «просто просчитать всё» — количество вариантов больше, чем Вселенная может поместить.
Хочется проверить свою интуицию в игровом формате — попробуйте мини-игру «Факт или вымысел?». А если понравилась подборка — здесь есть ещё тематические статьи.