Barbiers teoremi - Barbiers theorem - Wikipedia

Bunlar Reuleaux çokgenleri sabit genişliğe ve hepsi aynı genişliğe sahiptir; bu nedenle Barbier teoremine göre aynı zamanda eşit çevreleri vardır.

İçinde geometri, Barbier teoremi şunu belirtir her sabit genişlikte eğri çevresi var π kesin şekli ne olursa olsun genişliğinin iki katı.[1] Bu teorem ilk olarak Joseph-Émile Barbier 1860'da.[2]

Örnekler

Sabit genişliğe sahip eğrilerin en bilinen örnekleri, daire ve Reuleaux üçgeni. Bir daire için genişlik, çap; genişlikte bir daire w vardır çevre πw. Reuleaux üçgeni genişliği w üçten oluşur yaylar çevrelerinin yarıçap w. Bu yayların her birinde merkez açı π / 3, böylece Reuleaux genişlik üçgeninin çevresi w yarıçaplı bir dairenin çevresinin yarısına eşittir w ve bu nedenle eşittir πw. Gibi diğer basit örneklerin benzer bir analizi Reuleaux çokgenleri aynı cevabı verir.

Kanıtlar

Teoremin bir kanıtı aşağıdaki özellikleri kullanır: Minkowski toplamları. Eğer K sabit genişlikte bir gövdedir w, ardından Minkowski toplamı K ve 180 ° dönüşü yarıçaplı bir disktir w ve çevre 2πw. Bununla birlikte, Minkowski toplamı, dışbükey cisimlerin çevresi üzerinde doğrusal olarak hareket eder, bu nedenle K bu diskin çevresinin yarısı kadar olmalıdır, yani πw teoremin belirttiği gibi.[3]

Alternatif olarak teorem, Crofton formülü içinde integral geometri buna göre herhangi bir eğrinin uzunluğu, eğriyi kesen çizgiler kümesinin ölçüsüne eşittir, kesişme sayılarıyla çarpılır. Aynı sabit genişliğe sahip herhangi iki eğri, aynı ölçüye sahip çizgi kümeleriyle kesişir ve bu nedenle aynı uzunluktadırlar. Tarihsel olarak Crofton, formülünü Barbier teoreminden daha sonra ve ondan bağımsız olarak türetmiştir.[4]

Teoremin temel bir olasılık kanıtı şu adreste bulunabilir: Buffon'un eriştesi.

Daha yüksek boyutlar

Barbier teoreminin analogu sabit genişlikte yüzeyler yanlış. Özellikle, birim küre yüzey alanına sahip iken devrim yüzeyi bir Reuleaux üçgeni aynı sabit genişlikte yüzey alanı vardır .[5]

Ayrıca bakınız

Referanslar

  1. ^ Lay, Steven R. (2007), Konveks Kümeler ve Uygulamaları, Dover, Teorem 11.11, s. 81–82, ISBN  9780486458038.
  2. ^ Barbier, E. (1860), "Not sur le problème de l'aiguille et le jeu du joint couvert" (PDF), Journal de mathématiques pures ve aplike, 2e série (Fransızca), 5: 273–286. Özellikle sayfa 283–285'e bakın.
  3. ^ Barbier Teoremi (Java) -de düğümü kesmek.
  4. ^ Sylvester, J. J. (1890), "Buffon'un" iğne probleminin "en genel haliyle bir füniküler çözümü üzerine (PDF), Acta Mathematica, 14 (1): 185–205, doi:10.1007 / BF02413320.
  5. ^ Bayen, Térence; Henrion, Didier (2012), "Genişlik kısıtlamaları altında dışbükey gövdeleri optimize etmek için yarı kesin programlama", Optimizasyon Yöntemleri ve Yazılımları, 27 (6): 1073–1099, CiteSeerX  10.1.1.402.9539, doi:10.1080/10556788.2010.547580.