Matematikte, genelleştirilmiş Batlamyus teoremi olarak da bilinen Casey teoremi, adını İrlandalı matematikçi John Casey'den alan Öklid geometrisindeki bir teoremdir. Teoremin formülasyonu küçükresim| , yarıçapı olan bir çember olsun. (sırasıyla) içinde yer alan kesişmeyen ve 'ya teğet olan dört çember olsun. , çemberlerin dış ortak çifte teğet (bitanjant)'inin uzunluğunu göstersin. Buna göre: . Dört çemberin hepsinin noktalara indirgendiği dejenere durumda, bunun tam olarak Batlamyus teoremi olduğuna dikkat edin. İspat Aşağıdaki kanıt Zacharias'a atfedilebilir. çemberinin yarıçapını ile belirtelim ve çember ile teğet noktasını da ile gösterelim. Çemberlerinin merkezleri için gösterimini kullanacağız. Pisagor teoreminden, Bu uzunluğu, türünden ifade etmeye çalışacağız . üçgende kosinüs yasasına göre, çemberleri birbirine teğet olduğundan: , çemberinin üzerindeki bir nokta olsun. üçgeninde sinüs yasasına göre: Bu nedenle, ve bunları yukarıdaki formülde yerine koyarsak: Ve son olarak, aradığımız uzunluk; kirişler dörtgenine uygulanan orijinal Batlamyus teoreminin yardımıyla artık sol tarafı hesaplayabiliriz: Diğer genellemeler Görülebileceği gibi, dört çemberin büyük çemberin içinde olması gerekmiyor. Aslında, ona dışarıdan da teğet olabilirler. Bu durumda aşağıdaki değişiklik yapılmalıdır: Eğer , ikisi de 'nun aynı tarafından teğetse (her ikisi de içeriden veya her ikisi de dışarıdan), dış ortak teğetin uzunluğudur. Eğer , 'ya farklı yönlerden teğetse (biri içeriden ve biri dışarıdan), iç ortak teğetin uzunluğudur. Casey teoreminin tersi de doğrudur. Yani, eşitlik geçerliyse, çemberler ortak bir çembere teğettir. Uygulamalar Casey teoremi ve tersi, Öklid geometrisindeki çeşitli ifadeleri kanıtlamak için kullanılabilir. Örneğin, Feuerbach teoreminin bilinen en kısa kanıtı Casey teoreminin tersini kullanır. Notlar Dış bağlantılar İlave okumalar Abrosimov, Nikolay & Mikaiylova, Liudmila. (2015). Casey's theorem in hyperbolic geometry. Siberian Electronic Mathematical Reports. 12. ss. 354-360. 10.17377/semi.2015.12.029. Abrosimov, N.V., Aseev, V.V. Generalizations of Casey’s Theorem for Higher Dimensions. Lobachevskii J Math 39, 1–12 (2018). https://doi.org/10.1134/S199508021801002X Kaynakça Kategori:Kanıt içeren maddeler Kategori:Öklid geometrisi teoremleri Kategori:Öklid geometrisi Kategori:Çemberler