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