Buffons nudel
I geometrisk sannolikhet är problemet med Buffons nudel en variant av det välkända problemet med Buffons nål , uppkallat efter Georges-Louis Leclerc, Comte de Buffon som levde på 1700-talet. Detta förhållningssätt till problemet publicerades av Joseph-Émile Barbier 1860.
Buffons nål
Anta att det finns oändligt många parallella linjer med lika mellanrum och att vi slumpmässigt skulle kasta en nål vars längd är mindre än eller lika med avståndet mellan intilliggande linjer. Vad är sannolikheten att nålen kommer att ligga över en linje vid landning?
För att lösa detta problem, låt vara längden på nålen och vara avståndet mellan två intilliggande linjer. Låt sedan vara den spetsiga vinkeln som nålen gör med horisontalplanet, och låt vara avståndet från nålens mitt till närmaste linje.
Nålen ligger tvärs över närmaste linje om och endast om . Vi ser detta tillstånd från den räta triangeln som bildas av nålen, den närmaste linjen och linjen med längd när nålen ligger tvärs över den närmaste linjen.
Nu antar vi att värdena för bestäms slumpmässigt när de landar, där , eftersom , och . Exempelutrymmet för är alltså en rektangel med sidolängderna och π .
Sannolikheten för händelsen att nålen ligger tvärs över den närmaste linjen är den del av provrummet som skär \ . Eftersom , ges arean för denna skärningspunkt av
Nu är provutrymmets yta
Därför är sannolikheten för händelsen
Böjer nålen
Formeln förblir densamma även när nålen är böjd på något sätt (med förbehåll för begränsningen att den måste ligga i ett plan), vilket gör den till en "nudel" - en styv plan kurva . Vi släpper antagandet att nudelns längd inte är mer än avståndet mellan de parallella linjerna.
Sannolikhetsfördelningen av antalet korsningar beror på nudelns form, men det förväntade antalet korsningar gör det inte ; det beror bara på nudelns längd L och avståndet D mellan de parallella linjerna (observera att en krökt nudel kan korsa en enda linje flera gånger).
Detta faktum kan bevisas enligt följande (se Klain och Rota). Anta först att nudeln är bitvis linjär , dvs består av n raka bitar. Låt X i vara antalet gånger den i :te biten korsar en av de parallella linjerna. Dessa slumpvariabler är inte oberoende , men förväntningarna är fortfarande additiva på grund av förväntningarnas linjäritet :
När det gäller en krökt nudel som gränsen för en sekvens av bitvis linjära nudlar, drar vi slutsatsen att det förväntade antalet korsningar per kast är proportionellt mot längden; det är några konstanta gånger längden L . Då är problemet att hitta konstanten. Om nudeln är en cirkel med diameter lika med avståndet D mellan de parallella linjerna, då L = π D och antalet korsningar är exakt 2, med sannolikhet 1. Så när L = π D är det förväntade antalet korsningar 2. Därför måste det förväntade antalet korsningar vara 2 L /( π D ).
Barbiers teorem
Om man utökar detta argument något, om är en konvex kompakt delmängd av , då är det förväntade antalet linjer som skär lika med hälften av det förväntade antalet linjer som skär omkretsen av , vilket är .
I synnerhet, om nudeln är en stängd kurva med konstant bredd D, är antalet korsningar också exakt 2. Detta betyder att omkretsen har längden samma som en cirkel, vilket bevisar Barbiers teorem .
Anteckningar
- Ramaley, JF (1969). "Buffons nudelproblem" (PDF) . American Mathematical Monthly . Mathematical Association of America. 76 (8 oktober 1969): 916-918. doi : 10.2307/2317945 . ISSN 0002-9890 . JSTOR 2317945 .
- Daniel A. Klain; Gian-Carlo Rota (1997). Introduktion till geometrisk sannolikhet . Cambridge University Press . sid. 1 . ISBN 978-0-521-59654-1 .