Barbier's theorem

Barbier's theorem These Reuleaux polygons have constant width, and all have the same width; therefore by Barbier's theorem they also have equal perimeters.

In geometria, Barbier's theorem states that every curve of constant width has perimeter π times its width, regardless of its precise shape.[1] This theorem was first published by Joseph-Émile Barbier in 1860.[2] Contenuti 1 Esempi 2 Prove 3 Higher dimensions 4 Guarda anche 5 References Examples The most familiar examples of curves of constant width are the circle and the Reuleaux triangle. For a circle, the width is the same as the diameter; a circle of width w has perimeter πw. A Reuleaux triangle of width w consists of three arcs of circles of radius w. Each of these arcs has central angle π/3, so the perimeter of the Reuleaux triangle of width w is equal to half the perimeter of a circle of radius w and therefore is equal to πw. A similar analysis of other simple examples such as Reuleaux polygons gives the same answer.

Proofs One proof of the theorem uses the properties of Minkowski sums. If K is a body of constant width w, then the Minkowski sum of K and its 180° rotation is a disk with radius w and perimeter 2πw. Tuttavia, the Minkowski sum acts linearly on the perimeters of convex bodies, so the perimeter of K must be half the perimeter of this disk, which is πw as the theorem states.[3] In alternativa, the theorem follows immediately from the Crofton formula in integral geometry according to which the length of any curve equals the measure of the set of lines that cross the curve, multiplied by their numbers of crossings. Any two curves that have the same constant width are crossed by sets of lines with the same measure, and therefore they have the same length. Storicamente, Crofton derived his formula later than, and independently of, Barbier's theorem.[4] An elementary probabilistic proof of the theorem can be found at Buffon's noodle.

Higher dimensions The analogue of Barbier's theorem for surfaces of constant width is false. In particolare, the unit sphere has surface area {displaystyle 4pi approx 12.566} , while the surface of revolution of a Reuleaux triangle with the same constant width has surface area {displaystyle 8pi -{tfrac {4}{3}}pi ^{2}ca 11.973} .[5] Invece, Barbier's theorem generalizes to bodies of constant brightness, three-dimensional convex sets for which every two-dimensional projection has the same area. These all have the same surface area as a sphere of the same projected area.

And in general, Se {stile di visualizzazione S} is a convex subset of {displaystyle mathbb {R} ^{n}} , for which every (n-1)-dimensional projection has area of the unit ball in {displaystyle mathbb {R} ^{n-1}} , then the surface area of {stile di visualizzazione S} is equal to that of the unit sphere in {displaystyle mathbb {R} ^{n}} . This follows from the general form of Crofton formula.[6] See also Blaschke–Lebesgue theorem and isoperimetric inequality, bounding the areas of curves of constant width References ^ Lay, Steven R. (2007), Convex Sets and Their Applications, Dover, Teorema 11.11, pp. 81–82, ISBN 9780486458038. ^ Barbier, e. (1860), "Note sur le problème de l'aiguille et le jeu du joint couvert" (PDF), Journal de mathématiques pures et appliquées, 2e série (in francese), 5: 273–286. See in particular pp. 283–285. ^ The Theorem of Barbier (Java) at cut-the-knot. ^ Sylvester, J. J. (1890), "On a funicular solution of Buffon's "problem of the needle" in its most general form" (PDF), Giornale di matematica, 14 (1): 185–205, doi:10.1007/BF02413320. ^ Bayen, Térence; Henrion, Didier (2012), "Semidefinite programming for optimizing convex bodies under width constraints", Optimization Methods and Software, 27 (6): 1073–1099, CiteSeerX 10.1.1.402.9539, doi:10.1080/10556788.2010.547580. ^ Martini, Horst; Montejano, Luis; Oliveros, Déborah (2019), "Sezione 13.3.2 Convex Bodies of Constant Brightness", Bodies of Constant Width: An Introduction to Convex Geometry with Applications, Birkhauser, pp. 310–313, doi:10.1007/978-3-030-03868-7, ISBN 978-3-030-03866-3, SIG 3930585 Categorie: Theorems in plane geometryPiLengthConstant width