Loading AI tools
tüm köşeleri tek bir çember üzerinde yer alan dörtgen Vikipedi'den, özgür ansiklopediden
Öklid geometrisinde, bir kirişler dörtgeni[a] veya çembersel dörtgen veya çevrimsel dörtgen,[b] köşeleri tek bir çember üzerinde bulunan bir dörtgendir. Bu çembere çevrel çember[c] denir ve köşelerin aynı çember içinde[d] olduğu söylenir. Çemberin merkezi ve yarıçapı sırasıyla çevrel merkez[e] ve çevrel yarıçap[f] olarak adlandırılır. Bu dörtgenler için kullanılan diğer isimler eş çember dörtgeni[g] ve kordal dörtgen[h]dir, ikincisi, dörtgenin kenarları çemberin kirişleri olduğu içindir. Genellikle dörtgenin dışbükey (konveks) olduğu varsayılır, ancak çapraz çevrimsel dörtgenler de vardır. Aşağıda verilen formüller ve özellikler dışbükey durumda geçerlidir.
Çembersel[i] kelimesi Antik Yunancadan gelmektedir. Grekçe: κύκλος (kuklos), "çember" veya "tekerlek" anlamına gelir.
Tüm üçgenler bir çevrel çembere sahiptir, ancak tüm dörtgenler sahip değildir. Çembersel olamayan bir dörtgen örneği kare olmayan bir eşkenar dörtgendir. Aşağıdaki tanımlamalar bölümü, bir dörtgenin bir çevrel çembere sahip olması için hangi gerek ve yeter koşulları sağlaması gerektiğini belirtir.
Herhangi bir kare, dikdörtgen, ikizkenar yamuk veya antiparalelkenar[j] çevrimseldir. Bir uçurtma ancak ve ancak iki dik açıya sahipse - bir dik uçurtma[k] ise- çevrimseldir. Bir çift merkezli dörtgen,[l] aynı zamanda teğetsel[m] olan çevrimsel bir dörtgendir ve bir dış-çift merkezli dörtgen,[n] aynı zamanda dış-teğetsel[o] olan çevrimsel bir dörtgendir. Bir harmonik dörtgen, karşılıklı kenarların uzunluklarının çarpımının eşit olduğu bir çevrimsel dörtgendir.
Dışbükey bir dörtgen ancak ve ancak kenarlara dik dört açıortay tek noktada kesişirse[p] çevrimseldir. Bu ortak nokta çevrel merkez yani çevrel çemberin merkezidir.[1]
Bir dışbükey ABCD dörtgeni ancak ve ancak karşıt açıları tamamlayıcı ise çevrimseldir,[1][2] yani:
Doğrudan teorem, Öklid'in Elementler adlı eserinin 3. kitabındaki 22. önermedir.[3] Eşit bir şekilde, bir dışbükey dörtgen ancak ve ancak her dış açı karşıt iç açıya eşitse çevrimseldir.
1836 yılında Duncan Gregory, bu sonucu aşağıdaki şekilde genelleştirmiştir: Herhangi bir dışbükey çevrimsel 2n-geni verildiğinde, iç "ters" açıların[s] ikişerli toplamının her biri 'ye eşittir.[4] Bu sonuç, aşağıdaki şekilde daha da genelleştirilebilir: Eğer A1A2... A2n (n > 1), tepe noktası Ai->Ai+k (tepe noktası Ai, Ai+k ile birleştirilir) olan herhangi bir çevrimsel 2n-geni ise, iç ters açıların ikişerli toplamının her biri 'ye eşittir (burada m = n-k ve k = 1, 2, 3, ... toplam dönüştür).[5]
Her bir açının stereografik izdüşümü (yarım açı tanjantı) alındığında, bu yeniden ifade edilebilir,
Bu da şu anlama gelir:[6]
Bir dışbükey ABCD dörtgeni ancak ve ancak bir kenar ile bir köşegen arasındaki açı, karşı kenar ile diğer köşegen arasındaki açıya eşitse çevrimseldir.[7]
Yani, örneğin,
Dışbükey bir ABCD dörtgenin çevrimsel olması için gerek ve yeter diğer koşullar şunlardır: E köşegenlerin kesişme noktası olsun, F ise AD ve BC kenarlarının uzantılarının kesişme noktası olsun, , çapı EF doğru parçası olan bir çember olsun ve P ile Q, çemberinin oluşturduğu AB ve CD kenarları üzerindeki Pascal noktaları olsun.
(1) ABCD ancak ve ancak P ile Q noktaları çemberinin merkezi O ile aynı hizada ise çevrimsel bir dörtgendir.
(2) ABCD ancak ve ancak P ile Q noktaları AB ve CD kenarlarının orta noktaları ise çevrimsel bir dörtgendir.[2]
Biri AC doğru parçasını, diğeri BD doğru parçasını içeren iki doğru E noktasında kesişiyorsa, A, B, C, D dört noktası ancak ve ancak şu koşullarda aynı çember içinde olur:[8]
Kesişim noktası E, çemberin içinde ya da dışında olabilir. İlk durumda çevrimsel dörtgen ABCD, ikinci durumda ise çevrimsel dörtgen ABDC olur. Kesişim iç tarafta olduğunda eşitlik, E'nin bir köşegeni böldüğü parça uzunluklarının çarpımının diğer köşegeninkine eşit olduğunu belirtir. Bu kesişen kirişler teoremi[t] olarak bilinir çünkü çevrimsel dörtgenin köşegenleri çemberin kirişleridir.
Batlamyus teoremi, çevrimsel bir dörtgenin e ve f köşegenlerinin uzunluklarının çarpımının, karşılıklı kenarların çarpımlarının toplamına eşit olduğunu ifade eder:[2][9]:p.25
burada a, b, c, d sırasıyla kenar uzunluklarıdır. Bunun tersi de doğrudur. Yani, bu denklem dışbükey bir dörtgende sağlanırsa, çevrimsel bir dörtgen oluşur.
Dışbükey bir ABCD dörtgeninde EFG, ABCD'nin köşegen üçgeni olsun ve EFG'nin dokuz nokta çemberi olsun. ABCD ancak ve ancak ABCD bimedyanlarının kesişim noktası dokuz nokta çemberi 'ya aitse çevrimseldir.[2][10][11]
Kenarları a, b, c, d olan çevrimsel bir dörtgenin alanı K, Brahmagupta formülü ile aşağıdaki gibi hesaplanabilir.[9]:p.24
burada s, yarı çevreyi göstermekte olup, s = 12(a + b + c + d) şeklinde bulunur. Bu, Bretschneider formülünün genel dörtgen için bir sonucudur, çünkü karşıt açılar çevrimsel olması durumunda tamamlayıcıdır. Eğer ayrıca d =0 ise, çevrimsel dörtgen bir üçgene dönüşür ve formül Heron formülüne indirgenir.
Çevrimsel dörtgen, aynı kenar uzunluklarına sahip tüm dörtgenler arasında (sıralamaya bakılmaksızın) maksimum alana sahiptir. Bu, Bretschneider formülünün bir başka sonucudur. Ayrıca kalkülüs kullanılarak da kanıtlanabilir.[12]
Her biri diğer üçünün toplamından daha az olan ve eşit olmayan dört uzunluk, Brahmagupta formülüne göre hepsi aynı alana sahip üç eşlenik olmayan çevrimsel dörtgenin[13] her birinin kenarlarıdır. Özellikle, a, b, c ve d kenarları için, a kenarı b, c veya d kenarlarından herhangi birinin karşısında olabilir.
Ardışık kenarları a, b, c, d olan çevrimsel bir dörtgenin alanı, a ve d kenarları arasındaki A açısı ve a ve b kenarları arasındaki B açısı şu şekilde ifade edilebilir:[9]:p.25
veya
veya[9]:p.26
burada θ, köşegenler arasındaki herhangi bir açıdır. Eğer A bir dik açı değilse, alan şu şekilde de ifade edilebilir:[9]:p.26
Bir diğer formül ise,[14]:p.83
burada R çevrel çemberin yarıçapıdır. Doğrudan bir sonuç olarak,[15]
burada ancak ve ancak dörtgen bir kare ise eşitlik söz konusudur.
Ardışık köşeleri A, B, C, D ve kenarları a = AB, b = BC, c = CD ve d = DA olan çevrimsel bir dörtgende, köşegenlerin uzunlukları p = AC ve q = BD taraflar cinsinden şu şekilde ifade edilebilir:[9]:p.25,[16][17]:p. 84
böylece Batlamyus teoremi gösterilmiş olur:
Batlamyus'un ikinci teoremi'ne göre,[9]:p.25,[16]
yukarıdaki gibi aynı notasyonları kullanır.
Köşegenlerin toplamı için şu eşitsizliğe sahibiz:[18]:p.123,#2975
Eşitlik, ancak ve ancak köşegenlerin eşit uzunlukta olması durumunda geçerlidir, bu da AO-GO eşitsizliği kullanılarak kanıtlanabilir.
Ayrıca,[18]:p.64,#1639
Herhangi bir dışbükey dörtgende, iki köşegen birlikte dörtgeni dört üçgene böler; çevrimsel bir dörtgende, bu dört üçgenin zıt çiftleri birbirlerine benzerdir.
Eğer ABCD, AC ile BD'nin E'de kesiştiği çevrimsel bir dörtgen ise[19]
Bir çevrimsel dörtgen oluşturabilecek kenarlar kümesi, her biri aynı çemberde aynı alana sahip bir çevrimsel dörtgen oluşturabilecek üç farklı diziden herhangi birinde düzenlenebilir (Brahmagupta'nın alan formülüne göre alanlar aynıdır). Bu çevrimsel dörtgenlerden herhangi ikisinin ortak bir köşegen uzunluğu vardır.[17]:p. 84
Ardışık kenarları a, b, c, d olan çevrimsel bir dörtgen için yarı çevre s ve a ve d kenarları arasındaki A ise, A açısının trigonometrik fonksiyonları şu şekilde verilir:[20]
Karşılıklı kenarları a ve c olan köşegenler arasındaki θ açısı aşağıdaki ifadeyi sağlar[9]:p.26
Karşılıklı kenarlar a ve c'nin uzantıları φ açısıyla kesişiyorsa,
burada s, yarı çevredir.[9]:p.31
ve kenarları arasındaki açıyı, ve arasındaki açıyı ve ve arasındaki açıyı göstersin:[21]
Ardışık kenarları a, b, c, d ve yarı çevresi s olan çevrimsel bir dörtgen, aşağıdaki şekilde verilen çevrel yarıçapa (çevrel çemberin yarıçapı) sahiptir[16][22]
Bu ifade, 15. yüzyılda Hintli matematikçi Vatasseri Parameshvara tarafından türetilmiştir (Yarıçapın herhangi bir kenar uzunluğunun değişimi altında değişmez olduğunu unutmayın).
Brahmagupta formülünü kullanarak, Parameshvara formülü şu şekilde yeniden ifade edilebilir:
burada K çevrimsel dörtgenin alanıdır.
Her biri çevrimsel bir dörtgenin bir kenarına dik olan ve karşı kenarın orta noktasından geçen dört doğru parçası, aynı noktada kesişir.[23]:p.131;[24] Bu doğru parçalarına orta nokta rakımının kısaltması olan maltitüdler[v] adı verilir.[25] Ortak noktalarına karşıt merkez[w] adı verilir. Çevrel merkezin "tepe merkezi"ndeki[x] yansıması olma özelliğine sahiptir. Dolayısıyla, çevrimsel bir dörtgende, çevrel merkez, "tepe merkezi" ve karşıt merkez doğrudaştır.[24]
Eğer bir çevrimsel dörtgenin köşegenleri P noktasında kesişiyorsa ve köşegenlerin orta noktaları M ve N ise, o zaman dörtgenin karşıt merkezi MNP üçgeninin ortosentr[y]ıdır.
Bir çevrimsel dörtgenin karşıt merkezi, köşelerinin Poncelet noktasıdır.
Bir Brahmagupta dörtgeni[27] kenarları, köşegenleri ve alanı tam sayı olan çevrimsel bir dörtgendir. Kenarları a, b, c, d, köşegenleri e, f, alanı K olan tüm Brahmagupta dörtgenleri ve çevresel yarıçapı R, t, u ve v rasyonel parametrelerini içeren aşağıdaki ifadelerden paydadan kurtarmayla elde edilebilir:
Aynı zamanda ortodiyagonal olan (dik köşegenlere sahip) bir çevrimsel dörtgen için, köşegenlerin kesişiminin bir köşegeni p1 ile p2 uzunluğundaki parçalara böldüğünü ve diğer köşegeni q1 ile q2 uzunluğundaki parçalara böldüğünü varsayalım. O zaman,[28] (ilk eşitlik Archimedes'in Book of Lemmas kitabındaki 11. önermedir)
burada D çemberin çapıdır. Bu geçerlidir çünkü köşegenler bir çemberin kirişlerine diktir. Bu denklemler çevrel yarıçap R'nin,
olarak veya dörtgenin kenarları cinsinden[23]
şeklinde ifade edilebileceğini gösterir. Aynı zamanda şu sonucu da doğurur:[23]
Böylece, Euler dörtgen teoremine göre çevrel yarıçapı, p ve q köşegenleri ve köşegenlerin orta noktaları arasındaki mesafe x cinsinden şu şekilde ifade edilebilir:
Alan K için bir formül, çevrimsel ortodiyagonal dörtgenin dört kenarı cinsinden Batlamyus teoremi ve ortodiyagonal dörtgenin alanı formülü birleştirildiğinde doğrudan elde edilir. Sonuç şudur;[29]:p.222
Küresel geometride, kesişen dört büyük çemberden oluşan küresel bir dörtgen, ancak ve ancak karşıt açıların toplamları eşitse, yani dörtgenin α, β, γ, δ ardışık açıları için α + γ = β + δ ise çevrimseldir.[30] Bu teoremin bir yönü 1782 yılında Anders Johan Lexell tarafından kanıtlanmıştır.[31] Lexell, bir kürenin küçük bir çemberi içine yerleştirilmiş küresel bir dörtgende karşıt açıların toplamlarının eşit olduğunu ve çevrel dörtgende karşıt kenarların toplamlarının eşit olduğunu göstermiştir. Bu teoremlerden ilki, bir düzlem teoreminin küresel benzeşimidir ve ikinci teorem onun dualitesidir, yani büyük çemberler ile kutuplarının yer değiştirmesinin sonucudur.[32] Kiper ve diğ.[33] teoremin tersini kanıtladılar: Eğer küresel bir dörtgende karşılıklı kenarların toplamları eşitse, o zaman bu dörtgen için bir iç teğet çember vardır.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.