{"title":"布冯的针头问题","authors":"Manuel Eberl","doi":"10.3840/000748","DOIUrl":null,"url":null,"abstract":"In the 18th century, Georges-Louis Leclerc, Comte de Buffon posed and later solved the following problem [1, 2], which is often called the first problem ever solved in geometric probability: Given a floor divided into vertical strips of the same width, what is the probability that a needle thrown onto the floor randomly will cross two strips? This entry formally defines the problem in the case where the needle’s position is chosen uniformly at random in a single strip around the origin (which is equivalent to larger arrangements due to symmetry). It then provides proofs of the simple solution in the case where the needle’s length is no greater than the width of the strips and the more complicated solution in the opposite case.","PeriodicalId":280633,"journal":{"name":"Arch. Formal Proofs","volume":"39 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Buffon's Needle Problem\",\"authors\":\"Manuel Eberl\",\"doi\":\"10.3840/000748\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In the 18th century, Georges-Louis Leclerc, Comte de Buffon posed and later solved the following problem [1, 2], which is often called the first problem ever solved in geometric probability: Given a floor divided into vertical strips of the same width, what is the probability that a needle thrown onto the floor randomly will cross two strips? This entry formally defines the problem in the case where the needle’s position is chosen uniformly at random in a single strip around the origin (which is equivalent to larger arrangements due to symmetry). It then provides proofs of the simple solution in the case where the needle’s length is no greater than the width of the strips and the more complicated solution in the opposite case.\",\"PeriodicalId\":280633,\"journal\":{\"name\":\"Arch. Formal Proofs\",\"volume\":\"39 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Arch. Formal Proofs\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3840/000748\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Arch. Formal Proofs","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3840/000748","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
摘要
18世纪,布冯伯爵勒克莱尔(george - louis Leclerc)提出并解决了以下问题[1,2],这通常被称为几何概率论中解决的第一个问题:给定一个地板被分成相同宽度的竖条,随机扔在地板上的一根针穿过两条竖条的概率是多少?这个条目正式定义了在原点周围的单个条带上均匀随机选择针的位置的问题(这相当于由于对称性而产生的更大的排列)。然后,它提供了在针的长度不大于条的宽度的情况下的简单解决方案和在相反的情况下更复杂的解决方案的证明。
In the 18th century, Georges-Louis Leclerc, Comte de Buffon posed and later solved the following problem [1, 2], which is often called the first problem ever solved in geometric probability: Given a floor divided into vertical strips of the same width, what is the probability that a needle thrown onto the floor randomly will cross two strips? This entry formally defines the problem in the case where the needle’s position is chosen uniformly at random in a single strip around the origin (which is equivalent to larger arrangements due to symmetry). It then provides proofs of the simple solution in the case where the needle’s length is no greater than the width of the strips and the more complicated solution in the opposite case.