Buffons Nadelproblem
Zusammenfassung. Wirft man eine Nadel der Länge zufällig auf eine Ebene mit parallelen Linien im Abstand , so kreuzt sie mit Wahrscheinlichkeit eine Linie. Wir leiten die Formel her, schätzen durch Simulation, bestimmen die Konvergenzrate des Schätzers und zeigen damit, dass ein oft zitiertes Experiment von 1901 statistisch nicht so gelaufen sein kann wie berichtet. Zum Schluss verallgemeinern wir mit Barbier auf gekrümmte Nadeln.
1. Das Problem
Georges-Louis Leclerc, Comte de Buffon, stellte das Problem 1733 und veröffentlichte die Lösung 1777 [1]. Es gilt als eines der ersten Probleme der geometrischen Wahrscheinlichkeitsrechnung.
Gegeben sei eine Ebene mit parallelen Linien im Abstand und eine Nadel der Länge . Die Lage der Nadel nach dem Wurf beschreiben wir durch zwei Größen (Abbildung 1): den Abstand ihres Mittelpunkts von der nächstgelegenen Linie und den Winkel zwischen Nadel und Linien. „Zufällig geworfen“ präzisieren wir so, dass und unabhängig und gleichverteilt sind.
Die halbe Nadel reicht in senkrechter Richtung weit. Da , kann die Nadel höchstens eine Linie kreuzen, und das tut sie genau dann, wenn
2. Die Lösung
Satz 1 (Buffon, 1777). Für kreuzt die Nadel mit Wahrscheinlichkeit
eine Linie.
Beweis. Der Zufallsvektor ist gleichverteilt auf dem Rechteck mit dem Flächeninhalt . Die gesuchte Wahrscheinlichkeit ist der Anteil der Fläche unter der Kurve (Abbildung 2):
Für ist . Bemerkenswert ist, dass hier in einem Problem auftaucht, in dem kein Kreis vorkommt. Seine Quelle ist die Gleichverteilung des Winkels: Über alle Richtungen gemittelt ist die senkrechte Ausdehnung einer Strecke der Länge gerade .
3. π durch Werfen
Kehrt man die Formel um, erhält man einen Schätzer für . Bei Würfen mit Treffern ist
Nach dem starken Gesetz der großen Zahlen gilt fast sicher, also . Abbildung 3 zeigt 120 simulierte Würfe mit . Davon kreuzen 72 eine Linie, was den Schätzwert ergibt.
Eine Feinheit der Simulation: Wer den Winkel als gleichverteilt auf zieht, benutzt bereits. Das lässt sich vermeiden, indem man einen zufälligen Punkt im Quadrat zieht, ihn verwirft, falls er außerhalb des Einheitskreises liegt, und seine Richtung als Nadelrichtung verwendet. So sind die hier gezeigten Simulationen implementiert.
4. Wie schnell konvergiert der Schätzer?
ist binomialverteilt mit Parametern und . Nach dem zentralen Grenzwertsatz und der Delta-Methode, angewandt auf , gilt
Die asymptotische Varianz fällt mit wachsendem . Unter den Nadeln mit ist also die beste Wahl. Dann beträgt die Standardabweichung von etwa .
Das ist ernüchternd langsam. Um mit 95 % Sicherheit auf genau zu treffen, also auf zwei Nachkommastellen, braucht man rund 866.000 Würfe. Jede weitere Dezimalstelle verlangt das Hundertfache. Abbildung 4 zeigt eine Simulation mit einer Million Würfen. Nach Würfen liegt der Schätzwert bei 3,035, nach bei 3,131 und nach bei 3,140. Der Verlauf passt zum theoretischen 95-%-Band.
5. Ein Experiment, das zu gut war
1901 berichtete der italienische Mathematiker Mario Lazzarini, er habe mit die Nadel 3408-mal geworfen und 1808 Treffer erzielt. Das ergibt
auf sechs Nachkommastellen genau. Die Theorie aus Abschnitt 4 erlaubt eine nüchterne Bewertung [3]. Die Standardabweichung des Schätzers beträgt bei diesem Versuchsaufbau rund 0,05. Mehr noch: Ein einziger Treffer mehr oder weniger hätte 3,1399 beziehungsweise 3,1433 ergeben. Die Auflösung des Experiments liegt also bei etwa 0,002 pro Treffer. Die Genauigkeit auf sechs Nachkommastellen ist eine Eigenschaft des Bruchs , des bekannten Kettenbruch-Näherungswerts von , nicht des Experiments.
Auffällig ist auch die Wahl der Zahlen. Bei ist , und das ergibt genau dann , wenn ein Vielfaches von 213 und dasselbe Vielfache von 113 ist. Lazzarinis Zahlen erfüllen das: und . Badger [3] kommt zu dem Schluss, dass die Ergebnisse höchstwahrscheinlich nicht aus einem ehrlichen Experiment mit vorab festgelegter Wurfzahl stammen. Für sich genommen ist es zwar nicht ungewöhnlich, bei 3408 Würfen genau 1808 Treffer zu erzielen; das ist sogar der Erwartungswert, und die Wahrscheinlichkeit dafür beträgt etwa 1,4 %. Verdächtig ist die Kombination aus Nadelverhältnis, Wurfzahl und Ergebnis, die genau auf den bekannten Bruch zugeschnitten ist.
6. Buffons Nudel
Die Einschränkung auf gerade Nadeln ist überraschend unnötig. Für eine beliebige starre, stückweise glatte Kurve der Länge gilt nach Barbier [2]:
Satz 2 (Barbier, 1860). Die erwartete Anzahl der Schnittpunkte mit den Linien beträgt
Beweisskizze. Man zerlegt die Kurve in viele kurze, nahezu gerade Stücke. Für ein gerades Stück der Länge ist die erwartete Schnittzahl nach Satz 1 gleich . Die erwartete Schnittzahl der ganzen Kurve ist wegen der Linearität des Erwartungswerts die Summe über die Stücke – und das gilt, obwohl die Schnittereignisse der Stücke keineswegs unabhängig sind. Ein Grenzübergang liefert die Behauptung. ∎
Ein Kreis vom Durchmesser hat die Länge und damit erwartete Schnittpunkte. Er schneidet in jeder Lage tatsächlich genau zwei Mal, von Berührungen abgesehen. Ramaley [4] hat diese elegante Sichtweise als „Buffons Nudel“ bekannt gemacht.
Literatur
- G.-L. Leclerc, Comte de Buffon: Essai d’arithmétique morale. In: Histoire naturelle, générale et particulière, Supplément, Bd. 4. Paris, 1777.
- J.-É. Barbier: Note sur le problème de l’aiguille et le jeu du joint couvert. Journal de Mathématiques Pures et Appliquées (2) 5 (1860), 273–286.
- L. Badger: Lazzarini’s Lucky Approximation of π. Mathematics Magazine 67 (1994), 83–91.
- J. F. Ramaley: Buffon’s Noodle Problem. American Mathematical Monthly 76 (1969), 916–918.