Парадокс мальчика и девочки: ответ 1/2 или 1/3

Парадокс мальчика и девочки (Boy or Girl paradox) звучит безобидно: в семье двое детей, известно, что хотя бы один из них мальчик, какова вероятность, что оба мальчики. Интуиция почти всех людей кричит «одна вторая»: пол второго ребёнка вроде бы ни от чего не зависит. Но аккуратный подсчёт даёт , и именно расхождение между «очевидным» и правильным делает задачу классической ловушкой на условную вероятность. Самое коварное здесь в том, что одна и та же на вид формулировка прячет разные условия, и ответ меняется в зависимости от того, что именно мы знаем. Соберите своё условие в калькуляторе ниже и посмотрите, какие исходы оно оставляет.
Откуда берётся парадокс
Запишем пространство элементарных исходов. У семьи двое детей, упорядочим их по старшинству и обозначим - мальчик, - девочка. Тогда возможны ровно четыре равновероятных комбинации:
Каждый исход имеет вероятность , потому что пол каждого ребёнка независим и равновероятен. Пока всё интуитивно. Парадокс рождается на шаге, где появляется условие. Если нам говорят «хотя бы один мальчик», мы вычёркиваем единственный исход без мальчиков - . Остаются три равновозможных исхода: , , . Из них «оба мальчики» - это только , то есть один случай из трёх.
Наивный ответ возникает потому, что мы мысленно «фиксируем» одного известного мальчика и спрашиваем про второго ребёнка как про независимое рождение. Но формулировка «хотя бы один» не указывает, какой именно ребёнок мальчик, и потому не разрешает выбросить ни , ни .

Почему формулировка меняет ответ
Сравним два почти одинаковых вопроса. Первый: «известно, что хотя бы один ребёнок мальчик». Второй: «известно, что старший ребёнок мальчик». Слова похожи, но второе условие сильнее: оно фиксирует конкретного ребёнка. После него остаются только исходы, где на первом месте стоит , то есть и . Среди них «оба мальчики» - половина случаев:
Вот в чём суть парадокса мальчика и девочки: вероятность зависит не от самих детей, а от того, как именно мы получили информацию. «Хотя бы один мальчик» оставляет три исхода и даёт ; «старший мальчик» (или «младший мальчик») фиксирует позицию, оставляет два исхода и даёт . Та же логика, что и в близком сюжете про парадокс двух конвертов: наивная симметрия рушится, как только аккуратно выписать пространство исходов и условие.
Как считать через условную вероятность
Формальный инструмент здесь - формула условной вероятности:
Берём - «оба ребёнка мальчики», - наблюдаемое условие. Событие всегда совпадает с исходом (если оба мальчики, то условие «есть мальчик» автоматически выполнено), поэтому . Меняется только знаменатель :
Тот же приём работает в любой подобной задаче: выпишите все исходы, отметьте, какие из них удовлетворяют условию, и поделите. Если вам ближе именно байесовская запись через апостериорную вероятность, посмотрите разбор формулы Байеса на примере - там тот же механизм пересчёта вероятности после наблюдения.

Уточнение про вторник: парадокс внутри парадокса
Есть знаменитое усиление задачи. Условие звучит так: «один из детей - мальчик, родившийся во вторник, какова вероятность, что оба мальчики». Кажется, что упоминание дня недели - лишняя деталь, не влияющая на пол. Но если честно пересчитать все исходы по парам (пол, день недели) для двух детей, ответ получается примерно , заметно ближе к , чем к .
Причина та же: дополнительный признак «вторник» делает условие более конкретным и сужает множество исходов почти так же сильно, как указание старшинства. Чем точнее мы идентифицируем конкретного мальчика, тем ближе ответ к . Этот вариант показывает, что в задаче нет «единственно правильного числа» - ответ полностью определяется тем, как сформулировано условие и как получена информация.
Откуда именно берётся , видно из подсчёта. Для двух детей выпишем пары вида (пол, день недели): у каждого ребёнка равновозможных вариантов, всего исходов для семьи. Среди них благоприятных для «хотя бы один мальчик во вторник» - (по принципу включения-исключения: исходов, где первый ребёнок такой, плюс , где второй, минус общий). Из этих исходов «оба мальчики» дают ровно . Отсюда . Уберите слово «вторник» - и множество снова станет грубее, вернув ответ к .
Связь с парадоксом Монти Холла
Парадокс мальчика и девочки - родственник задачи Монти Холла: в обеих интуиция подсовывает неверную модель того, как поступила информация. В Монти Холле важно, что ведущий открывает заведомо пустую дверь, а не случайную; здесь важно, как именно мы узнали про мальчика - назвали ли конкретного ребёнка или просто констатировали наличие хотя бы одного. Если бы мы случайно встретили на улице одного из двух детей и это оказался мальчик, то такое наблюдение симметрично по детям и вернуло бы ответ к . Разница между «нам сообщили факт о семье» и «мы сами наблюдали одного ребёнка» - ключ к разрешению парадокса.
Полезно держать в голове общий рецепт для всех таких задач: модель порождения данных важнее самих данных. Прежде чем считать, спросите себя, по какому правилу к вам пришла информация. Правило «выбираем семью с двумя детьми, у которой есть хотя бы один мальчик» и правило «выбираем случайного ребёнка и смотрим его пол» порождают одинаковые на словах факты, но разные апостериорные вероятности. Именно поэтому формальная запись через пространство исходов и условную вероятность надёжнее интуиции: она заставляет явно зафиксировать процедуру, а не угадывать её на глаз.
Частые ошибки
- Считать пол второго ребёнка независимым от условия. Условие «хотя бы один мальчик» относится к паре детей целиком, а не к одному фиксированному ребёнку, поэтому нельзя выбросить исходы или .
- Путать «хотя бы один» и «старший / конкретный». Это разные условия с разными знаменателями: против . Отсюда и разные ответы и .
- Игнорировать порядок исходов. Исходы и - разные и оба нужны: если их «склеить» в один, пространство станет неравновероятным и подсчёт сломается.
- Считать уточнение про вторник лишним. Любой признак, помогающий идентифицировать конкретного ребёнка, сдвигает ответ к - это не софизм, а следствие пересчёта исходов.
- Думать, что у задачи один верный ответ. Корректных ответов несколько, и каждый отвечает своей формулировке условия; неоднозначна именно постановка, а не математика.
FAQ
Почему ответ 1/3, а не 1/2? Потому что условие «хотя бы один мальчик» оставляет три равновозможных исхода , , , и «оба мальчики» - лишь один из них. Наивная получилась бы, если бы мы фиксировали конкретного ребёнка, но формулировка этого не делает.
Когда же правильный ответ всё-таки 1/2? Когда условие указывает конкретного ребёнка: «старший мальчик», «младший мальчик» или «мы встретили одного из детей, и это мальчик». Тогда остаются два исхода, и вероятность второго мальчика равна .
Это софизм или настоящая математика? Настоящая математика. Парадокс возникает не из-за ошибки в вычислениях, а из-за неоднозначной формулировки на естественном языке: разные прочтения условия задают разное пространство исходов и потому дают разные, но каждый по-своему верный, ответ.
Коротко
Парадокс мальчика и девочки - задача на условную вероятность, где интуитивное конфликтует с корректным . Всё решает формулировка условия: «хотя бы один мальчик» оставляет три исхода , , и даёт , а «старший (конкретный) мальчик» оставляет два исхода и даёт . Чтобы не попасться, всегда выписывайте полное пространство исходов, аккуратно применяйте условие и считайте через , помня, что важно не только что мы знаем, но и как мы это узнали.
Читайте также

Апостериорная вероятность гипотезы: формула Байеса
Что такое апостериорная вероятность гипотезы и как её считать по формуле Байеса: разбор множителей, связь с полной вероятностью, пошаговый пример и типичные ошибки.

Парадокс Монти Холла: почему выгодно менять дверь
Парадокс Монти Холла с тремя дверями простыми словами: почему смена выбора даёт вероятность выигрыша 2/3, разбор через перебор исходов и формулу Байеса, частые ошибки и FAQ.

Условная вероятность: определение и пример с разбором
Что такое условная вероятность простыми словами: строгое определение через формулу, понятный пример с разбором по шагам, связь с независимостью событий и формулой Байеса.