Kesişme teoremi

Thales teoremi (aynı adı taşıyan başka bir teoremle karıştırılmamalıdır) 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.^[1]

${\displaystyle S}$'nin iki çizginin kesişme noktası olduğunu ve ${\displaystyle A}$, ${\displaystyle B}$'nin iki paralelle ilk çizginin kesişim noktası olduğunu varsayalım, öyle ki ${\displaystyle B}$, ${\displaystyle S}$'den ${\displaystyle A}$'dan daha uzaktır ve benzer şekilde ${\displaystyle C}$, ${\displaystyle D}$ ikinci doğrunun iki paralelle kesişimleridir, öyle ki ${\displaystyle D}$, ${\displaystyle S}$'den ${\displaystyle C}$'den daha uzaktır.

1. İlk satırdaki herhangi iki doğru parçasının oranları, ikinci satırdaki ilgili doğru parçalarının oranlarına eşittir:

${\displaystyle |SA|:|AB|=|SC|:|CD|}$,

${\displaystyle |SB|:|AB|=|SD|:|CD|}$,

${\displaystyle |SA|:|SB|=|SC|:|SD|}$

2. ${\displaystyle S}$ ile başlayan aynı çizgi üzerindeki iki doğru parçasının oranı, paralellerdeki doğru parçalarının oranına eşittir:

${\displaystyle |SA|:|SB|=|SC|:|SD|=|AC|:|BD|}$

3. İlk ifadenin tersi de doğrudur, yani kesişen iki çizgi rastgele iki çizgi tarafından kesilirse ve

${\displaystyle |SA|:|AB|=|SC|:|CD|}$

ise kesişen iki çizgi paraleldir. Ancak ikinci ifadenin tersi doğru değildir.

4. ${\displaystyle S}$'de kesişen ikiden fazla çizgi varsa, paraleldeki iki doğru parçasının oranı, diğer paraleldeki ilgili doğru parçalarının oranına eşittir:

${\displaystyle |AF|:|BE|=|FC|:|ED|}$,

${\displaystyle |AF|:|FC|=|BE|:|ED|}$

Aşağıdaki ikinci grafikte üç çizgili duruma bir örnek verilmiştir.

İlk kesişim teoremi, çizgilerin bölümlerinin oranlarını gösterir, ikincisi, çizgilerin bölümlerinin oranları ile birlikte paralellerin bölümlerini, son olarak üçüncüsü, paralellerin bölümlerinin oranlarını gösterir.

Kesişme teoremi, benzerlik ile yakından ilgilidir. Benzer üçgenler kavramına eşdeğerdir, yani benzer üçgenlerin özelliklerini kanıtlamak için kullanılabilir ve benzer üçgenler kesişme teoremini kanıtlamak için kullanılabilir. Özdeş açıları eşleştirerek, her zaman birbirine benzer iki üçgen elde edilebilir, böylece kesişme teoreminin uygulandığı durum elde edilmiş olur. Ayrıca tersine, kesişme teoremi durumu her zaman iki benzer üçgen içerir.

Normlu bir vektör uzayında, skaler çarpım ile ilgili aksiyomlar (özellikle ${\displaystyle \lambda \cdot ({\vec {a}}+{\vec {b}})=\lambda \cdot {\vec {a}}+\lambda \cdot {\vec {b}}}$ ve ${\displaystyle \|\lambda {\vec {a}}\|=|\lambda |\cdot \ \|{\vec {a}}\|}$) kesişme teoreminin geçerli olmasını sağlar. Buradan da aşağıdaki sonuca ulaşılır:

${\displaystyle {\frac {\|\lambda \cdot {\vec {a}}\|}{\|{\vec {a}}\|}}={\frac {\|\lambda \cdot {\vec {b}}\|}{\|{\vec {b}}\|}}={\frac {\|\lambda \cdot ({\vec {a}}+{\vec {b}})\|}{\|{\vec {a}}+{\vec {b}}\|}}=|\lambda |}$

Yunanların pergel ve düz kenarlı cetvelle yapılan çizimler açısından ortaya koyduğu temel geometride üç ünlü problem vardır:^[2][3]

1. Daireyi kareleştirme
2. Küpü iki katına çıkarma
3. Açıyı üçe bölme

Üçünün de 19. yüzyılda verilen araçlarla, o dönemde mevcut olan cebirsel yöntemlerle imkansız olduğunun gösterilmesi nihayet 2000 yıldan fazla sürdü.

Bunları cisim genişlemesi kullanarak cebirsel terimlerle yeniden formüle etmek için, cisim işlemlerini pergel ve düz kenarlı cetvelle yapılan çizimlerle eşleştirmek gerekir (Bkz. inşa edilebilir sayı).

Özellikle, verilen iki çizgi parçası için, uzunluğu diğer ikisinin uzunluklarının çarpımına eşit olacak şekilde yeni bir çizgi parçasının oluşturulabileceğinden emin olmak önemlidir. Benzer şekilde, ${\displaystyle a}$ uzunluğundaki bir doğru parçası için ${\displaystyle a^{-1}}$ uzunluğunda yeni bir çizgi parçası inşa edilebilmelidir. Kesişme teoremi, her iki durumda da böyle bir yapının mümkün olduğunu göstermek için kullanılabilir.

Rastgele bir doğru parçasını ${\displaystyle {\overline {AB}}}$ bir ${\displaystyle m:n}$ oranında bölmek için, A'da ${\displaystyle {\overline {AB}}}$ ile tek ayak olacak şekilde rastgele bir açı çizin. Diğer bacakta ${\displaystyle m+n}$ eşit uzaklıkta noktalar oluşturun, ardından çizgiyi son noktadan ve B ve ${\displaystyle m}$ noktasından paralel bir çizgi çizin. Bu paralel çizgi ${\displaystyle {\overline {AB}}}$ 'yi istenen oranda böler. Sağdaki grafik bir ${\displaystyle {\overline {AB}}}$ çizgi parçasının ${\displaystyle 5:3}$ oranında bölümünü göstermektedir.[4]

Bazı tarihsel kaynaklara göre, Yunan matematikçi Thales, Keops piramidinin yüksekliğini belirlemek için kesişme teoremini uyguladı.^[1] Aşağıdaki açıklama, piramidin yüksekliğini hesaplamak için kesişme teoreminin kullanımını göstermektedir. Ancak, Thales'in kaybolan orijinal çalışmasını anlatmamaktadır.

Thales, piramidin tabanının uzunluğunu ve direğin yüksekliğini ölçtü. Sonra günün aynı saatinde piramidin gölgesinin uzunluğunu ve direğin gölgesinin uzunluğunu ölçtü. Bu şekilde aşağıdaki verileri elde etti:

• direğin yüksekliği (A): 1,63 m
• direğin gölgesi (B): 2 m
• piramit tabanının uzunluğu: 230 m
• piramidin gölgesi: 65 m

Bu verileri kullanarak;

${\displaystyle C=65~{\text{m}}+{\frac {230~{\text{m}}}{2}}=180~{\text{m}}}$

olduğunu hesapladı. A, B ve C'yi bilerek, artık piramidin yüksekliğini hesaplamak için kesişim teoremi uygulanabilir.

${\displaystyle D={\frac {C\cdot A}{B}}={\frac {1.63~{\text{m}}\cdot 180~{\text{m}}}{2~{\text{m}}}}=146.7~{\text{m}}}$

Kesişme teoremi, bir nehrin veya gölün genişliği, yüksek binaların boyunu veya benzeri gibi doğrudan ölçülemeyen bir mesafeyi belirlemek için kullanılabilir. Sağdaki grafik bir nehrin genişliğini ölçmeyi göstermektedir. ${\displaystyle |CF|}$,${\displaystyle |CA|}$,${\displaystyle |FE|}$ bölümleri ölçülür ve istenen mesafeyi hesaplamak için kullanılır: ${\displaystyle |AB|={\frac {|AC||FE|}{|FC|}}}$.

Kesişme teoremi, belirli bir çizimin paralel doğru (bölümleri) sağladığını kanıtlamak için kullanılabilir.

İki üçgen kenarın orta noktaları birleştirilirse, ortaya çıkan doğru parçası üçüncü üçgen tarafına paraleldir (üçgenlerin orta nokta teoremi).

Bir yamuğun paralel olmayan iki kenarının orta noktaları birleştirilirse, ortaya çıkan çizgi parçası yamuğun diğer iki tarafına paraleldir.

Teoremin temel bir kanıtı, oranlarla ilgili temel ifadeleri türetmek için eşit alanlı üçgenler kullanır (iddia 1). Diğer iddialar daha sonra ilk iddia ve çelişkiyi uygulayarak takip eder.^[6]

${\displaystyle CA\parallel BD}$ olduğundan, ${\displaystyle \triangle CDA}$ ve ${\displaystyle \triangle CBA}$ yüksekliklerinin uzunluğu eşittir. Bu üçgenler aynı temel çizgiyi paylaştıkları için alanları aynıdır. Yani ${\displaystyle |\triangle CDA|=|\triangle CBA|}$ ve dolayısıyla ${\displaystyle |\triangle SCB|=|\triangle SDA|}$'dir. Buradan yola çıkarak; ${\displaystyle {\frac {|\triangle SCA|}{|\triangle CDA|}}={\frac {|\triangle SCA|}{|\triangle CBA|}}}$ ve ${\displaystyle {\frac {|\triangle SCA|}{|\triangle SDA|}}={\frac {|\triangle SCA|}{|\triangle SCB|}}}$ bulunur. Üçgen alan formülüne girilirse (${\displaystyle {\tfrac {{\text{taban}}\cdot {\text{yükseklik}}}{2}}}$), aşağıdaki ifadelere dönüşür: ${\displaystyle {\frac {|SC||AF|}{|CD||AF|}}={\frac {|SA||EC|}{|AB||EC|}}}$ ve ${\displaystyle {\frac {|SC||AF|}{|SD||AF|}}={\frac {|SA||EC|}{|SB||EC|}}}$ Ortak çarpanların sadeleştirilmesiyle; (a) ${\displaystyle \,{\frac {|SC|}{|CD|}}={\frac {|SA|}{|AB|}}}$ ve (b) ${\displaystyle \,{\frac {|SC|}{|SD|}}={\frac {|SA|}{|SB|}}}$ Şimdi ${\displaystyle |SA|}$ ve ${\displaystyle |SC|}$ (a)'da yerine yazılırsa: ${\displaystyle {\frac {\frac {|SA||SD|}{|SB|}}{|CD|}}={\frac {\frac {|SB||SC|}{|SD|}}{|AB|}}}$ (b)'yi tekrar kullanmak, aşağıdakileri sadeleştirir: (c) ${\displaystyle \,{\frac {|SD|}{|CD|}}={\frac {|SB|}{|AB|}}}$${\displaystyle \square }$

A'dan ${\displaystyle SD}$ 'ye ilave bir paralel çizin. Bu paralel G'de ${\displaystyle BD}$ ile kesişiyor. O halde ${\displaystyle |AC|=|DG|}$ ve iddia 1'den dolayı ${\displaystyle {\frac {|SA|}{|SB|}}={\frac {|DG|}{|BD|}}}$ ve bu nedenle, ${\displaystyle {\frac {|SA|}{|SB|}}={\frac {|AC|}{|BD|}}}$${\displaystyle \,\square }$

${\displaystyle AC}$ ve ${\displaystyle BD}$'nin paralel olmadığını varsayın. Daha sonra ${\displaystyle AC}$ ile ${\displaystyle D}$ arasındaki paralel çizgi ${\displaystyle B_{0}\neq B}$ içinde ${\displaystyle SA}$ ile kesişir. ${\displaystyle |SB|:|SA|=|SD|:|SC|}$ doğru olduğundan, ${\displaystyle |SB|={\frac {|SD||SA|}{|SC|}}}$ ve diğer yandan iddia 2'den ${\displaystyle |SB_{0}|={\frac {|SD||SA|}{|SC|}}}$. Yani ${\displaystyle B}$ ve ${\displaystyle B_{0}}$, ${\displaystyle S}$'nin aynı tarafındalar ve ${\displaystyle S}$ ile aynı mesafeye sahipler, ${\displaystyle B=B_{0}}$ anlamına gelir. Bu bir çelişkidir, dolayısıyla varsayım doğru olamazdı, yani ${\displaystyle AC}$ ve ${\displaystyle BD}$ gerçekten paraleldir ${\displaystyle \square }$

İddia 4, iki çizgi için kesişme teoremi uygulanarak gösterilebilir.

1. ^ ^{a b} Thales'in hiçbir orijinal eseri hayatta kalmadı. Kesişme teoremini veya ilgili bilgiyi ona atfeden tüm tarihsel kaynaklar, ölümünden yüzyıllar sonra yazılmıştır. Diogenes Laertius ve Pliny, kesişme teoremi hakkında kesin konuşmak mümkün olmasa da, ancak yalnızca basit bir gözleme güvenebileceğini, yani günün belirli bir noktasında bir nesnenin gölgesinin uzunluğunun yüksekliğine uyacağını belirten bir açıklama verir. Laertius, filozof Hieronymus'un (MÖ 3. yüzyıl) Thales hakkında yaptığı bir açıklamadan alıntı yapıyor: Hieronymus, [Thales] piramitlerin yüksekliğini oluşturdukları gölgeyle ölçtüğünü ve kendi gölgemizin (yani kendi boyumuz olarak) aynı uzunlukta olduğu saatte gözlemi aldığını söylüyor.. Pliny şöyle yazıyor: Thales, piramitlerin ve diğer tüm benzer nesnelerin yüksekliğini, yani bir cisim ve gölgesinin eşit uzunlukta olduğu anda nesnenin gölgesini ölçerek keşfetti. Bununla birlikte Plutarch, Thales'in kesişme teoremini veya en azından bunun özel bir durumunu bildiğini önerebilecek bir açıklama verir: .. sorun olmadan veya herhangi bir aletin yardımı olmadan [o] sadece piramidin oluşturduğu gölgenin ucuna bir çubuk koydu ve böylece güneş ışınlarının kesişmesiyle iki üçgen yaptı, ... piramidin çubuğa, [piramidin] gölgesinin [çubuğun] gölgesine sahip olduğu aynı orana sahip olması gerektiğini gösterdi.. (Kaynak: MacTutor'un Thales biyografisi 9 Şubat 2013 tarihinde Wayback Machine sitesinde arşivlendi., Plutarch ve Laertius'un (çevrilmiş) orijinal eserleri şunlardır: Moralia, The Dinner of the Seven Wise Men, 147A 17 Şubat 2022 tarihinde Wayback Machine sitesinde arşivlendi. and Lives of Eminent Philosophers, Chapter 1. Thales, para.27 28 Ocak 2019 tarihinde Wayback Machine sitesinde arşivlendi.)
2. ^ Kazarinoff, Nicholas D. (2003) [1970], Ruler and the Round, Dover, s. 3, ISBN 0-486-42515-0 
3. ^ Kunz, Ernst (1991). Algebra (Almanca). Vieweg. ss. 5-7. ISBN 3-528-07243-1. 
4. ^ Ostermann, Alexander; Wanner, Gerhard (2012). Geometry by Its History. Springer. ss. 7. ISBN 978-3-642-29163-0.  (Google Kitaplar'da online copy, s. 7,)
5. ^ Ostermann Alexander, Wanner Gerhard (2012) Geometry by Its History: Thales and Pythagoras, Undergraduate Texts in Mathematics, s. 4, Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29163-0_1
6. ^ Schupp, H. (1977). Elementargeometrie (Almanca). UTB Schöningh. ss. 124-126. ISBN 3-506-99189-2. 

• Schupp, H. (1977). Elementargeometrie (Almanca). UTB Schöningh. ss. 124-126. ISBN 3-506-99189-2. 
• Leppig, Manfred (1981). Lernstufen Mathematik (Almanca). Girardet. ss. 157-170. ISBN 3-7736-2005-5. 
• Agricola, Ilka; Friedrich, Thomas (2008). Elementary Geometry. AMS. ss. 10-13, 16-18. ISBN 0-8218-4347-8.  (Google Kitaplar'da online copy, s. 10,)
• Stillwell, John (2005). The Four Pillars of Geometry. Springer. s. 34. ISBN 978-0-387-25530-9.  (Google Kitaplar'da online copy, s. 34,)
• Ostermann, Alexander; Wanner, Gerhard (2012). Geometry by Its History. Springer. ss. 3-7. ISBN 978-3-642-29163-0.  (Google Kitaplar'da online copy, s. 3,)

• Intercept Theorem 9 Ekim 2020 tarihinde Wayback Machine sitesinde arşivlendi. at PlanetMath
• Alexander Bogomolny: Thales' Theorems 18 Eylül 2020 tarihinde Wayback Machine sitesinde arşivlendi. and in particular Thales' Theorem 23 Eylül 2020 tarihinde Wayback Machine sitesinde arşivlendi. at Cut-the-Knot
• Teoremle ilgili etkileşimli bir uygulama 10 Ağustos 2020 tarihinde Wayback Machine sitesinde arşivlendi.