Проблема иглы Буффона - Википедия - Buffons needle problem

В а игла лежит поперек линии, а б игла нет.

В математика, Проблема иглы Буффона - вопрос, впервые заданный в XVIII веке Жорж-Луи Леклерк, граф де Бюффон:^[1]

Предположим, у нас есть этаж сделано из параллельно полоски дерево, все одинаковой ширины, и мы опускаем иголка на пол. Что вероятность что игла будет лежать поперек линии между двумя полосами?

Игла Бюффона была самой ранней проблемой в геометрическая вероятность быть решенным^{[согласно кому? ]}; это можно решить, используя интегральная геометрия. Решение для искомой вероятности п, в случае, если длина иглы л не больше ширины т полос, это

{ displaystyle p = { frac {2} { pi}} { frac {l} {t}}.}

Это можно использовать для разработки Метод Монте-Карло для приближения числа π, хотя это не было изначальной мотивацией для вопроса де Бюффона.^[2]

Решение

С математической точки зрения проблема такова: если длина иглы ${ displaystyle l}$ упал на плоскость с параллельными линиями т на расстоянии друг от друга, какова вероятность того, что стрелка при приземлении окажется поперек линии?

Позволять Икс расстояние от центра иглы до ближайшей параллельной линии, и пусть θ - острый угол между иглой и одной из параллельных линий.

Униформа функция плотности вероятности из Икс от 0 до т / 2 - это

{ displaystyle { begin {cases} { frac {2} {t}} &: 0 leq x leq { frac {t} {2}} 0 &: { text {elsewhere.}} end {case}}}

Здесь x = 0 представляет иглу, которая центрирована непосредственно на линии, а x = t / 2 представляет иглу, которая идеально центрирована между двумя линиями. Равномерный PDF предполагает, что игла с одинаковой вероятностью упадет в любом месте этого диапазона, но не может упасть за его пределы.

Равномерная функция плотности вероятности θ между 0 и π / 2 равна

{ displaystyle { begin {cases} { frac {2} { pi}} &: 0 leq theta leq { frac { pi} {2}} 0 &: { text {в другом месте .}} end {case}}}

Здесь, θ = 0 радианы представляет собой иглу, параллельную отмеченным линиям, и θ = π / 2 радиан представляет собой стрелку, перпендикулярную отмеченным линиям. Любой угол в этом диапазоне считается одинаково вероятным исходом.

Два случайные переменные, Икс и θ, независимы, поэтому совместная функция плотности вероятности это продукт

{ displaystyle { begin {case} { frac {4} {t pi}} &: 0 leq x leq { frac {t} {2}}, 0 leq theta leq { frac { pi} {2}} 0 &: { text {в другом месте.}} end {case}}}

Игла пересекает линию, если

{ displaystyle x leq { frac {l} {2}} sin theta.}

Теперь есть два случая.

Случай 1: Короткая игла

Интегрирование совместной функции плотности вероятности дает вероятность того, что стрелка пересечет линию:

{ Displaystyle P = int _ { theta = 0} ^ { frac { pi} {2}} int _ {x = 0} ^ {(l / 2) sin theta} { frac { 4} {t pi}} , dx , d theta = { frac {2l} {t pi}}.}.

Случай 2: длинная игла

Предполагать ${ displaystyle l> t}$ . В этом случае, интегрируя совместную функцию плотности вероятности, получаем:

{ displaystyle int _ { theta = 0} ^ { frac { pi} {2}} int _ {x = 0} ^ {m ( theta)} { frac {4} {t pi }} , dx , d theta,}

куда ${ Displaystyle м ( тета)}$ это минимум между ${ Displaystyle (л / 2) грех тета}$ и ${ displaystyle t / 2}$ .

Таким образом, выполняя вышеуказанное интегрирование, мы видим, что при ${ Displaystyle т <л}$ , вероятность того, что стрелка пересечет линию, равна

{ displaystyle { frac {2l} {t pi}} - { frac {2} {t pi}} left {{ sqrt {l ^ {2} -t ^ {2}}} + t sin ^ {- 1} left ({ frac {t} {l}} right) right } + 1}

или же

{ displaystyle { frac {2} { pi}} cos ^ {- 1} { frac {t} {l}} + { frac {2} { pi}} { frac {l} { t}} left {1 - { sqrt {1- left ({ frac {t} {l}} right) ^ {2}}} right }.}

Во втором выражении первый член представляет собой вероятность того, что угол иглы будет таким, что она всегда будет пересекать хотя бы одну линию. Правый член представляет собой вероятность того, что игла упадет под углом, в котором ее положение имеет значение, и пересечет линию.

В качестве альтернативы обратите внимание, что всякий раз, когда ${ displaystyle theta}$ имеет такую ценность, что ${ Displaystyle л грех тета leq т}$ , то есть в диапазоне ${ Displaystyle 0 Leq тета Leq sin ^ {- 1} (т / л)}$ вероятность пересечения такая же, как и в случае короткой иглы. Однако если ${ Displaystyle л грех тета> т}$ , то есть, ${ Displaystyle грех ^ {- 1} (т / л) < тета leq { гидроразрыва { pi} {2}}}$ вероятность постоянна и равна 1.

{ Displaystyle left ( int _ { theta = 0} ^ { sin ^ {- 1} (t / l)} int _ {x = 0} ^ {(l / 2) sin theta} { frac {4} {t pi}} right) + left ( int _ { sin ^ {- 1} (t / l)} ^ { frac { pi} {2}} { frac {2} { pi}} right) = { frac {2l} {t pi}} - { frac {2} {t pi}} left {{ sqrt {l ^ {2 } -t ^ {2}}} + t sin ^ {- 1} left ({ frac {t} {l}} right) right } + 1}

Использование элементарного исчисления

Следующее решение для случая «короткой иглы», хотя и эквивалентно описанному выше, имеет более наглядный вид и позволяет избежать повторных интегралов.

Мы можем вычислить вероятность ${ displaystyle P}$ как произведение двух вероятностей: ${ Displaystyle P = P_ {1} cdot P_ {2}}$ , куда ${ displaystyle P_ {1}}$ - вероятность того, что центр иглы упадет достаточно близко к линии, чтобы игла могла пересечь ее, и ${ displaystyle P_ {2}}$ это вероятность того, что стрелка действительно пересечет линию, учитывая, что центр находится в пределах досягаемости.

Глядя на иллюстрацию в предыдущем разделе, очевидно, что игла может пересечь линию, если центр иглы находится внутри ${ displaystyle l / 2}$ единиц по обе стороны полосы. Добавление ${ displaystyle { frac {l} {2}} + { frac {l} {2}}}$ с двух сторон и разделяя на всю ширину ${ displaystyle t}$ , мы получаем ${ displaystyle P_ {1} = { frac {l} {t}}.}$

Красная и синяя иглы расположены в центре x. Красный попадает в серую область, расположенную под углом 2θ с каждой стороны, поэтому пересекает вертикальную линию; синий - нет. Пропорция серого круга - это то, что мы интегрируем как центр Икс идет от 0 до 1

Теперь предположим, что центр находится в пределах досягаемости края полосы, и вычислим ${ displaystyle P_ {2}}$ . Для упрощения расчета можно считать, что ${ displaystyle l = 2}$ .

Позволять Икс и θ как на иллюстрации в этом разделе. Поместив центр иглы в Икс, стрелка пересечет вертикальную ось, если она попадет в диапазон 2θ радиан из π радиан возможных ориентаций. Это серая область слева от Икс на рисунке. Для фиксированного Икс, мы можем выразить θ как функция Икс: ${ Displaystyle тета влево (х вправо) = соз ^ {- 1} влево (х вправо)}$ . Теперь мы можем позволить переменной x перейти от 0 к 1 и интегрировать:

{ Displaystyle P_ {2} = int _ {0} ^ {1} { frac {2 theta (x)} { pi}} , dx = { frac {2} { pi}} int _ {0} ^ {1} cos ^ {- 1} (x) , dx = { frac {2} { pi}} cdot 1 = { frac {2} { pi}}. }

Умножая оба результата, получаем ${ Displaystyle P = P_ {1} cdot P_ {2} = { frac {l} {t}} { frac {2} { pi}} = { frac {2l} {t pi}} }$ , как указано выше.

Есть еще более изящный и простой метод расчета «короткой иглы». Конец иглы, наиболее удаленный от любой из двух линий, граничащих с ее областью, должен быть расположен в пределах горизонтального (перпендикулярного к граничным линиям) расстояния ${ Displaystyle л соз тета}$ (куда ${ displaystyle theta}$ угол между иглой и горизонталью) от этой линии, чтобы игла пересекла ее. Наибольшее расстояние, на которое этот конец иглы может отойти от этой линии по горизонтали в своей области, составляет ${ displaystyle t}$ . Вероятность того, что самый дальний конец иглы находится не более чем на расстоянии ${ Displaystyle л соз тета}$ от линии (и, таким образом, чтобы стрелка пересекала линию) вне общего расстояния ${ displaystyle t}$ он может перемещаться в своем регионе на ${ Displaystyle 0 Leq Theta Leq Pi / 2}$ дан кем-то

${ displaystyle P = { frac { int _ {0} ^ { frac { pi} {2}} l cos theta d theta} { int _ {0} ^ { frac { pi } {2}} td theta}} = { frac {l} {t}} { frac { int _ {0} ^ { frac { pi} {2}} cos theta d theta } { int _ {0} ^ { frac { pi} {2}} d theta}} = { frac {l} {t}} { frac {1} { frac { pi} { 2}}} = { frac {2l} {t pi}}}$ , как указано выше.

Без интегралов

Проблема короткой иглы также может быть решена без какой-либо интеграции, таким образом, чтобы объяснить формулу для п из геометрического факта, что круг диаметром т пересечет расстояние т полосы всегда (т.е. с вероятностью 1) ровно в двух точках. Это решение было дано Жозеф-Эмиль Барбье в 1860 г.^[3] и также упоминается как "Лапша Буффона ".

Оценка π

Эксперимент по поиску π. Спички длиной 9 квадратов перебрасывались 17 раз между рядами шириной 9 квадратов. 11 матчей случайно попали на нарисованные линии, отмеченные зелеными точками.
(2l · n) / (th) = (2 · 9 · 17) / (9 · 11) ≈3,1≈π.

А Python 3 моделирование на основе Матплотлиб набросать эксперимент Буффона с иглой с параметрами t = 5,0, l = 2,6. Обратите внимание на расчетное значение Pi (ось y), приближающееся к 3,14, когда количество бросков (ось x) приближается к бесконечности.

В первом, более простом случае выше полученная формула для вероятности ${ displaystyle P}$ можно изменить на:

{ displaystyle pi = { frac {2l} {tP}}}

Таким образом, если мы проведем эксперимент по оценке

{ displaystyle P}

, у нас также будет оценка для π.

Допустим, мы бросаем п иглы и найди это час этих иголок пересекают линии, поэтому ${ displaystyle P}$ аппроксимируется дробью ${ displaystyle h / n}$ . Это приводит к формуле:

{ displaystyle pi приблизительно { frac {2l cdot n} {th}}.}

В 1901 году итальянский математик Марио Лаццарини провел эксперимент Буффона с иглой. Подбросив иглу 3408 раз, он получил известное приближение 355/113 для π с точностью до шести значащих цифр.^[4]«Эксперимент» Лаццарини является примером Подтверждение смещения, поскольку он был настроен для воспроизведения уже хорошо известного приближения 355/113 (на самом деле, нет лучшего рационального приближения с менее чем пятью цифрами в числителе и знаменателе), дающего более точное «предсказание» π, чем можно было бы ожидать от количества испытаний следующим образом:^[5]

Лаццарини выбрал иглы, длина которых составляла 5/6 ширины полоски дерева. В этом случае вероятность того, что иглы пересекут линии, равна ${ textstyle { frac {5} {3 pi}}}$ . Таким образом, если бы один должен был уронить п иглы и получить Икс пересечений, можно было бы оценить π как:

{ displaystyle pi приблизительно { гидроразрыва {5} {3}} cdot { frac {n} {x}}}

Так что если Лаццарини стремился к результату 355/113, ему нужно было п и Икс такой, что:

{ displaystyle { frac {355} {113}} = { frac {5} {3}} cdot { frac {n} {x}}}

или эквивалентно,

{ displaystyle x = { frac {113n} {213}}.}

Для этого нужно выбрать п как кратное 213, потому что тогда

{ textstyle { frac {113n} {213}}}

целое число; затем один падает п иголки и надежды именно на

{ textstyle x = { frac {113n} {213}}}

Если бросить 213 игл и получить 113 успехов, то можно с триумфом сообщить об оценке π с точностью до шести знаков после запятой. Если нет, можно просто сделать еще 213 испытаний и надеяться на 226 успехов; если нет, просто повторите при необходимости. Лаццарини выполнил 3408 = 213 · 16 испытаний, поэтому кажется вероятным, что именно эту стратегию он использовал для получения своей «оценки».

Приведенное выше описание стратегии можно даже считать благотворительным для Лаццарини. Статистический анализ промежуточных результатов, которые он сообщил для меньшего количества бросков, приводит к очень низкой вероятности достижения такого близкого соответствия с ожидаемым значением на протяжении всего эксперимента. Это делает весьма вероятным, что сам «эксперимент» никогда не проводился физически, а был основан на числах, придуманных для соответствия статистическим ожиданиям, но, как оказалось, слишком хорошо.^[5]

Однако голландский научный журналист Ханс ван Маанен утверждает, что к статье Лаццарини никогда не следует относиться слишком серьезно, поскольку для читателей журнала (ориентированного на школьных учителей) было бы совершенно очевидно, что аппарат, который, по словам Лаззарини, построил, не может возможно работать как описано.^[6]

Смотрите также

Библиография

Барсук, Ли (апрель 1994). "Удачное приближение Лаццарини числа π". Математический журнал. Математическая ассоциация Америки. 67 (2): 83–91. Дои:10.2307/2690682. JSTOR 2690682.
Рамали, Дж. Ф. (октябрь 1969 г.). «Проблема лапши Буффона». Американский математический ежемесячник. Математическая ассоциация Америки. 76 (8): 916–918. Дои:10.2307/2317945. JSTOR 2317945.
Матхай, А. М. (1999). Введение в геометрическую вероятность. Ньюарк: Гордон и Бреч. п. 5. ISBN 978-90-5699-681-9.
Делл, Захари; Франклин, Скотт В. (сентябрь 2009 г.). «Проблема иглы Бюффона-Лапласа в трех измерениях». Журнал статистической механики: теория и эксперимент. 2009 (9): 010. Bibcode:2009JSMTE..09..010D. Дои:10.1088 / 1742-5468 / 2009/09 / P09010.
Шредер, Л. (1974). «Проблема иглы Бюффона: захватывающее приложение многих математических концепций». Учитель математики, 67 (2), 183–6.

внешняя ссылка

Проблема иглы Буффона в завязать узел
Математические сюрпризы: лапша Буффона в завязать узел
MSTE: Игла Буффона
Java-апплет Buffon's Needle
Оценка визуализации PI (Flash)
Игла Буффона: развлечения и основы (презентация) в слайдшер
Анимации для моделирования иглы Бюффона Ихуи Се с помощью р упаковка анимация
3D физическая анимация Джеффри Вентрелла
Падилья, Тони. «∏ Пи и игла Буффона». Numberphile. Брэди Харан. Архивировано из оригинал на 2013-05-17. Получено 2013-04-09.

[1] de l'Acad. Рой. des. Наук (1733), 43–45; Naturelle, Générale et Partulière Приложение 4 (1777), стр. 46.

[2] Берендс, Эрхард. "Буффон: Hat er Stöckchen geworfen oder hat er nicht?" (PDF). Получено 14 марта 2015.

[3] Айгнер, Мартин; Циглер, Гюнтер М. (2013). Доказательства из КНИГИ (2-е изд.). Springer Science & Business Media. С. 189–192.

[4] Лаццарини, М. (1901). "Un'applicazione del calcolo della probabilità alla ricerca sperimentale di un valore Approssimato di π" [Приложение теории вероятностей к экспериментальному исследованию приближения π]. Periodico di Matematica per l'Insegnamento Secondario (на итальянском). 4: 140–143.

[Badger1994-5] а ^б Ли Бэджер, 'Удачное приближение Лаццарини числа π', Математический журнал 67, 1994, 83–91.

[vMaanen2018-6] Ханс ван Маанен, 'Het stokje van Lazzarini' (палка Лаццарини), «Скептер» 31.3, 2018.

[1]

[2]

[3]

[4]

[5]

[6]