Barbier teoremi

Geometride, Barbier teoremi, kesin şekli ne olursa olsun, sabit genişliğe sahip her eğrinin çevresinin, genişliğinin  katı olduğunu belirtir. Bu teorem, ilk olarak Joseph-Émile Barbier tarafından 1860'ta yayınlandı.

Örnekler 

Sabit genişliğe sahip eğrilerin en bilinen örnekleri çember ve Reuleaux üçgenidir. Bir çember için genişlik, çapla aynıdır;  genişliğinde bir çemberin çevresi 'dur.  genişliğine sahip bir Reuleaux üçgeni,  yarıçaplı üç yaydan oluşur. Bu yayların her birinin merkezi açısı  kadardır, bu nedenle  genişliğindeki Reuleaux üçgenin çevresi,  yarıçaplı bir dairenin çevresinin yarısına yani 'ya eşittir. Reuleaux poligonları gibi diğer basit örneklerin benzer bir analizi de aynı sonucu verir.

İspatlar 
Teoremin bir kanıtı, Minkowski toplamlarının özelliklerini kullanır. Eğer , sabit  genişliğine sahip bir cisim ise,  ve 180° dönüşünün Minkowski toplamı yarıçapı  ve çevresi  olan bir disktir. Bununla birlikte, Minkowski toplamı, dışbükey cisimlerin çevresi üzerinde doğrusal olarak etki eder, bu nedenle 'nin çevresi, teoremin belirttiği gibi  olan bu diskin çevresinin yarısı olmalıdır.

Alternatif olarak teorem, herhangi bir eğrinin uzunluğunun, eğriyi kesen çizgiler kümesinin ölçüsüne eşit olduğu ve bunların kesişme sayılarıyla çarpıldığı integral geometrideki Crofton formülünü takip eder. 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.

Teoremin temel bir olasılık kanıtı, Buffon'un iğnesinde bulunabilir.

Daha yüksek boyutlar 
Barbier'in sabit genişliğe sahip yüzeyler için geliştirdiği teoreminin analojisi yanlıştır. Özellikle birim küre,  yüzey alanına sahipken, aynı sabit genişlikteki bir Reuleaux üçgeninin dönme yüzeyi ile  yüzey alanına sahiptir.

Dış bağlantılar ve ilave okumalar

Ayrıca bakınız 
 Blaschke–Lebesgue teoremi
 İzoperimetrik eşitsizlik
 Sabit genişlikteki eğrilerin alanlarını sınırlamak

Kaynakça 

Uzunluk
Pi sayısı
Öklid geometrisi teoremleri