
Çok katlı, topolojide soyut topolojik bir uzay. Bu uzayın her noktasının çevresi Öklit uzayına benzer. Bununla birlikte, çok katlı bir Öklit uzayı olmak zorunda değildir. Genel yapısı, bu basit yerel yapısından çok daha karmaşık olabilir. Çok katlının boyutu, yerel olarak benzediği Öklit uzayının boyutu olarak tanımlanır. Herhangi bir topolojik uzay içinse boyut kavramından söz etmek genelde olası değildir.

Çemberlerde Thales teoremi, alınan A, B ve C noktalarının bir çember üzerinde ve AC doğrusunun bu çemberin çapı olması durumunda, ABC açısının dik açı olacağını belirten geometri teoremi. Thales teoremi çevre açı kurallarının özel bir hâlidir. Adını Thales'ten alan teorem, genellikle ona atfedilir ancak bazı yerlerde Pisagor'la da ilişkilendirilir.
Matematikte bir sabit nokta teoremi, bir F fonksiyonunun, genel terimlerle ifade edilmiş belli koşullar altında en az bir sabit noktası olduğunu ifade eden bir sonuçtur. Bu tür sonuçlar matematikte en çok kullanılanlar arasındadır.

Projektif geometride, Desargues teoremi, adını Girard Desargues'den alır, şunu belirtir:
- İki üçgen, ancak ve ancak merkezi olarak perspektif içindeyse eksenel olarak perspektif içindedir.

Geometride, Thales teoremi, A, B ve C, AC çizgisinin bir çap olduğu bir daire üzerinde farklı noktalar ise, ∠ABC açısının bir dik açı olduğunu belirtir. Thales teoremi, çevre açı teoreminin özel bir durumudur ve Öklid'in Elemanlar adlı eserinin üçüncü kitabında 31. önermenin bir parçası olarak bahsedilmiş ve kanıtlanmıştır. Genellikle, teoremin keşif için şükran kurbanı olarak bir öküz sunduğu söylenen Miletli Thales'e atfedilir, ancak bazen Pisagor'a da atfedilir.
Thales teoremi veya temel orantı teoremi olarak da bilinen kesişme teoremi, kesişen iki çizginin bir çift paralelle kesilmesi durumunda oluşturulan çeşitli çizgi parçalarının oranları hakkındaki temel geometride önemli bir teoremdir. Benzer üçgenlerdeki oranlarla ilgili teoreme eşdeğerdir. Geleneksel olarak Yunan matematikçi Thales'e atfedilir.

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ı.

Geometride Brianchon teoremi, bir konik kesit etrafındaki bir altıgen ile sınırlandırıldığında, ana köşegenlerinin tek bir noktada kesiştiğini belirten bir teoremdir. Adını Fransız matematikçi Charles Julien Brianchon'dan (1783–1864) almıştır.

Bézout teoremi, cebirsel geometride n değişkenli n polinomun ortak sıfırlarının sayısı ile ilgili bir ifadedir. Orijinal biçiminde teorem, genel olarak ortak sıfırların sayısının, polinomların derecelerinin çarpımına eşit olduğunu belirtir. Adını Fransız matematikçi Étienne Bézout'dan almıştır.

Çember sıkıştırma teoremi, düzlemde iç kısımları ayrık olan çemberler arasındaki olası teğetlik ilişkilerini tanımlar. Dairesel sıkıştırma, içleri ayrık olan bağlantılı bir çember koleksiyonudur. Bir çember sıkıştırmasının kesişme çizgesi (grafı), her çember için bir tepe noktasına ve teğet olan her çember çifti için bir kenara sahip olan çizgedir. Çember sıkıştırma, düzlemde veya eşdeğer olarak küre üzerindeyse, kesişme çizgesine madeni para (coin) çizgesi denir; daha genel olarak, iç-ayrık geometrik nesnelerin kesişme çizgelerine, teğetlik çizgeleri veya temas çizgeleri denir. Madeni para çizgeleri her zaman bağlı, basit ve düzlemseldir. Çember sıkıştırma teoremi, bunların bir çizgenin madeni para çizgesi olması için tek gereklilik olduğunu belirtir:
Geometride Descartes teoremi, her dört öpüşen veya karşılıklı teğet çember için, çemberlerin yarıçaplarının belirli bir ikinci dereceden denklemi sağladığını belirtir. Bu denklemi çözerek, verilen üç karşılıklı teğet çembere teğet olan dördüncü bir çember oluşturulabilir. Teorem adını, 1643'te teoremi tanımlayan René Descartes'tan almıştır.
Geometride demet teoremi; en basit durumda, gerçek Öklid düzlemindeki altı çember ve sekiz nokta üzerine bir ifadedir. Genel olarak, sadece oval Möbius düzlemleri tarafından meydana getirilen bir Möbius düzleminin bir özelliğidir. Demet teoremi Miquel teoremi ile karıştırılmamalıdır.

Üçgen geometrisinde, üçgenin iç çemberi ve dokuz nokta çemberi, üçgenin Feuerbach noktasında birbirine içten teğettir. Feuerbach noktası bir üçgen merkezidir, yani tanımı üçgenin yerleşimine ve ölçeğine bağlı değildir. Clark Kimberling'in Üçgen Merkezleri Ansiklopedisi'nde X(11) olarak listelenmiştir ve adını Alman geometrici Karl Wilhelm Feuerbach'tan almıştır.

Geometride, beş çember teoremi, ortak bir altıncı çember üzerinde ortalanmış ve birbirlerini zincirler halinde kesen beş çember verildiğinde, ikinci kesişme noktalarını birleştiren doğruların, noktaları çemberlerin kendi üzerinde bulunan bir pentagram oluşturduğunu belirtir.

Geometride, çevre açı, çember üzerinde iki sekant (kesen) çizgisi kesiştiğinde bir çember üzerinde oluşan açıdır. Çember üzerindeki bir nokta ile çember üzerinde verilen diğer iki noktanın oluşturduğu açı olarak da tanımlanabilir.

Kesişen kirişler teoremi veya sadece kiriş teoremi, bir çember içinde kesişen iki kiriş tarafından oluşturulan dört doğru parçasının ilişkisini tanımlayan temel geometrideki bir ifadedir. Her bir kirişteki doğru parçalarının uzunluklarının çarpımlarının eşit olduğunu belirtir. Öklid'in Unsurlarının 3. kitabının 35. önermesidir.
Dışbükey bir kirişler çokgeni, herhangi bir şekilde üçgenlere ayrıldığında ve bu şekilde oluşturulan her üçgene bir iç teğet çember çizildiğinde Japon teoremi, bu üçgenlerin iç teğet çemberlerinin yarıçapları toplamının, seçilen üçgenlemeden bağımsız bir şekilde sabit olduğunu belirtir. Bu teorem, Carnot teoremi kullanılarak kanıtlanabilir. Japon matematikçilerin eski bir geleneğine göre, bu teorem 1800'de tanrıları ve yazarı onurlandırmak için bir Japon tapınağına asılan tabletlere yazılmış bir Sangaku problemiydi.
Geometride, Jung teoremi, herhangi bir Öklid uzayındaki bir dizi noktanın çapı ile bu kümenin minimum çevreleyen topunun yarıçapı arasındaki bir eşitsizliktir. Bu eşitsizliği ilk kez 1901'de inceleyen Heinrich Jung'un adını almıştır. En küçük çember problemini açık bir biçimde çözmek için algoritmalar da mevcuttur.

Yedi çember teoremi, Öklid düzlemindeki yedi adet çemberin belirli bir düzenlemesi hakkında bir geometri teoremidir. Bu teoreme göre, her biri iki komşusuna ve yedinci bir dış çembere teğet olan altı çemberden oluşan bir zincir verildiğinde, yedinci çember üzerindeki teğet noktalarının karşıt çiftlerini birleştiren üç doğru aynı noktadan geçer. Teorem, yalnızca temel geometrik ilkeler kullanılarak ifade edilip ispatlanabiliyor olsa da 1974'e kadar keşfedilememiştir.

Temel geometride, Reuschle teoremi, ortak bir noktada kesişen bir üçgenin cevianlarının bir özelliğini tanımlar ve adını Alman matematikçi Karl Gustav Reuschle (1812-1875)'den alır. Ayrıca Fransız matematikçi Olry Terquem (1782-1862)'in adıyla 1842'de yayınlayan Terquem teoremi olarak da bilinir. Teorem, Euler doğrusu ve Feuerbach'ın dokuz nokta çemberi ile bağlantılı olarak benzer biçimde bulunan belirli köşe çaprazlarının kesişim özellikleriyle ilgili bir problemi ele almaktadır. Reuschle teoreminin ispatı, sekant teoreminin yanı sıra Ceva teoremi ve onun karşıt teoremine dayanmaktadır.