Üçgende Açı-Kenar Bağıntısı Nedir? Büyük Açının Karşısında Hangi Kenar Durur?

Üçgende açı-kenar bağıntısı (İng: "angle-side relationship"), bir üçgenin köşelerindeki açıların ölçüleri ile bu açıların tam karşısında yer alan kenarların uzunlukları arasındaki doğrudan büyüklük sıralamasını belirleyen temel geometrik kuraldır. Aynı üçgen içinde daha büyük açının karşısında her zaman daha uzun kenar durmaktadır. Ters yönden bakıldığında ise daha uzun kenarın karşısındaki açı, daha kısa kenarın karşısındaki açıdan her zaman daha büyüktür. Yaklaşık MÖ 300 yıllarında İskenderiye'de derlenen Elementler yapıtının birinci kitabında kanıtlanan bu kural, üçgenin en büyük açısının karşısında en uzun kenarın yer almasını zorunlu kılmaktadır.

Düzlem üzerinde rastgele seçilen üç uzunluğun uç uca eklendiğinde her zaman kapalı bir üçgen oluşturacağı düşüncesi bir kavram yanılgısıdır. Oysa , ve uzunluğunda üç çubuk alındığında, kısa çubuklar hangi açıyla yatırılırsa yatırılsın uçlarının birbirine yetişemediği görülmektedir, çünkü iki kısa çubuğun uzunlukları toplamı (), en uzun çubuğun uzunluğundan () küçüktür. Öte yandan bir üçgenin üç açısını bilmek şeklin oranlarını sabitlese de kenarların kaç santimetre olduğunu tek başına ortaya koyamamaktadır.

Bu yazıda ilk olarak üçgenin temel bileşenlerinin nasıl eşleştiği ve açı toplamının düzlemde neden sabit kaldığı incelenmektedir. Ardından sentetik geometri ispatlarıyla kenar ve açı sıralamasının iki yönü doğrulanmakta, kenar toplamı ve farkı sınırları da cebirsel ve vektörel boyutlarıyla ele alınmaktadır. Son olarak trigonometrik teoremlerle gerçek uzunluk hesaplarının nasıl yapıldığı çözümlü örneklerle gösterilmekte ve temel geometrik tanımlardaki kavram yanılgıları irdelenmektedir.

Üçgenin Temel Elemanları

Üçgen, düzlemde doğrusal olmayan üç köşeyi birleştiren üç kenarlı bir çokgendir.⁠^[1] Bu kapalı şeklin sınırlarını oluşturan her bir doğru parçası (İng: "line segment"), iki köşe arasındaki doğrusal bağlantıyı kurmaktadır. Ayrıca üçgenin , ve harfleriyle gösterilen her bir kenar uzunluğu (İng: "side length") sıfırdan büyük olmak zorundadır. Yani fiziksel ve geometrik varlık koşulu olarak , ve eşitsizlikleri her durumda sağlanmaktadır. Uzunluklardan herhangi birinin sıfır veya negatif olması durumunda ortada üç kenarlı bir çokgen kalmamaktadır.

Köşelerde birleşen kenarların arasında kalan her bir iç açı (İng: "interior angle"), köşenin ne kadar açıldığını gösteren belirli bir açı ölçüsü (İng: "angle measure") değerine sahiptir. Geometrik gösterimde açıların ve kenarların hangi sırayla eşleştirildiği bütün teoremlerin temelini oluşturmaktadır. Standart harflendirmede , ve açıları kullanıldığında kenarı açısının karşısındaki kenar, kenarı açısının karşısındaki kenar, kenarı ise açısının karşısındaki kenar olarak tanımlanmaktadır. Dolayısıyla , ve ikilileri açı ve karşısındaki kenar çiftlerini oluşturmaktadır. Harfler eşleştirilirken köşeye bitişik olan yan kenarlar yerine her zaman köşenin tam karşısında duran kenar seçilmektedir.

Bir üçgende iç açı ölçüleri eksiksiz bilindiğinde bu bilgi sadece şeklin biçimini belirlemektedir, çünkü aynı açı ölçülerine sahip sonsuz sayıda üçgen çizilebilmektedir. Ancak bu üçgenlerin ne kadar küçük veya ne kadar büyük olduğunu, yani gerçek ölçeğini saptamak için açıların yanında en az bir kenar uzunluğunun bilinmesi gerekmektedir. Kısacası açılar kenarlar arasındaki orantıyı kurarken, kenar uzunluğu şeklin düzlemde kapladığı gerçek mesafeyi sabitlemektedir.

İç Açılar Toplamının İspatı

Bir üçgenin köşelerindeki açılar birbirinden bağımsız biçimde sınırsızca büyüyememektedir. Öklid geometrisi (İng: "Euclidean geometry") kapsamında herhangi bir üçgende iç açı ölçüleri toplamı her zaman radyandır. Başka bir deyişle klasik geometride bu toplam iki dik açı (İng: "right angle") toplamına karşılık gelmektedir. Ancak bu sabit toplam kuralı sadece düzlemsel uzay için geçerlidir. Öklid dışı geometrilerde ise geçerliliğini yitirmektedir.⁠^[1]

Evrim Ağacı

Elementler yapıtının I. Kitap 32. önermesi, iç açıların toplamını kanıtlarken önce bir kenarın uzatılmasıyla oluşan dış açı (İng: "exterior angle") özelliğini kurmaktadır. Bu adımda üçgeninin tabanı, köşesinden sonra bir noktasına dek düz bir çizgi boyunca uzatılmaktadır. Böylece üçgenin dışında açısı oluşmaktadır. Ardından ispatın kilit adımı olarak köşesinden kenarına paralel bir doğrusu çizilmektedir. Bu noktada bir şemayı okurken başlangıç noktasını bu köşesine sabitlemek, içerdeki açılar dışarıya taşınırken hangi parçanın hangi açıyla eşleştiğini görmeyi kolaylaştırmaktadır.

Çizilen bu yardımcı yapıda ile birbirine paralel olduğundan, bu iki paraleli birleştiren doğrusu bir kesen (İng: "transversal") görevi görmektedir. Paralel doğruların bir kesenle yaptığı iç ters açılar birbirine eşit olduğu için eşitliği elde edilmektedir. Taban boyunca uzanan doğrusu da aynı ve paralellerini kesmektedir. Bu durumda ile yöndeş açılar (İng: "corresponding angles") olduğu için birbirine eşit olmaktadır. Dolayısıyla bu iki parçanın birleşimi olan tüm dış açısı, kendisine komşu olmayan iki iç açının toplamına () tam olarak eşittir.⁠^[6]

Elde edilen bu dış açı eşitliğinin her iki tarafına üçgenin üçüncü iç açısı olan eklendiğinde ispat tamamlanmaktadır. Doğrusal bir taban üzerinde yan yana duran ile açılarının toplamı bir doğru açı (İng: "straight angle"), yani iki dik açı () oluşturmaktadır. Böylece üçgenin üç iç açısının toplamının iki dik açıya eşit olduğu doğrudan kanıtlanmaktadır.⁠^[6] Bu değişmez toplam sayesinde bir üçgende iki iç açı ( ve ) bilindiğinde, üçüncü açı başka hiçbir uzunluk ölçümüne gerek kalmadan şu denklemle bulunmaktadır:

Burada üçüncü iç açıdır ve iki açısı bilinen her üçgende karşıt kenarların sıralanmasına doğrudan zemin hazırlamaktadır.

Öklid Geometrisinin Tarihsel Çerçevesi

Üçgenin açı ve kenar özelliklerini birbirine bağlayan bu mantıksal zincir, yaklaşık MÖ 300 yıllarında İskenderiye'de yaşamış olan Öklid'in Elementler adlı yapıtında toplanmıştır.⁠^[15] Ne var ki bu ispatların yazılı metin olarak günümüze ulaşmış olması, yazarının hayat hikayesinin bütün ayrıntılarıyla bilindiği anlamına gelmemektedir. Tarihsel kayıtlar oldukça kısıtlı olduğu için Öklid'in gerçek yaşamına ilişkin çok az bilgi bulunmaktadır.⁠^[15]

Elementler yapıtı toplam 13 kitaba ayrılmaktadır ve üçgenlerin temel açı, kenar ve eşlik önermeleri bu külliyatın I. Kitabı içinde yer almaktadır.⁠^[16] Elementler'in etkisi iki bin yılı aşkın bir süre boyunca sürmüştür.

Bununla birlikte bilim tarihi araştırmaları, Elementler içindeki sonuçların muhtemelen hiçbirinin ilk kez Öklid tarafından ispatlanmadığını ortaya koymaktadır.⁠^[16] Bu nedenle açı-kenar bağıntısının ilk kez Öklid tarafından ispatlandığı kesin olarak bilinmemektedir.

Evrim Ağacı

Açı-Kenar Bağıntısı Nedir?

Üçgenin temel elemanları ve açı toplamı sabiti tanımlandıktan sonra, köşelerdeki açıklığın karşıdaki kenarı nasıl büyütüp küçülttüğü sorusu gündeme gelmektedir. Üç kenar uzunluğu birbirinden farklı olan çeşitkenar bir üçgeninde kenarların biçimindeki büyüklük sıralaması, bu kenarların karşısındaki açıların biçimindeki sıralamasına bire bir karşılık gelmektedir.⁠^[11] Başka bir deyişle bir üçgendeki üç karşıt çift birlikte ele alındığında en uzun kenar en büyük açının, ortanca kenar ortanca açının, en kısa kenar ise en küçük açının karşısında durmaktadır. Örneğin iki iç açısı verilen bir üçgende üçüncü açı bağıntısıyla bulunduktan sonra, açı ölçülerinin büyüklük sırasına bakılarak karşılarındaki kenarların hangisinin daha uzun olduğu hemen sıralanabilmektedir.

İlk bakışta "uzun kenarın karşısında büyük açı vardır" cümlesi ile "büyük açının karşısında uzun kenar vardır" cümlesi aynı bilginin farklı kelimelerle tekrarı gibi görünmektedir. Oysa Elementler yapıtının I. Kitabında yer alan Önerme 18 ile Önerme 19, yazılış biçimleri yüzünden ilk anda fark edilmese de birbirinin ters önermeleridir.⁠^[2] Önerme 18 hipotez olarak kenar eşitsizliğini alıp sonuç olarak açı eşitsizliğine ulaşmaktadır. Buna karşılık Önerme 19 hipotez olarak açı eşitsizliğini alıp sonuç olarak kenar eşitsizliğine gitmektedir.

Matematiksel mantıkta bir önermenin doğru olması, ters yönündeki önermenin de kendiliğinden doğru olduğu anlamına gelmemektedir. Dolayısıyla bir yönü kusursuzca ispatlamak, ters yön için ayrı bir geometrik gerekçe kurma zorunluluğunu ortadan kaldırmamaktadır. Nitekim Elementler'de önce I.5 ve I.6 ile eşit kenarlar ve eşit açılar arasındaki ilişki, ardından I.18 ve I.19 ile iki eşitsizlik ayrı önermeler olarak kanıtlanmaktadır.

İkizkenar Üçgende Taban Açıları

Eşitsizliklerin yönünü belirlemeden önce, iki kenarın birbirine tam eşit olması durumunda açıların nasıl davrandığını saptamak gerekmektedir. İki kenar uzunluğu birbirine eşit olan üçgene ikizkenar üçgen (İng: "isosceles triangle") denmektedir. Elementler I. Kitap 5. önermeye göre bir ikizkenar üçgeninde ise, bu eşit kenarların karşısında yer alan taban açıları da birbirine eşittir ().⁠^[4] Eşit olan ve doğru parçaları tabanının ötesine doğru uzatıldığında, tabanın altında oluşan karşılıklı dış açılar da birbirine eşit olmaktadır.⁠^[4]

Eşit kenarlardan eşit açılara giden bu kuralın ters yönü I. Kitap 6. önermede ele alınmaktadır. Buna göre taban açıları () aynı ölçüde olan bir üçgende ile kenarları da aynı uzunluktadır.⁠^[5] Ancak Öklid bu ters önermeyi doğrudan bir çizimle değil, olmayana ergi (İng: "proof by contradiction") yöntemiyle kanıtlamaktadır. Bu yöntemde kanıtlanmak istenen sonucun tersi geçici olarak doğru kabul edilmekte ve bu varsayımın mantıksal bir imkansızlığa yol açtığı gösterilmektedir.

I.6 önermesinin ispatında, eşit olması beklenen ve kenarlarının birbirinden farklı olduğu varsayılmaktadır. İki farklı uzunluktan biri daha büyük olacağı için kenarı daha uzun kabul edilmektedir. Ardından bu kenar üzerinden, kısa olan kenarına eşit olacak biçimde bir parçası kesilerek doğru parçası çizilmektedir. Burada olduğundan, kenarı her iki üçgende ortak bulunduğundan ve verilen koşul gereği olduğundan üçgeni ile üçgenine Kenar-Açı-Kenar (İng: "Side-Angle-Side") eşliği uygulanmaktadır.

Fakat bu eşlik kuralı uygulandığında, büyük üçgenin içinde küçük bir parça olan üçgeninin, kendisini tamamen kapsayan üçgenine eşit olması gerekmektedir. Küçük olan bir parçanın bütüne eşit çıkması açıkça imkansızdır. Bu nedenle başlangıçtaki eşitsizlik varsayımı çürümekte, böylece sonucu kesinleşmektedir.⁠^[5] Bu çift yönlü eşitlik kuralı üç kenarın tamamına uygulandığında ise eşkenar üçgen (İng: "equilateral triangle") özel durumu ortaya çıkmaktadır. Bir eşkenar üçgende eşitliği ile eşitliği aynı anda sağlanmaktadır.

Büyük Kenar Karşısındaki Açı

Kenarlar arasındaki eşitlik bozulduğunda açıların dengesi de aynı yönde bozulmaktadır. Elementler I. Kitap 18. önerme, aynı üçgende daha uzun olan kenarın karşısındaki iç açının daha büyük olduğunu belirtmektedir.⁠^[2] Örneğin bir üçgeninde kenarının kenarından daha uzun () olduğu kabul edilsin. Bu koşul altında karşılaştırılacak olan açılar, kenarının karşısındaki ile kenarının karşısındaki (yani ) açılarıdır.

İspat, uzun kenarın fazlalığını görünür kılan yardımcı bir nokta seçimiyle başlamaktadır. kenarı kenarından daha uzun olduğu için, doğru parçası üzerinde köşesinden başlayarak olacak biçimde bir noktası işaretlenmektedir. Bu nokta köşesiyle birleştirilmektedir. Böylece çizilen yardımcı doğru parçası, başlangıçtaki üçgenini üstte bir ikizkenar üçgenine ve altta bir üçgenine bölmektedir. Şemayı takip ederken önce alttaki üçgeninin köşesine, ardından üstteki üçgeninin taban açılarına ve en son köşesinin tamamına bakmak ispatın akışını netleştirmektedir.

İlk olarak alttaki üçgenine bakıldığında, açısının bu üçgenin bir dış açısı olduğu görülmektedir. Dış açı özelliği gereğince bir üçgenin dış açısı, kendisine komşu olmayan içteki karşı açıdan büyüktür. Bu kural burada (yani ) eşitsizliğini vermektedir. İkinci adımda üstteki üçgenine geçildiğinde, yapım gereği olduğu için taban açıları birbirine eşittir (). Ardından bir önceki eşitsizlikte yerine ona eşit olan yazıldığında ara sonucuna ulaşılmaktadır.

Evrim Ağacı

Son adımda ise köşesindeki açının bütünü ile parçası karşılaştırılmaktadır. Yardımcı çizgisi üçgeninin içinden geçtiği için, bütünü oluşturan açısı kendi içindeki parçasından daha büyüktür (). Zaten açısının da açısından büyük olduğu bilindiğinden geçişlilik özelliğiyle açısının açısından daha büyük olduğu () kanıtlanmış olmaktadır.

Büyük Açı Karşısındaki Kenar

Kenardan açıya giden ilişki kanıtlandıktan sonra, başlıktaki asıl soruyu yanıtlayan I. Kitap 19. önermeye geçilmektedir. Bu önermeye göre bir üçgenin iki açısından ölçüsü fazla olanı daha uzun bir kenarı görmektedir. Dolayısıyla açıklığı en fazla olan köşe, üçgenin en uzun kenarına bakmaktadır.⁠^[3] Öklid'in harflendirmesiyle bir üçgeninde olduğu verildiğinde, açısının karşısındaki kenarının açısının karşısındaki kenarından daha uzun olduğu () gösterilmelidir.

Öklid bu önermeyi kanıtlarken yeni bir yardımcı doğru çizmek yerine, daha önce ispatladığı I.5 ve I.18 önermelerini kullanan bir olmayana ergi yürütmektedir. İspatın başında kenarının kenarından büyük olmadığı varsayılmaktadır. İki pozitif büyüklük karşılaştırıldığında birincisi ikincisinden büyük değilse, geriye sadece iki olasılık kalmaktadır. Bu olasılıklardan birincisi eşitliği, ikincisi ise eşitsizliğidir.

Birinci olasılık olan durumu ele alındığında, ikizkenar üçgenin taban açıları özelliği (I.5) devreye girmektedir. Eğer ile birbirine eşit olsaydı, karşılarındaki ile açılarının da birbirine eşit olması gerekirdi. Oysa başlangıçta olduğu kesin olarak verilmiştir. Bu çelişki yüzünden olasılığı elenmektedir.

İkinci olasılık olan durumu sınandığında ise bir önceki önerme (I.18) devreye girmektedir. Kısa olan kenarının gördüğü açısı, bu önermeye göre kenarının gördüğü açısından küçük kalmalıdır (). Bu sonuç da başlangıçta verilen koşuluyla doğrudan çelişmektedir. Böylece eşitlik ve küçüklük olasılıklarının ikisi de elenmektedir. Bu nedenle geriye kalan tek durum olan eşitsizliği kesin olarak doğrulanmaktadır.

Bu teorem, özel açı türlerine sahip üçgenlerde en uzun kenarın hangisi olduğunu hiçbir ölçüm yapmadan belirlemeyi sağlamaktadır. Örneğin iç açılar toplamı olduğu için bir üçgende ölçüsü değerini aşan en fazla bir tane geniş açı (İng: "obtuse angle") bulunabilmektedir. Eğer üçgende bir geniş açı varsa bu açı zorunlu olarak üçgenin en büyük açısıdır. Bu nedenle geniş açılı bir üçgende en uzun kenarı bulmak için geniş açılı köşenin karşısına bakmak yeterlidir. Benzer biçimde bir köşesi olan bir dik üçgen (İng: "right triangle") içinde kalan diğer iki açı dar açı olmak zorundadır. Dik açının karşısındaki kenara hipotenüs (İng: "hypotenuse") adı verilmektedir. Dik açı ile üçgenin en büyük açısı olduğundan, hipotenüs her zaman dik açının yanındaki her iki dik kenar (İng: "leg") uzunluğundan daha büyüktür.

Üçgen Eşitsizliğinin Geometrik Temelleri

Açı ve kenar sıralamalarının uyumlu olması, bir kenarın diğer iki kenara kıyasla sınırsızca uzayabileceği anlamına gelmemektedir. Bir üçgenin var olabilmesi için kenar uzunluklarını birbirine bağlayan temel sınırlamaya üçgen eşitsizliği (İng: "triangle inequality") adı verilmektedir. Bu kurala göre herhangi bir üçgende iki kenar uzunluğunun toplamı, kalan üçüncü kenarın uzunluğundan her zaman daha büyüktür.⁠^[7] Üç kenarı , ve olan gerçek bir üçgende bu koşul , ve biçiminde, yani üç ayrı eşitsizliğin birlikte sağlanmasını gerektirmektedir.⁠^[13]

Üçgen eşitsizliğinin arkasında düzlem geometrisinin en temel mesafe ilkesi yatmaktadır. Düzlemdeki iki noktayı birbirine bağlayan çok parçalı doğrusal yollar karşılaştırıldığında, en kısa yol her zaman bu iki noktayı tek bir doğru parçasıyla doğrudan birleştiren yoldur. Bu yüzden bir köşeden diğerine doğrudan gitmek yerine üçüncü bir köşeye uğrayıp iki kenarı da dolaşmak yolu kaçınılmaz olarak uzatmaktadır.

Örneğin klasik yansıma probleminde, bir doğrunun aynı tarafında bulunan iki nokta arasında önce bu doğruya uğrayıp ardından diğer noktaya giden yolların en kısası, geliş açısının yansıma açısına eşit olduğu yoldur.

Kenar Toplamı Sınırının İspatı

İki nokta arasındaki en kısa yolun doğru parçası olduğu sezgisel olarak açık görünse de, Elementler I. Kitap 20. önerme bu kuralı sezgilere bırakmayıp doğrudan I.19 önermesine dayanarak kanıtlamaktadır. Bir üçgeninde , ve eşitsizliklerinin üçü de aynı geometrik kurulumla doğrulanmaktadır. İspatın amacı, iki kenarın toplamını tek bir doğru parçası haline getirip bu yeni parçayı üçüncü kenarla aynı üçgen içinde karşılaştırmaktır.

Bu amaçla üçgeninin kenarı, köşesinin ötesinde doğrusal olarak bir noktasına kadar uzatılmaktadır. Uzatılan bu doğru üzerinde uzunluğu kenarına eşit olacak biçimde () seçilmektedir. Ardından noktası köşesiyle birleştirilmektedir. Şemada , ve noktaları tek bir düz çizgi oluşturmaktadır. Bu çizginin sağında hem küçük yardımcı üçgeni hem de büyük üçgeni belirmektedir. Böylece ile kenarlarının toplamı, tek bir doğru parçası olarak temsil edilmektedir.

Evrim Ağacı

Yardımcı üçgeninin iki kenarı ( ile ) aynı uzunlukta seçildiği için, bu kenarların gördüğü ile de aynı ölçüdedir (I.5). Sıradaki adım, en dıştaki büyük üçgeninin köşesidir. Büyük üçgenin açısı, az önceki açısını kendi içinde bir parça olarak barındırmaktadır. Bütün parçadan büyük olduğu için ve dolayısıyla (yani ) eşitsizliği ortaya çıkmaktadır.

Son adımda büyük üçgeni için I.19 önermesinden yararlanılmaktadır. Bu üçgende açısı kenarını, daha dar olan açısı ise kenarını görmektedir. Böylece sonucu elde edilmektedir. Noktalar doğrusal uzandığı için olmaktadır. Yapımda seçildiğinden, bu eşitlik yerine konulduğunda eşitsizliği kanıtlanmış olmaktadır.⁠^[7] Aynı şekilde kenar uzatma yöntemi diğer iki kenar çiftine uygulandığında üçgenin tüm kenar toplamı eşitsizlikleri doğrulanmaktadır.

Kenar Farkı Eşitsizliği

İki kenarın toplamı üçüncü kenar için aşılması imkansız bir üst sınır çizerken, aynı bağıntının cebirsel olarak yeniden düzenlenmesi üçüncü kenar için bir alt sınır vermektedir. Bir üçgenin herhangi bir kenar uzunluğu, diğer iki kenarın uzunlukları farkının mutlak değerinden her zaman daha büyüktür. Örneğin ve kenarları bilindiğinde üçüncü kenar için koşulu geçerlidir. Kenarlardan hangisinin daha uzun olduğu başlangıçta bilinmediğinden, farkın negatif çıkmasını önlemek amacıyla mutlak değer kullanılmaktadır.

Bu alt sınır, üçgen eşitsizliğinin getirdiği üst sınırla birleştirildiğinde pozitif ve uzunlukları için üçüncü kenar 'nin alabileceği değer aralığı şu bileşik eşitsizlikle ifade edilmektedir:⁠^[10]

Burada üçüncü kenarın inemeyeceği alt sınırı, ise çıkamayacağı üst sınırı göstermektedir. Dolayısıyla iki kenarı bilinen bir üçgende üçüncü kenar sadece bu açık aralık içindeki değerleri alabilmektedir.

Üçgen eşitsizliği ve fark eşitsizliği sadece düzlemde çizilen geometrik üçgenlerle sınırlı kalmayıp vektör analizinde de temel bir norm kuralı olarak çalışmaktadır. ve vektörleri için üçgen eşitsizliği olarak yazılmaktadır. Buradaki mutlak değer çizgileri vektör uzunluklarını temsil etmektedir. Benzer şekilde vektörler için ters üçgen eşitsizliği veya norm gösterimiyle biçimini almaktadır. Ters üçgen eşitsizliğinin ispatında standart üçgen eşitsizliği önce vektör ayrışımına uygulanarak elde edilmektedir. Ardından ve vektörlerinin rolleri birbiriyle değiştirilerek farkın iki yönü mutlak değer altında birleştirilmektedir.

Üç Kenardan Üçgen İnşası

Uzunlukları verilen üç doğru parçasıyla gerçek bir üçgen çizilip çizilemeyeceği sorusu, Kenar-Kenar-Kenar (İng: "Side-Side-Side") yapım probleminin konusudur. Elementler I. Kitap 22. önerme, verilen , ve uzunluklarıyla bir üçgen inşa edilebilmesi için herhangi ikisinin toplamının üçüncüden büyük olması gerektiğini belirtmektedir. Üstelik üçgen eşitsizliklerinin sağlanması sadece gerekli bir koşul değil, aynı zamanda üçgenin düzlemde var olması için yeterli bir koşuldur.⁠^[8]

Öklid'in I.22 önermesindeki inşası, cetvel ve pergelin kenar koşulunu nasıl somut bir şekle dönüştürdüğünü göstermektedir. Yapımda önce düz bir doğru üzerinde art arda , ve uzunlukları işaretlenmektedir. Ardından merkezi noktası ve yarıçapı olan bir çemberi ile merkezi noktası ve yarıçapı olan ikinci bir çemberi çizilmektedir. Bu iki çemberin kesişim noktalarından biri olan noktası, çember merkezleri olan ve noktalarına doğru parçalarıyla birleştirildiğinde aranan üçgeni ortaya çıkmaktadır. Aynı çemberin yarıçapları birbirine eşit olduğu için ve olmaktadır. Ortadaki kenarı ise zaten uzunluğundadır.

Bununla birlikte D. E. Joyce'un tarihsel ispat değerlendirmesi, bu klasik yapımda önemli bir mantıksal boşluğa dikkat çekmektedir. Öklid, çizilen iki çemberin gerçekten kesiştiğini aksiyomatik olarak ayrıca ispatlamamıştır.⁠^[8] Yine de teoremin kendisi doğrudur. Toplam koşulu hem gerekli hem de yeterlidir.

Uygulamada verilen üç uzunluğun üçgen oluşturup oluşturmadığını sınarken gelişigüzel seçilmiş tek bir kenar toplamını kontrol etmek yeterli değildir. Bu sınamada , ve eşitsizliklerinin üçünün de aynı anda doğru olması gerekmektedir. Ancak pozitif uzunluklar arasından en büyük kenar olarak seçilirse ( ve ), sadece kontrolünü yapmak yeterli olmaktadır. En uzun kenar bile diğer ikisinin toplamından küçükse, daha kısa olan ve kenarları pozitiflik özelliği sayesinde diğer iki eşitsizliği kendiliğinden sağlamaktadır. Eğer iki kısa kenarın toplamı en uzun kenara tam eşit çıkarsa (), çemberler birbirine tek bir noktada teğet kalmakta, dolayısıyla köşeler aynı doğru üzerine çökerek alanı olan bir dejenere üçgen (İng: "degenerate triangle") oluşturmaktadır.⁠^[9] Bu nedenle pozitif alanlı gerçek bir üçgen için eşitsizliğin kesin olması ve eşitliğin kabul edilmemesi şarttır.

Evrim Ağacı

Çözümlü örnek 1: Aşağıdaki üç farklı uzunluk grubundan hangileri pozitif alanlı gerçek bir üçgen oluşturur?

Verilenler: Uzunluklar birinci grupta , ve , ikinci grupta , ve , üçüncü grupta ise , ve birimdir.⁠^[9]

İstenen: Her bir uzunluk grubunun gerçek bir üçgen, sıfır alanlı bir dejenere üçgen ya da imkansız bir açık şekil oluşturup oluşturmadığının belirlenmesi.

1. adım: İlk grupta en büyük değer olduğu için iki kısa kenarın toplamı bu değerle karşılaştırılmaktadır:

2. adım: İkinci grupta üçgen eşitsizliğinin üç koşulu da ayrı ayrı denetlenmektedir:

3. adım: Son grupta ile toplanıp en uzun kenar olan ile karşılaştırılmaktadır:

Sonuç: İlk grupta kısa kenarların toplamı birimde kalmaktadır. Bu nedenle koşulunu sağlamayan parçalar üçgen oluşturmamaktadır. Rastgele seçilen eşitsizliği doğru görünse bile en uzun kenar sınaması başarısız olmaktadır. Buna karşılık ikinci gruptaki parçalar üç kesin eşitsizliği de sağladığından pozitif alanlı gerçek bir üçgen oluşturmaktadır. Son grupta ise eşitliği çıkmaktadır. Kesin eşitsizlik sağlanmadığı için sonuç gerçek bir üçgen değil, alanı olan bir dejenere üçgendir.

Trigonometrik Bağıntılarla Üçgen Çözümü

Geometrik ispatlar kenarların ve açıların hangi sınırlar içinde sıralandığını kesin olarak belirlese de, bir kenarın kaç birim veya bir açının kaç derece olduğunu tek başına hesaplayamamaktadır. Trigonometride "bir üçgeni çözmek", üçgenin her bir kenarının uzunluğunu ve her bir açısının ölçüsünü sayısal olarak bulmak anlamına gelmektedir. Yani bir üçgeni çözmek, sadece hangi kenarın veya hangi açının daha büyük olduğunu sıralamaktan çok daha fazla veri ve işlem gerektirmektedir.

Sayısal çözümlerde dikkat edilmesi gereken en önemli yöntem kuralı, yuvarlama hatalarının zincirleme biçimde büyümesini önlemektir. Özellikle çok adımlı bir üçgen çözümünde bilinmeyen büyüklükler hesaplanırken, mümkün olduğunca sorunun başlangıcında verilen özgün değerler kullanılmalıdır, çünkü bir adımda bulunan ve ondalık basamağı yuvarlanan yaklaşık bir ara sonucun bir sonraki adımın formülüne taşınması, sonuca eklenen hatanın katlanarak büyümesine yol açmaktadır.

Trigonometrik hesaplamalar tamamlandığında kenar ve açı sıralamalarının uyumu güçlü bir sağlamlık denetimi sunmaktadır. Buna göre hesaplanan kenar uzunlukları küçükten büyüğe dizildiğinde, bulunan açı ölçülerinin de tam olarak aynı sırayı izlemesi gerekmektedir. Eğer sayısal çözümün sonunda en uzun kenar en büyük açıyı görmüyorsa, ara adımlarda bir işaret veya ters fonksiyon hatası yapıldığı hemen anlaşılmaktadır.

Sinüs Teoremiyle Orantı Kurulması

Üçgenin açıları ile karşılarındaki kenarlar arasındaki ilişkiyi cebirsel bir eşitliğe dönüştüren ilk araç sinüs teoremi (İng: "law of sines") bağıntısıdır. Bir üçgende , ve karşıt çiftleri arasındaki orantı şu denklemle kurulmaktadır:

Burada , ve kenar uzunluklarını, , ve ise bu kenarların karşısındaki iç açıların sinüs değerlerini göstermektedir. Eşitliğin yapısına dikkat edildiğinde, kenar uzunluklarının doğrudan açı ölçülerinin kendileriyle değil, bu açıların sinüsleriyle orantılı olduğu görülmektedir. Dolayısıyla açısı iki katına çıkan bir köşenin karşısındaki kenar uzunluğu iki katına çıkmamaktadır. Bunun yerine kenar, sinüs değerleri arasındaki oran kadar değişmektedir. Ayrıca sinüs teoremini bir üçgeni çözmekte kullanabilmek için en az bir tam açı ve karşısındaki kenar çiftinin bulunması gerekmektedir.

Sinüs teoremi, ölçüsü değerinden küçük olan dar açı (İng: "acute angle") bölgesinde bu sıralama kuralını doğrudan doğrulamaktadır. Bir açısı değerinden değerine doğru büyürken, değeri de 'dan 'e doğru kesintisiz biçimde artmaktadır. Bu nedenle üç açısı da dar açı olan bir üçgende daha büyük olan açının sinüsü de daha büyüktür. Orantının sabit kalması için bu açının gördüğü kenar da daha uzun olmalıdır.

Ne var ki dar açılardaki bu doğrudan artış kuralı, ile arasındaki bütün açı aralığına olduğu gibi yayılamamaktadır. Geniş açılı bir üçgende sinüs değerleriyle karşılaştırma yapılırken bütünler açıların sinüs özdeşliği dikkate alınmalıdır:

Bu özdeşlik nedeniyle, örneğin olan bir geniş açının sinüsü ile bütünleri olan 'lik dar açının sinüsü birbirine tam olarak eşittir. Üstelik hem dar açıların hem de geniş açıların sinüs değerleri pozitiftir. Dolayısıyla bir açının sadece sinüs değerini bilmek bu açının dar mı yoksa geniş mi olduğunu tek başına belirleyememektedir. Bu yüzden sinüs teoremiyle kenardan açıya geçilirken geniş açı olasılığı her zaman kenar sıralamasıyla kontrol edilmektedir.

Kosinüs Teoremiyle Kenar Hesabı

Açı ve karşısındaki kenar çifti bilinmediğinde, yani iki kenar ve aralarındaki açı (Kenar-Açı-Kenar) bilindiğinde ya da üç kenar uzunluğunun tamamı (Kenar-Kenar-Kenar) verildiğinde üçgeni çözmek için kosinüs teoremi (İng: "law of cosines") kullanılmaktadır. İki kenar ve aralarındaki açı verisiyle işlem yapılırken "aradaki açı" kavramı, verilen iki kenarın her ikisine de komşu olan köşe açısını ifade etmektedir. Dolayısıyla iki kenar ile bu kenarların arasında yer almayan gelişigüzel bir açıyı bilmek aynı veri düzeni değildir.

Evrim Ağacı

Bir üçgende karşıt bir çift, ve ise açısına komşu olan kenarlar olmak üzere kosinüs teoremi şu denklemle yazılmaktadır:⁠^[12]

Bu bağıntının analitik düzlemde koordinatlarla yapılan ispatı sadece dar açılı bir şekille sınırlı değildir. Nitekim bu ispatta açısı standart konumda çizildiğinde, köşe koordinatları üzerinden yürütülen uzaklık hesapları aralığındaki tüm dar, dik ve geniş açılar için eksiksiz biçimde geçerlidir.

Kosinüs teoremi, açı-kenar sıralamasını ve geniş açı belirsizliğini tek hamlede çözen cebirsel bir yapı sunmaktadır. Bir açısı 'den 'ye doğru artarken, değeri 'den 'e doğru sürekli azalmaktadır. Buna göre dar bir açının kosinüsü pozitiftir. Geniş bir açının kosinüsü ise negatiftir. Bu işaret farkı sayesinde kosinüs teoremi aranan açının dar mı yoksa geniş mi olduğunu hiçbir belirsizliğe yer bırakmadan ayırt edebilmektedir.

Ayrıca aynı üçgende açı büyüdükçe kosinüs değeri küçüldüğü (ve geniş açıda negatif olduğu) için, formüldeki terimi büyümektedir. Bu terim karşıdaki kenarın karesini büyüttüğü için sıralaması sıralamasına karşılık gelmektedir. Özel olarak üçgenin bir açısı olduğunda olmakta ve çarpım terimi sıfırlanmaktadır. Böylece kosinüs teoremi, kenarının karesini diğer iki kenarın kareleri toplamına eşitleyen Pisagor teoremi (İng: "Pythagorean theorem") bağıntısına indirgenmektedir.

Çözümlü örnek 2: Kenar uzunlukları 6 cm, 8 cm ve 11 cm olan bir üçgenin en küçük iç açısının ölçüsü kaç derecedir?

Verilenler: Üç kenar uzunluğu sırasıyla , ve olan çeşitkenar bir üçgen.⁠^[11]

İstenen: Üçgenin en küçük iç açısı olan açısının derece cinsinden bir ondalık basamağa yuvarlanmış ölçüsü.

1. adım: En küçük iç açı en kısa kenarı gördüğünden, aranan açısı 'lik kenarın karşısındaki açı olarak seçilmekte ve kosinüs teoremi bu kenar için kurulmaktadır:

2. adım: Kenar uzunluklarının kareleri ve çarpım katsayısı hesaplanarak terimi yalnız bırakılmaktadır:

3. adım: Elde edilen pozitif kosinüs oranının ters kosinüsü alınarak dar açının ölçüsü bir ondalık basamak duyarlılığıyla hesaplanmaktadır:

Sonuç: Kenar uzunlukları , ve olan üçgenin en küçük açısı, en kısa kenar olan 'nin karşısında durmakta ve ölçüsü bir ondalık basamağa göre yaklaşık olmaktadır.

Sayısal Örneklerle Mesafe Ölçümü

Farklı veri düzenlerinde yapılan sayısal çözümler, teorik sıralama kurallarının gerçek ölçüm sonuçlarıyla nasıl örtüştüğünü somutlaştırmaktadır. İlk olarak hipotenüs uzunluğu birim ve dik kenarlarından biri birim olarak verilen bir dik üçgen ele alınsın. Bu dik üçgende eksik olan diğer dik kenar , Pisagor teoreminden birim olarak bulunmaktadır. Ardından başlangıçtaki özgün verilerle dar açılar hesaplandığında, kenarının karşısındaki açı yaklaşık , kenarının karşısındaki açı ise yaklaşık çıkmaktadır. Bulunan bu değerler karşılaştırıldığında kenar sıralaması ile açı sıralamasının bire bir aynı yönde ilerlediği görülmektedir.

İkinci bir durum olarak iki kenarı ve aralarındaki açısı bilinen bir üçgende birim, birim ve bu iki kenarın arasındaki komşu açı verilsin. Kosinüs teoremi uygulandığında açısının karşısındaki üçüncü kenar birim olarak hesaplanmaktadır. Ardından kalan açılar bulunduğunda ve sonuçlarına ulaşılmaktadır. Burada da kenar sıralaması, karşılarındaki açı sıralamasıyla tam uyum göstermekte, yani birimlik en uzun kenar, yaklaşık ölçüsündeki en büyük (ve tek geniş) açıyı görmektedir.

Kosinüs teoremi bir mesafe ölçümü probleminde de kullanılabilmektedir. Örneğin kaynaktaki bir ölçüm probleminde bir gölcüğün genişliği hesaplanmaktadır. Bir gözlem noktasından gölcüğün en doğu ucuna olan uzaklık , en batı ucuna olan uzaklık ise olarak ölçülmektedir. Gözlem noktasından bu iki uca uzanan iki görüş doğrusu arasındaki açı olarak belirlenmektedir. Böylece Kenar-Açı-Kenar veri düzeni oluşmaktadır. Gölcüğün iki ucu arasındaki genişlik için kosinüs teoreminde , ve değerleri yerine konduğunda genişliğin karesi çıkmaktadır. Buradan gölcük genişliği olarak bulunmaktadır.

Üç kenar uzunluğu bilinen (Kenar-Kenar-Kenar) bir üçgen çözülürken kaynaktaki örnekte önce en uzun kenarın gördüğü açı hesaplanmaktadır, çünkü üçgende bir geniş açı varsa bu açı kesinlikle en uzun kenara bakmaktadır ve kosinüs teoremi negatif işaret sayesinde bu geniş açıyı hatasız yakalamaktadır. En büyük açı bulunduktan sonra kalan iki açının dar açı olduğu kesinleştiği için geri kalan adımlar güvenle tamamlanmaktadır.

Evrim Ağacı

Çözümlü örnek 3: Kenar uzunlukları 4, 7 ve 5 birim olan bir üçgenin iç açıları kaç derecedir?

Verilenler: Kenar uzunlukları birim, birim ve birim olan bir üçgen.

İstenen: Üçgenin , ve iç açılarının iki ondalık basamağa göre derece cinsinden yaklaşık ölçüleri ve kenar-açı sıralamasının doğrulanması.

1. adım: Üçgende olası bir geniş açıyı kaçırmamak için önce en uzun kenar olan birimin gördüğü en büyük açı , kosinüs teoremiyle hesaplanmaktadır:

2. adım: Aynı özgün kenar uzunlukları kullanılarak birimlik ortanca kenarın karşısındaki açısı kosinüs teoremiyle bulunmaktadır:

3. adım: En kısa kenar olan birimin karşısındaki en küçük açı , yine başlangıçtaki tam kenar verileriyle hesaplanmaktadır:

Sonuç: Üçgenin açıları , ve olarak bulunmakta, dolayısıyla kenar sıralaması ile karşı açı sıralaması aynı yönde çıkmaktadır. İki ondalık basamağa yuvarlanarak kaydedilen bu üç yaklaşık açının toplamı etmektedir. Geometrik olarak imkansız görünen bu 'lik fark, gerçek üçgenin iç açıları toplamının değişmesinden değil, her açının ayrı ayrı yuvarlanmasından kaynaklanan yuvarlama etkisidir.

Üçgen Tanımlarındaki Kavram Yanılgıları

Trigonometrik ve sentetik kuralların hatasız uygulanabilmesi, en başta "açı" ve "üçgen" kavramlarının zihinde doğru tanımlanmasına bağlıdır. Nitekim temel geometrik tanımlardaki kavramsal boşluklar, bir şeklin kenarlarını uzatırken veya üç doğru parçasını birleştirirken hangi büyüklüğün değişip hangisinin sabit kaldığını yorumlamada sistematik hatalara yol açmaktadır. Örneğin bir köşenin kollarını uzatmanın açıyı büyüttüğünü sanan veya her üç çubuğun bir üçgen kapatacağını varsayan biri, kenar ile açı arasındaki ilişkiyi yanlış öncüller üzerine kurmaktadır.

Kusno ve Sutarto tarafından 2022 yılında yayımlanan araştırma, açı ve üçgen tanımlarında görülen kavram yanılgılarını sınıflandırarak karşı örneklerle incelemiştir.⁠^[14] Araştırmacılar, katılımcıların çizimlerini ve sözel tanımlarını analiz ederek geometrik nesnenin kendisi ile parçalarını veya kapladığı bölgeyi birbirine karıştıran beş temel yanılgı belirlemiştir.

Bu çalışmanın bulguları değerlendirilirken araştırmanın örneklem sınırı göz önünde bulundurulmalıdır, çünkü söz konusu veriler, Endonezya'nın Mataram kentindeki özel bir yükseköğretim kurumunun matematik eğitimi bölümü birinci yıl grubundan elde edilmiştir. Dolayısıyla bu bulgular kavram yanılgılarının niteliğini ve mekanizmasını göstermekle birlikte, başka ülkelerdeki veya farklı yaş gruplarındaki genel yaygınlık oranı olarak sunulamamaktadır.

Açı Kavramına İlişkin Yanılgılar

Geometrik olarak bir açısı, ortak bir başlangıç noktasında kesişen ve ışınlarının birleşimi olarak tanımlanmaktadır. Buradaki noktası açının köşesini, başlangıç noktasından itibaren sınırsız uzanan iki ışın ise açının kollarını oluşturmaktadır. Yani açı, ne sadece tek bir noktadan ne de kolların sınırladığı sonlu bir yüzey alanından meydana gelmektedir.

Araştırmanın ortaya koyduğu ilk yanılgı, tanımı aşırı daraltarak açısını sadece köşe noktası olan noktası sanmaktır, ancak açıyı köşe noktasına indirgeyen bu yaklaşım kolların birbirine göre açıklığını gözden kaçırmaktadır. İkinci yanılgı ise tanımı aşırı genelleştirerek açıyı, iki kol arasında kalan düzlem bölgesinin alanı olarak tanımlamaktır. Oysa iki ışın arasındaki düzlem bölgesi açının iç bölgesidir. Açının kendisi bir yüzey alanı değildir.

Üçüncü yanılgı ise ışınlarla doğru parçalarını birbirine karıştırarak, açıyı bir uç noktada birleşen iki doğru parçasının oluşturduğu şekil sanmaktır. Bir üçgen çizildiğinde köşedeki açının kolları sonlu kenarlar üzerinde görünmektedir. Ancak açıyı iki doğru parçasının birleşimiyle sınırlamak, üçgenin kenarları uzatıldığında köşedeki açının da büyüdüğü yanılgısını doğurmaktadır. Oysa açı iki ışının birleşimi olduğu için kolları oluşturan doğru parçalarının uzayıp kısalması köşedeki açı ölçüsünü değiştirmemektedir. Açıyı sadece iki ışın arasındaki dönme miktarı belirlemektedir.

Üçgen Oluşturma Koşulundaki Yanılgılar

Açı tanımındaki karışıklıkların bir benzeri üçgenin kendi tanımında da ortaya çıkmaktadır. Araştırmada belirlenen dördüncü kavram yanılgısı, üçgenin kendisi ile çevrelediği düzlem bölgesini birbirine karıştırmaktır. Bir üçgeni düzlemin üçgen biçimindeki bir parçası (yani içteki boyalı yüzey) olarak tanımlamak, üçgeni üç doğru parçasının birleşiminden oluşan kapalı sınır çizgisi olmaktan çıkarmaktadır. Dolayısıyla üçgen bir alan değil, bu kapalı sınırın kendisidir ve alan bu kapalı sınırın çevrelediği iç bölgeye ait bir ölçüdür.

Beşinci ve doğrudan kenar bağıntılarını ilgilendiren kavram yanılgısı ise "herhangi üç doğru parçası bir üçgen oluşturur" düşüncesidir. Üçgen tanımını yaparken sadece "üç doğru parçasının uç uca birleşmesi" ifadesiyle yetinmek, bu doğru parçalarının birbirine kavuşabilmesi için gereken uzunluk koşullarını göz ardı etmektedir. Bu nedenle uçların kapanabilmesi için üçgen eşitsizliğinin denetlenmesi zorunludur.

Kusno ve Sutarto bu yanılgıyı çürütmek için , ve uzunluklarından oluşan somut karşı örneği kullanmaktadır. Eğer herhangi üç doğru parçası bir üçgen oluştursaydı, bu üç uzunluğun da bir üçgeni inşa etmesi gerekirdi. Oysa kısa olan iki parçanın uzunlukları toplandığında bulunmaktadır. Bu toplam 'lik üçüncü parçaya ulaşamamaktadır. Bu yüzden uzunluk koşulu denetlenmeden seçilen üç parça düzlemde her zaman kapalı bir üçgen oluşturamamaktadır.

Evrim Ağacı

Sonuç

Üçgende açı-kenar bağıntısı, aynı üçgen içinde daha büyük açının karşısında her zaman daha uzun kenarın durduğunu ve her bir kenar uzunluğunun diğer iki kenarın farkı ile toplamı arasında sınırlandığını ortaya koymaktadır.⁠^{[3], [10]} Bu çift yönlü kural, köşelerdeki açı sıralaması ile karşılarındaki kenar sıralamasının aynı yönde ilerlemesini zorunlu kılmaktadır. Bununla birlikte açı ölçülerini bilmek üçgenin sadece şeklini belirlemektedir. Gerçek kenar uzunluklarını bulmak için ise en az bir kenar verisiyle birlikte sinüs veya kosinüs teoremlerinin uygulanması gerekmektedir.⁠^[12]

Yazının başında ele alınan , ve uzunluğundaki üç doğru parçasının neden bir üçgen kapatamadığı da bu bütünlük içinde netleşmektedir.⁠^[14] İki kısa parçanın toplamı üçüncü parçayı aşmadığı sürece köşelerin birleşmesi geometrik olarak imkansızdır.

Üstelik düzlemdeki üçgenlerden doğan bu kenar toplamı sınırı, modern matematikte sadece çizilmiş çokgenlerle sınırlı bir araç değildir. Aynı ilke karmaşık sayılarda eşitsizliğine, hatta terimli toplamların mutlak değerinin terimlerin mutlak değerleri toplamını aşamayacağını gösteren genellemesine dönüşerek analiz ve cebirin temel eşitsizliklerinden birini oluşturmaktadır.⁠^[13]