Buffonsches Nadelproblem

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
Beginn der Beschreibung des Buffonschen Nadelproblems in einer Ausgabe der Histoire Naturelle von 1778

Das buffonsche Nadelproblem fragt nach der Wahrscheinlichkeit, dass eine willkürlich geworfene Nadel ein Gitter paralleler Linien schneidet. Es erlaubt unter anderem, die Kreiszahl experimentell zu bestimmen. Das Problem gehört zum Bereich der Integralgeometrie und war eines der ersten auf diesem Gebiet.[1] Georges-Louis Leclerc de Buffon behandelte es erstmals 1733 vor der Pariser Akademie der Wissenschaften[2] und nochmals ausführlicher im Supplement zu seiner Histoire Naturelle 1777.[3][4]

Experimentelle Durchführung

[Bearbeiten | Quelltext bearbeiten]

Benötigt werden möglichst viele identische Stäbchen. Auf einer ebenen Unterlage werden parallele Hilfslinien im Abstand konstruiert.

Alle vorhandenen Stäbchen werden zufällig auf der Unterlage verstreut. Abschließend zählt man, wie viele Stäbchen eine der Linien kreuzen.

Falls der Abstand der Linien gleich der Länge der Stäbchen ist, so erhält man eine Näherung für , indem man die Anzahl aller genutzten Stäbchen mit 2 multipliziert und durch die Anzahl der Stäbchen, die eine Linie kreuzen, teilt.

Grüne Punkte beschreiben einen Schnittpunkt der Stäbchen mit der Linie

Auf dem Bild rechts kreuzen 11 von 17 Stäbchen eine Linie; es ergibt sich also die Näherung

.

Gilt (Fall kurzer Stäbchen), so ist (wie im Folgeabschnitt abgeleitet) die Formel für die Trefferwahrscheinlichkeit . Nach umgestellt, und unter Benutzung der relativen Häufigkeiten als Schätzer für folgt der Schätzer

wobei die Anzahl aller Stäbchen der Länge bezeichnet. ist die Anzahl aller Stäbe, die eine der Linien kreuzen und ist der Abstand zweier benachbarter Linien.

Nach dem Gesetz der großen Zahlen nähert sich die relative Häufigkeit für eine große Anzahl an Stäbchen der angegebenen Wahrscheinlichkeit an:

 und damit   für  .

Für den Fall (Fall langer Stäbchen) ist der Zusammenhang etwas komplizierter.[5]

Beweis für Nadeln beliebiger Länge

[Bearbeiten | Quelltext bearbeiten]
Der Winkel

Der Winkel , unter dem die Nadel auf die Linien trifft, ist eine gleichverteilte Zufallsvariable. Eine Realisierung dieser Zufallsvariablen wird durch ein kleines notiert. Ob eine Nadel eine Linie berührt (1) oder nicht (0), ist eine Bernoulli-verteilte Zufallszahl . Der Erwartungswert wird im Experiment geschätzt: , wobei die Zahl der Würfe ist.

Fall kurzer Nadeln

[Bearbeiten | Quelltext bearbeiten]

Für den Fall (kurze Nadel) betrachte man nur einen waagerechten Streifen der Breite , siehe Abbildung rechts für den Fall . Eine Nadel der Länge berührt den Rand, falls der auf der senkrechten gestrichelten Linie liegende Endpunkt der Nadel innerhalb eines Streifens der Breite von einem der beiden Ränder liegt. Die Zufallsvariablen und besitzen eine gemeinsame Wahrscheinlichkeitsverteilung, da sie sich auf dasselbe Zufallsexperiment beziehen.[6] Da die Zufallsvariablen und reellwertig sind, existiert eine reguläre bedingte Wahrscheinlichkeit von , gegeben .[7] Daher gilt insbesondere

.[8]

Mit der Wahrscheinlichkeit für die Existenz eines Schnittpunktes[9]

im Fall und mit der Dichtefunktion

der Zufallsvariablen ergibt sich

Somit ist bzw. .

Daher ist ein Schätzer für , mit . Asymptotisch für große Stichprobenumfänge ist normalverteilt um den Mittelwert , wobei die Varianz des Schätzers[10] ist.

Fall langer Nadeln

[Bearbeiten | Quelltext bearbeiten]

Im Fall (lange Nadel) muss man die Möglichkeit der mehrfachen Berührung von Linien berücksichtigen, so dass die Formeln komplizierter werden:[11]

Man kann statt des Arkussekans in der letzten Formel auch benutzen. Im Fall ergeben beide Formeln . Im Fall der langen Nadel wächst streng monoton mit der Nadellänge und geht für gegen 1.

Der Beweis von Barbier für kleine Nadeln

[Bearbeiten | Quelltext bearbeiten]
Zum Beweis von Barbier: Zwei Schnitt- oder Berührungspunkte für Kreise vom Durchmesser

Barbier gab 1860[12][13] für den Fall kleiner Nadeln einen Beweis, der ohne Integration auskommt. Zunächst wird gezeigt, dass der gesuchte Erwartungswert für die Anzahl der Treffer eine lineare Funktion der Länge der Nadel ist ( mit der Länge ), was auch für beliebige Kurven gilt, da man sie durch einen Streckenzug approximieren kann. Zu bestimmen ist die Proportionalitätskonstante . Dazu wird der Fall von Kreisen mit Durchmesser betrachtet, die immer genau 2 Treffer auf den Parallellinien im Abstand haben. Man nähert den Kreis durch ein- und umgeschriebene Vielecke (mit dem Umfang bzw. ) und erhält

sowie beim Grenzübergang der Seitenanzahl der Vielecke gegen Unendlich

,

also und somit das gewünschte Ergebnis .

Wegen seiner Eleganz wurde der Beweis von Barbier von Aigner und Ziegler in Das Buch der Beweise aufgenommen.

Verallgemeinerungen

[Bearbeiten | Quelltext bearbeiten]

Man kann nach anderen Figuren als Strecken fragen, die zufällig auf eine Ebene geworfen werden, beispielsweise Polygonzüge. Aus der Formel für das Buffonproblem folgt für Polygone mit einem Durchmesser kleiner und dem Umfang die Trefferwahrscheinlichkeit

.

Nähert man eine geschlossene Kurve durch einen solchen Polygonzug,[14] ergibt sich auch in diesem Fall die Trefferwahrscheinlichkeit, wenn man den Umfang des Polygonzugs durch die Länge der Kurve ersetzt (auch hier muss der Durchmesser kleiner sein). Das sind die Ausgangspunkte zu Methoden der Integralgeometrie, aus geeigneten Trefferwahrscheinlichkeiten Formeln zum Beispiel für die Bogenlänge von Kurven zu erhalten.

Im sogenannten Buffon-Laplace-Nadelproblem fragt man nach der Trefferwahrscheinlichkeit für ein Rechteck-Gitter mit Seitenlängen und . Für kleine Nadeln ( und ) ergibt sich[15]

.

Das Problem lässt sich auch auf den Wurf anderer Körper ausdehnen, wie in dem auch von Buffon 1733 angesprochenen Franc-Carreau-Problem:[16] Man werfe eine Münze (Kreisscheibe, Durchmesser ) auf ein Quadratgitter (Seitenlänge ), wobei sei. Wie groß ist die Wahrscheinlichkeit, dass die Münze auf dem Rand zu liegen kommt? Da die Münze den Rand nur berühren kann, falls ihr Mittelpunkt im Abstand vom Rand ist, lässt sich durch einfache geometrische Überlegungen die Trefferwahrscheinlichkeit als Flächenverhältnis angeben:

Für ein faires Spiel muss sein.

Über das Nadelproblem und ähnliche Probleme berichtete Buffon 1733 vor der Französischen Akademie der Wissenschaften, wie Fontenelle[17] berichtet. Von Interesse war es in Zusammenhang mit einem damals bei Adligen beliebten Spiel: Man werfe eine Münze auf ein Kachelmuster und wette auf die Lage der Münze, ob sie eine der Ritzen berührt oder nicht (Franc-Carreau-Problem). Buffon ging darauf ausführlicher 1777 ein, wobei er im Fall des Nadelproblems auch schon die korrekte Antwort vermutete. Insbesondere leitete er aus der Formel für kurze Nadeln ab, dass für ein faires Wetten (d. h. für Wetten mit 50-prozentiger Gewinnwahrscheinlichkeit) beim Nadelproblem das Verhältnis sein muss. Für den Wurf auf ein quadratisches Gitter gab er allerdings eine falsche Formel an. Die korrekte Formel (auch im Fall eines Rechteck-Gitters) gab erst Pierre Simon de Laplace 1812 an,[18] ohne Buffon zu erwähnen. Er zitierte das als Beispiel für die Anwendung der Wahrscheinlichkeitstheorie auf die Bestimmung von Kurvenlängen und Flächeninhalten. Das wurde dann unter anderem von Isaac Todhunter 1865 ausgeführt. Aus der Beschäftigung mit dem buffonschen Nadelproblem ergab sich auch Croftons Formel (siehe Morgan Crofton) für die Bogenlänge einer Kurve in der Integralgeometrie (1868).

Der Italiener Mario Lazzarini soll 1901 den umfangreichsten experimentellen Test der Formel durchgeführt haben (mit einer eigens gebauten Maschine), mit 3408 Würfen von Nadeln mit einem Längenverhältnis . Sein Ergebnis war 1808 Treffer, so dass sich ein Wert für von ergab, auf sechs Stellen hinter dem Komma genau. Die von ihm angegebenen Zahlen sind jedoch verdächtig (andere Autoren interpretierten das als Glückstreffer[19][20]) und scheinen auf die bekannte Näherung für zugeschnitten zu sein.[21][22] Der Astronom Rudolf Wolf[23] führte das Experiment 1850 aus mit und erhielt bei 5000 Würfen 2532 Treffer, entsprechend einer Abschätzung für von .[24] Weitere Experimente führte Ambrose Smith 1855[25] mit 3204 Würfen () bei 1218 Treffern aus,[26] was für einen Wert von ergibt. Hans-J. Bentz führte das Experiment mit 2000 Würfen aus und erhielt für .[27][28]

  • Martin Aigner, Günter M. Ziegler: Das Buch der Beweise, Springer Verlag 2002, Kapitel 24 Das Nadelproblem von Buffon, S. 179–182.
  • Persi Diaconis: Buffon’s Needle Problem with a Long Needle, J. Appl. Prob. 13, 1976, S. 614–618 (Verteilung der Anzahl der Treffer bei langen Nadeln).
  • P. Holgate: Buffon’s cycloid, Studies in the history of probability and statistics XXXIX, Biometrika 68 (3) (1981), 712–716 (zur Geschichte).
  • Magdalena Hyksova, Anna Kalousova, Ivan Saxl: Early history of geometric probability and stereology, Image Anal. Stereology 31, 2012, 1–16, pdf.
  • Maurice George Kendall, P. A. P. Moran: Geometric Probability, Charles Griffin, London 1963, S. 70 ff.
  • P. H. Müller (Hrsg.): Lexikon der Stochastik – Wahrscheinlichkeitsrechnung und mathematische Statistik. 5. Auflage. Akademie-Verlag, Berlin 1991, ISBN 978-3-05-500608-1, Buffonsches Nadelproblem (Buffon’s needle problem), S. 46–47.
  • Isaac Todhunter: A History of the mathematical theory of probability from the time of Pascal to that of Laplace, Macmillan 1865, S. 347 ff., Archive.
  • L. Schroeder: Buffon’s needle problem: An exciting application of many mathematical concepts, Mathematics Teacher, 67, 1974, S. 183–186.
  • James Victor Uspensky: Introduction to Mathematical Probability, McGraw Hill 1937, S. 112 ff.

Einzelnachweise und Anmerkungen

[Bearbeiten | Quelltext bearbeiten]
  1. Später stellte sich heraus, dass auch Isaac Newton Überlegungen auf diesem Gebiet angestellt hatte, diese aber nicht veröffentlichte.
  2. Isaac Todhunter: History of the Mathematical Theory of Probability, 1865, S. 203.
  3. John J. O’Connor, Edmund F. RobertsonGeorges Louis Leclerc Comte de Buffon. In: MacTutor History of Mathematics archive (englisch).
  4. Buffon: Essai d’arithmétique morale, Histoire naturelle, générale er particulière, Supplément 4, 46–123, 1777. Der Essay stammt aus der Zeit um 1760. Todhunter, History of the Mathematical Theory of Probability, 1865, S. 344.
  5. Eric Weisstein: Buffon’s Needle Problem. In: MathWorld (englisch).
  6. In mathematischer Sprechweise: und sind messbare Funktionen auf demselben Wahrscheinlichkeitsraum.
  7. Die Existenz einer regulären bedingten Wahrscheinlichkeit, bei der die Bedingung die Wahrscheinlichkeit Null hat, ist nicht trivial, aber hier durch die spezielle Struktur der reellen Zahlen gewährleistet. In allgemeineren Messräumen kann diese Eigenschaft verlorengehen.
  8. Hierbei ist keine elementare bedingte Wahrscheinlichkeit, insbesondere gilt nicht , denn für die Wahrscheinlichkeit gilt , da eine Nullmenge beschreibt. Beachte, dass für die Wahrscheinlichkeitsdichte jedoch sehr wohl für gilt.
  9. Zur bedingten Wahrscheinlichkeit als Grenzwert elementarer bedingter Wahrscheinlichkeiten siehe Michael A. Proschan, Pamela A. Shaw: Essentials of Probability Theory for Statisticians. CRC Press, Boca Raton 2016, ISBN 978-1-4987-0419-9, Abschnitt 10.8 Conditional Distribution Functions als Derivatives, S. 237–238.
  10. https://mathworld.wolfram.com/BuffonsNeedleProblem.html
  11. Die Ableitung ist aber nicht viel schwieriger. Man macht beim Integrationsbereich eine Fallunterscheidung in einen Bereich, in dem nur eine Berührung stattfinden kann, bei dem die Integration wie bei kurzen Nadeln ausgeführt werden kann, und einen Bereich mit mindestens einer Berührung, dort ist die Wahrscheinlichkeit 1. Siehe Aigner, Ziegler.
  12. E. Barbier: Note sur le problème de l’aiguelle et le jeu du joint couvert, J. Math. Pures et Appliqués, Band 5, 1860, S. 273–286.
  13. Aigner, Ziegler: Das Buch der Beweise, Springer Verlag, Kapitel 24.
  14. Zum Beispiel Boris Wladimirowitsch Gnedenko: Theory of Probability, MIR Publishers, 1978, S. 38 f.
  15. Eric Weisstein: Buffon-Laplace Needle Problem. In: MathWorld (englisch).
  16. Diderot, Enzyklopädie 1752 zum Franc Carreau Problem, PDF (Memento vom 21. September 2013 im Internet Archive)
  17. Histoire de l’Academie royale des Sciences, année 1733, Paris 1735, S. 43–45, nur in einer kurzen Mitteilung.
  18. Laplace: Théorie analytique des probabilités, Paris: Veuve Courcier, 1812, S. 359 ff.
  19. Genauer zur Analyse von Resultaten wie dem von Lazzarini. B. Gnedenko: Theory of Probability, MIR 1978, S. 37 f. Ist die Anzahl der Würfe kleiner als 5000, folgt schon aus elementaren Überlegungen, dass schon bei Änderung der Trefferanzahl um 1 die vierte Dezimalstelle geändert wird. Nach Gnedenko ist die Wahrscheinlichkeit, gerade diesen Zahlenwert für im Fall des Experiments von Lazzarini zu erhalten, kleiner als drei Prozent.
  20. Kendall, Moran: Geometric Probability, S. 70 führen scherzhafter Weise in ihrer Tabelle der Experimente auch folgenden Eintrag von N. T. Gridgeman (Geometric Probability and the Number Pi, Scripta Mathematica 25, 1960, 183–195): Anzahl der Würfe: 2, Treffer: 1, , ergibt die Näherung für von
  21. Nach Aigner, Ziegler: .
  22. Siehe dazu auch Lee Badger: Lazzarini’s Lucky Approximation of π, Mathematics Magazine, Band 67, 1994, 83–91.
  23. Biographie von Wolf in der ADB von Siegmund Günther.
  24. Kendall, Moran: Geometric Probability, S. 70.
  25. Augustus De Morgan berichtet darüber in A Budget of Paradoxes 1872, siehe Uspensky: Introduction to Mathematical Probability, 113.
  26. Genauer 1213 bei 11 unklaren Fällen, von denen die Hälfte gewertet wurde.
  27. H.-J. Bentz: Das Buffon-Nadelproblem (1777), Praxis der Mathematik, 22, 1980, Heft 6, S. 167–171.
  28. Simulation mit einem Computerprogramm (Monte-Carlo-Verfahren): Hans-J. Bentz: Zur Simulation des Buffon Nadelproblems, Praxis der Mathematik, 24, 1982, Heft 5, S. 129–137.