Если случайным образом провести хорду в окружности, вероятность того, что она окажется длиннее стороны вписанного равностороннего треугольника, может равняться 1/3, 1/2 или 1/4 — в зависимости от того, каким именно способом эта хорда была «случайно» выбрана.
История возникновения парадокса
В 1889 году французский математик Жозеф Бертран опубликовал свой фундаментальный труд «Исчисление вероятностей» (Calcul des probabilités). Эта книга задумывалась как учебник, но один маленький пример из неё взорвал спокойный мир теории вероятностей и не утихает до сих пор. Бертран предложил элементарную, на первый взгляд, задачу: возьмите окружность, впишите в неё равносторонний треугольник и наугад проведите хорду. Какова вероятность, что эта хорда длиннее стороны треугольника?
Бертран не просто поставил задачу — он сам же привёл три разных решения, каждое из которых выглядело безупречно логичным, но давало совершенно разный ответ. Это был не баг, а фича: Бертран намеренно продемонстрировал, что понятие «случайный выбор» без уточнения метода — пустой звук.
| Параметр | Детали |
|---|---|
| Автор | Жозеф Луи Франсуа Бертран (1822-1900) |
| Год публикации | 1889 |
| Источник | «Calcul des probabilités» (глава о геометрических вероятностях) |
| Область | Теория вероятностей, геометрическая вероятность |
| Контекст | Критика некорректного применения принципа безразличия (принципа недостаточного основания) |
| Статус Бертрана | Профессор Политехнической школы и Коллеж де Франс, постоянный секретарь Французской академии наук |
Важно понимать контекст эпохи. В конце XIX века теория вероятностей ещё не имела строгого аксиоматического фундамента — тот появится только в 1933 году благодаря Андрею Колмогорову. Математики активно пользовались так называемым «принципом безразличия» Лапласа: если нет причин предпочесть один исход другому, все исходы считаются равновероятными. Парадокс Бертрана ударил именно по этому принципу, показав, что в задачах с непрерывным пространством исходов он ведёт к противоречиям.
В чём именно заключается противоречие
Задача звучит обманчиво просто. Вот окружность. Вот вписанный в неё равносторонний треугольник. Сторона такого треугольника равна R√3, где R — радиус окружности. Проведите наугад хорду. Какова вероятность, что она длиннее этой стороны? Бертран предложил три способа «случайного» выбора хорды, и каждый даёт свой ответ.
Метод 1: случайные конечные точки
Зафиксируем одну точку хорды на окружности. Вторую точку выберем равномерно случайно на той же окружности. Без потери общности зафиксируем первую точку как вершину вписанного треугольника. Хорда окажется длиннее стороны треугольника только тогда, когда вторая точка попадёт на дугу между двумя другими вершинами треугольника. Эта дуга составляет ровно треть окружности.
Ответ: P = 1/3
Метод 2: случайная средняя точка (по радиусу)
Любая хорда однозначно определяется своей серединой (за исключением диаметров, множество которых имеет нулевую меру). Зафиксируем направление — например, выберем радиус и будем равномерно располагать середину хорды вдоль этого радиуса. Хорда перпендикулярна радиусу, проходящему через её середину. Хорда длиннее стороны треугольника тогда и только тогда, когда её середина лежит ближе к центру, чем середина стороны треугольника. Середина стороны треугольника находится на расстоянии R/2 от центра. Значит, из всего радиуса длиной R нам подходит отрезок длиной R/2.
Ответ: P = 1/2
Метод 3: случайная средняя точка (по площади)
Снова определяем хорду через её середину, но теперь выбираем эту среднюю точку равномерно по площади круга. Хорда длиннее стороны треугольника тогда, когда её середина лежит внутри круга радиуса R/2, концентрического с исходным. Площадь этого малого круга равна π(R/2)² = πR²/4, а площадь большого — πR². Отношение площадей даёт вероятность.
Ответ: P = 1/4
Попробуйте провести мысленный эксперимент: возьмите реальный круглый стол, бросайте на него спагетти (длинные, прямые макаронины) и считайте, какая доля хорд окажется длиннее стороны вписанного треугольника. Какой из трёх ответов вы получите? И главное — зависит ли результат от того, КАК именно вы бросаете спагетти?
| Метод | Что выбирается случайно | Распределение | Вероятность |
|---|---|---|---|
| Случайные конечные точки | Вторая точка на окружности | Равномерное по длине дуги | 1/3 |
| Случайный радиус | Середина хорды вдоль радиуса | Равномерное по длине радиуса | 1/2 |
| Случайная средняя точка | Середина хорды внутри круга | Равномерное по площади круга | 1/4 |
Все три решения математически безупречны. Противоречие возникает не из-за ошибки в рассуждениях, а из-за того, что фраза «выбрать хорду наугад» не определяет единственную вероятностную меру на множестве всех хорд.
Попытки решения
Парадокс Бертрана породил более чем столетнюю дискуссию. Математики, физики и философы предлагали самые разные подходы, пытаясь либо выделить «правильный» ответ, либо объяснить, почему правильного ответа быть не может.
Принцип максимальной неосведомлённости (Пуанкаре, 1896)
Анри Пуанкаре предложил искать распределение, инвариантное относительно движений плоскости — сдвигов и поворотов. Его идея: если мы действительно ничего не знаем о хорде, наш метод выбора не должен зависеть от положения и ориентации окружности. Этот подход стал одним из самых влиятельных.
Принцип максимальной энтропии (Джейнс, 1973)
Эдвин Джейнс, физик и один из основателей байесовской статистики, подошёл к проблеме радикально. Он сформулировал три требования к «правильному» случайному выбору хорды:
- Инвариантность относительно поворотов — вероятность не должна меняться при вращении окружности
- Инвариантность относительно сдвигов — вероятность не должна меняться при параллельном переносе окружности
- Инвариантность относительно масштабирования — вероятность не должна меняться при изменении размера окружности
Джейнс показал, что единственное распределение, удовлетворяющее всем трём условиям симметрии, даёт ответ P = 1/2 — тот самый метод случайного радиуса. Более того, он провёл физический эксперимент: бросал длинные соломинки на окружность, нарисованную на полу. Результат оказался статистически близок к 1/2, что подтвердило его теоретические рассуждения.
Подход интегральной геометрии (Крофтон, Санталó)
В интегральной геометрии существует естественная мера на множестве прямых на плоскости, введённая Морганом Крофтоном ещё в 1868 году и систематизированная Луисом Санталó в середине XX века. Прямая задаётся расстоянием p от начала координат и углом θ нормали: мера dμ = dp ∧ dθ. Эта мера инвариантна относительно движений плоскости. При её использовании для хорд окружности получается ответ P = 1/2, что совпадает с результатом Джейнса.
Подход Колмогорова и вероятностных пространств
После аксиоматизации теории вероятностей Колмогоровым в 1933 году стало ясно, что задача Бертрана не является парадоксом в строгом смысле. Это иллюстрация того, что для корректной постановки вероятностной задачи необходимо явно задать вероятностное пространство — тройку (Ω, F, P). Слово «случайно» само по себе не задаёт меру P.
Современные подходы
| Исследователь / школа | Период | Суть подхода | Предпочтительный ответ |
|---|---|---|---|
| Анри Пуанкаре | 1896 | Инвариантность относительно движений | 1/2 |
| Эдвин Джейнс | 1973 | Принцип максимальной энтропии + эксперимент | 1/2 |
| Луис Санталó | 1976 | Мера Крофтона из интегральной геометрии | 1/2 |
| Николас Шакель | 2007 | Критика подхода Джейнса, нет единственного решения | Нет «правильного» |
| Дарио Дженнаро | 2020-е | Байесовский анализ с учётом процесса генерации | Зависит от модели |
| Колмогоровская школа | 1933-наст. время | Задача некорректна без указания меры | Все три верны |
Дискуссия продолжается. Философы науки, такие как Шакель, оспаривают элегантное решение Джейнса, указывая, что требования симметрии можно формулировать по-разному и что выбор «правильных» инвариантностей сам по себе субъективен. Однако в практических приложениях — стохастической геометрии, стереологии, анализе случайных сетей — обычно используется именно мера Крофтона, дающая ответ 1/2.
Где этот парадокс встречается в реальной жизни, науке или математике
Парадокс Бертрана — это не просто академическое упражнение. Его фундаментальная идея — что способ моделирования случайности определяет результат — пронизывает удивительно широкий спектр дисциплин.
Стохастическая геометрия и теория случайных графов
Современная стохастическая геометрия занимается случайными точечными процессами, случайными мозаиками и случайными линиями. Каждый раз, когда исследователь строит модель случайной структуры — будь то расположение сотовых вышек, расположение трещин в материале или распределение галактик — он неявно выбирает «метод Бертрана», то есть конкретную вероятностную меру. Неправильный выбор приводит к систематическим ошибкам в предсказаниях.
Физика и статистическая механика
В статистической физике аналогичная проблема возникает при выборе ансамблей. Микроканонический, канонический и большой канонический ансамбли задают разные вероятностные меры на фазовом пространстве. В термодинамическом пределе они эквивалентны, но для малых систем различия могут быть принципиальными — прямая параллель с парадоксом Бертрана.
Байесовская статистика
Выбор априорного распределения в байесовском анализе — это, по сути, та же проблема. Когда у вас нет предварительной информации, какой «неинформативный» приор выбрать? Равномерный по параметру θ? По log(θ)? По θ²? Каждый выбор — это другой «метод Бертрана», и результат может радикально различаться.
Компьютерная графика и моделирование
В рендеринге и методах Монте-Карло для расчёта освещения необходимо выбирать «случайные лучи». Как именно генерировать случайное направление? Равномерно по углам? По телесному углу? По проекции на нормаль к поверхности? Это напрямую влияет на качество и скорость сходимости алгоритма — и это парадокс Бертрана в действии.
Представьте, что вы разрабатываете алгоритм для беспилотного автомобиля, который должен оценивать вероятность появления пешехода «в случайной точке» перекрёстка. Равномерно по площади перекрёстка? По длине тротуара? По расстоянию от зебры? Каждый метод даст разные оценки риска. Какой из них «правильный» — вопрос жизни и смерти, причём буквально.
Другие области применения
- Стереология — наука о восстановлении трёхмерных структур по двумерным срезам (например, в гистологии). Выбор метода случайного сечения напрямую влияет на оценки размеров клеток и частиц.
- Теория поиска — оптимальная стратегия поиска потерянного объекта зависит от модели «случайного» расположения объекта.
- Криптография — генерация «случайных» ключей требует точного определения того, что считается равномерным распределением в данном пространстве.
- Экономика и финансы — моделирование «случайных» рыночных шоков: нормальное распределение, логнормальное, степенной закон? Выбор модели определяет оценку рисков.
- Биоинформатика — при анализе случайных мутаций в геноме: что значит «случайная позиция» в ДНК с неоднородной структурой?
Интересные факты и связанные парадоксы
Эксперимент Джейнса с соломинками
Эдвин Джейнс не просто теоретизировал — он реально провёл физический эксперимент. На полу был нарисован круг, и длинные соломинки бросались на него «наугад» с некоторой высоты. Подсчёт хорд, пересекающих круг, показал результат, статистически близкий к 1/2. Это один из редких случаев, когда философский спор о вероятности был разрешён (хотя бы частично) экспериментально. Впрочем, критики справедливо заметили: сам процесс бросания неявно задаёт конкретное распределение, и другой способ бросания мог бы дать другой результат.
Связь с проблемой Буффона
Задача Буффона об игле (1777) — прямой предшественник парадокса Бертрана. Граф де Буффон спрашивал: какова вероятность, что игла, брошенная на разлинованный пол, пересечёт одну из линий? Здесь, однако, «случайный» бросок определён более естественно (положение центра и угол иглы), поэтому ответ единствен. Бертран, по сути, показал, что задача Буффона — это счастливое исключение, а не правило.
Парадокс и принцип безразличия
Парадокс Бертрана стал одним из главных аргументов против наивного принципа безразличия Лапласа и способствовал развитию частотного подхода к вероятности (Рихард фон Мизес) и аксиоматического подхода (Колмогоров). Фактически, он помог переосмыслить основания всей теории вероятностей.
Связанные парадоксы и задачи
| Парадокс / задача | Автор, год | Связь с парадоксом Бертрана |
|---|---|---|
| Задача об игле Буффона | Буффон, 1777 | Предшественница в области геометрических вероятностей |
| Парадокс Борели | Эмиль Борель, ~1909 | Проблема выбора меры для случайных точек на прямой |
| Задача о кубе фон Мизеса | Рихард фон Мизес, 1928 | «Случайный куб» с ребром от 1 до 3: вероятность объёма > 8 зависит от того, что считать равномерным — ребро, площадь грани или объём |
| Парадокс Симпсона | Э. Симпсон, 1951 | Другой пример того, как способ группировки данных меняет вывод |
| Задача о спящей красавице | А. Элга, 2000 | Философский спор о корректном определении вероятности при неоднозначной постановке |
| Парадокс конверта | Различные авторы, XX век | Неосторожное применение принципа безразличия приводит к абсурду |
Неожиданные следствия
- Существует бесконечно много «методов Бертрана» — три приведённых решения лишь самые известные. Можно сконструировать метод, дающий любое значение вероятности от 0 до 1.
- В 2015 году Дьярмати и Мори показали, что если потребовать от метода выбора хорды только инвариантность относительно поворотов (но не сдвигов), то допустимым будет целое семейство распределений, параметризованное одним числом.
- Парадокс Бертрана используется как стандартный аргумент в философских дебатах о природе вероятности: является ли вероятность объективным свойством мира или субъективной степенью уверенности?
- В квантовой механике аналогичная проблема возникает при определении «равномерного» распределения на пространстве квантовых состояний (мера Хаара на группе унитарных преобразований играет ту же роль, что мера Крофтона для хорд).
- Парадокс Бертрана послужил одной из мотиваций для развития теории случайных матриц — области, которая нашла применение от ядерной физики до анализа больших данных.
Парадокс, которого нет?
Некоторые математики считают, что называть задачу Бертрана «парадоксом» некорректно. Парадокс предполагает противоречие, а здесь три разных задачи дают три разных ответа — что совершенно естественно. Проблема не в математике, а в естественном языке: слово «случайно» многозначно. Когда формулировку делают строгой, парадокс исчезает. Но именно поэтому задача Бертрана бесценна: она учит нас, что язык обыденный и язык математический — это два совершенно разных языка, и перевод между ними может быть смертельно опасен для истины.