Gnomon teoremi

Gnomon teoremi, bir gnomon'da meydana gelen belirli paralelkenarların eşit büyüklükte alanlara sahip olduğunu belirtir. Gnomon (Grekçe: γνώμων), geometride benzer bir paralelkenarı daha büyük bir paralelkenarın bir köşesinden çıkararak oluşturulan bir düzlem şeklidir; veya daha genel olarak, belirli bir şekle eklendiğinde, aynı şekle sahip daha büyük bir şekil oluşturan bir şekildir.^[1]

Teorem

${\displaystyle AC}$ köşegeni üzerinde ${\displaystyle P}$ noktası olan bir ${\displaystyle ABCD}$ paralelkenarında ${\displaystyle AD}$ kenarına paralel olan ve ${\displaystyle P}$ noktasından geçen doğru, ${\displaystyle CD}$ kenarını ${\displaystyle G}$ noktasında ve ${\displaystyle AB}$ kenarını da ${\displaystyle H}$ noktasında keser. Benzer şekilde ${\displaystyle AB}$ kenarına paralel ve ${\displaystyle P}$ noktasından geçen doğru, ${\displaystyle AD}$ kenarını ${\displaystyle I}$ noktasında ve ${\displaystyle BC}$ kenarını da ${\displaystyle F}$ noktasında keser. Gnomon teoremi, ${\displaystyle HBFP}$ ve ${\displaystyle IPGD}$ paralelkenarlarının eşit alanlara sahip olduğunu belirtir.^[2][3]

Gnomon, üst üste gelen iki paralelkenar olan ${\displaystyle ABFI}$ ve ${\displaystyle AHGD}$'den oluşan L biçimindeki şeklin adıdır. Eşit alana sahip ${\displaystyle HBFP}$ ve ${\displaystyle IPGD}$ paralelkenarları, ${\displaystyle PFCG}$ ve ${\displaystyle AHPI}$ köşegenlerindeki paralelkenarların tamamlayıcısı olarak adlandırılır.^[4]

İspat

Teoremin kanıtı, ana paralelkenarın alanları ve köşegeninin etrafındaki iki iç paralelkenarın alanları göz önüne alındığında basittir:

• ilk olarak, ana paralelkenar ile iki iç paralelkenar arasındaki fark, iki tamamlayıcının birleşik alanına tam olarak eşittir;
• ikinci olarak, üçü de köşegen ile ikiye bölünmüştür. Bu, şunları verir:^[5]

${\displaystyle |IPGD|={\frac {|ABCD|}{2}}-{\frac {|AHPI|}{2}}-{\frac {|PFCG|}{2}}=|HBFP|}$

Uygulamalar ve genişletmeler

Gnomon teoremi, cetvel ve pergelle yapılan çizimler yöntemiyle belirli bir paralelkenar veya dikdörtgene eşit alana sahip yeni bir paralelkenar veya dikdörtgen oluşturmak için kullanılabilir. Bu aynı zamanda geometrik terimlerle iki sayının bölünmesinin temsil edilmesine izin verir, bu da geometrik problemleri cebirsel terimlerle yeniden formüle etmek için önemli bir özelliktir. Daha kesin olarak, iki sayı doğru parçalarının uzunlukları olarak verilirse, uzunluğu bu iki sayının bölümü olan üçüncü bir doğru parçası oluşturulabilir (şekle bakınız). Diğer bir uygulama, bir doğru parçasının (farklı uzunluktaki) diğer bir doğru parçasına bölme oranının aktarılması, böylece diğer doğru parçasının belirli bir doğru parçası ve bölüntüsüyle aynı oranda bölünmesidir (şekle bakınız).^[2]

Paralel yüzlüler için benzer bir ifade üç boyutlu olarak yapılabilir. Bu durumda, bir paralel yüzeyin cisim köşegeni üzerinde bir ${\displaystyle P}$ noktası vardır ve iki paralel çizgi yerine ${\displaystyle P}$ noktası boyunca her biri paralel yüzlüye paralel olan üç düzleminiz vardır. Üç düzlem, paralel yüzlüleri sekiz küçük paralel yüzeye böler; bunlardan ikisi köşegeni çevreler ve ${\displaystyle P}$ noktasında buluşur. Şimdi, köşegenin etrafındaki bu iki paralel yüzlüden her biri kendisine bağlı kalan altı paralel yüzlüden üçüne sahiptir, bu üçü tamamlayıcı rolünü oynar ve eşit hacimdedir (şekle bakınız).^[3]

İç içe paralelkenarlar hakkında genel teorem

Gnomon teoremi, ortak köşegenli iç içe paralelkenarlar hakkında daha genel bir ifadenin özel bir durumudur. Verilen bir paralelkenar ${\displaystyle ABCD}$ için, köşegen olarak ${\displaystyle AC}$'yi içeren herhangi bir ${\displaystyle AFCE}$ iç paralelkenarını düşünün. Ayrıca, kenarları dış paralelkenarın kenarlarına paralel olan ve iç paralelkenar ile ${\displaystyle F}$ tepe noktasını paylaşan benzersiz şekilde belirlenmiş iki paralelkenar ${\displaystyle GFHD}$ ve ${\displaystyle IBJF}$ vardır. Şimdi bu iki paralelkenarın alanlarının farkı, iç paralelkenarın alanına eşittir,^[3] yani:

${\displaystyle |AFCE|=|GFHD|-|IBJF|}$

Bu ifade, köşeleri köşegen ${\displaystyle AC}$ üzerinde olan bozulmuş bir ${\displaystyle AFCE}$ iç paralelkenarına bakıldığında gnomon teoremini verir. Bu, özellikle paralelkenarlar ${\displaystyle GFHD}$ ve ${\displaystyle IBJF}$ için, ortak noktaları ${\displaystyle F}$'nin köşegen üzerinde olduğu ve alanlarının farkının sıfır olduğu anlamına gelir, bu tam olarak gnomon teoreminin ifade ettiği şeydir.

Tarihsel yönü

Gnomon teoremi, Öklid'in Elemanlarında (MÖ 300 civarında) yer alacak kadar erken tanımlanmış ve diğer teoremlerin türetilmesinde önemli bir rol oynamıştır. Gnomon terimini kullanmadan paralelkenarlar hakkında bir ifade olarak ifade edildiği Elemanların I. kitabında 43 numaralı önerme olarak verilmiştir. İkincisi, Elemanların II. kitabının ikinci tanımı olarak Öklid tarafından tanıtılmıştır. Gnomon ve özelliklerinin önemli bir rol oynadığı diğer teoremler, Kitap II'deki önerme 6, Kitap VI'daki önerme 29 ve Kitap XIII'deki 1'den 4'e kadar olan önermelerdir.^[5][6][7]

Notlar

Kaynakça

• Lorenz Halbeisen, Norbert Hungerbühler & Juan Läuchli (2016). Mit harmonischen Verhältnissen zu Kegelschnitten: Perlen der klassischen Geometrie (Almanca). Springer. ss. 190-191. ISBN 9783662530344. 
• George W. Evans (Mart 1927), "Some of Euclid's Algebra", The Mathematics Teacher, 20 (3), ss. 127-141, JSTOR 27950916 
• William J. Hazard (Ocak 1929), "Generalizations of the Theorem of Pythagoras and Euclid's Theorem of the Gnomon", The American Mathematical Monthly, 36 (1), ss. 32-34, JSTOR 2300175 
• Paolo Vighi & Igino Aschieri (2010), Vittorio Capecchi, Massimo Buscema, Pierluigi Contucci & Bruno D'Amore (Ed.), "From Art to Mathematics in the Paintings of Theo van Doesburg", Applications of Mathematics in Models, Artificial Neural Networks and Arts, Springer, ss. 601-610, ISBN 9789048185818 KB1 bakım: Editörler parametresini kullanan (link)

Dış bağlantılar

• "Theorem of the gnomon" (İngilizce). 3 Şubat 2020 tarihinde kaynağından arşivlendi.  ve "Definition of the gnomon". Öklid'in Elementler'i. 3 Şubat 2020 tarihinde kaynağından arşivlendi. 
• "Robert Langlands tarafından verilmiş konferans dizisi" (PDF). Matematikten Sayfalar. YTÜ. Haziran 2003. 29 Kasım 2019 tarihinde kaynağından (PDF) arşivlendi.