**Dış açı teoremi**, bir üçgenin bir dış açısının ölçüsünün, uzak iç açılarının ölçülerinden daha büyük olduğunu belirten Ökllid'in Elemanlar'ı Önerme 1.16'dır. Bu, mutlak geometride temel bir sonuçtur çünkü ispatı paralellik postülatına bağlı değildir.

Birkaç lise geometri incelemesinde, "dış açı teoremi" terimi farklı bir sonuca, yani Önerme 1.32'nin bir üçgenin dış açısının ölçüsünün uzak iç açıların ölçüleri toplamına eşit olduğunu belirten bölüme uygulanmıştır. Öklid'in paralelilk postülatına bağlı olan bu sonuç, onu Öklid dış açı teoreminden ayırmak için "Lise dış açı teoremi" (LDAT-HSEAT: High school exterior angle theorem) olarak anılacaktır.

Bazı yazarlar, dış açı teoreminin *güçlü biçimi* olarak "Lise dış açı teoremi" ve *zayıf biçimi* olarak "Öklid dış açı teoremi" olarak adlandırırlar.

Dış açılar
----------

Bir üçgenin *tepe noktası (verteks)* adı verilen üç köşesi bulunur. Bir tepe noktasında bir araya gelen üçgenin iki kenarı (çizgi parçaları) iki açı oluşturur (üçgenin kenarlarının çizgi parçaları yerine doğrular olduğunu düşünürsek dört açı oluşturur). Bu açılardan sadece bir tanesi iç kısmında üçgenin üçüncü kenarı tarafında kalır ve bu açıya üçgenin *iç açısı* denir. Aşağıdaki resimde *{\textstyle \angle ABC}*, *{\textstyle \angle BCA}* ve *{\textstyle \angle CAB}* açıları üçgenin üç iç *açısıdır*. Üçgenin kenarlarından birinin uzatılmasıyla bir *dış açı* oluşturulur; uzatılmış taraf ile diğer taraf arasındaki açı dış açıdır. Resimde *{\textstyle \angle ACD}* açısı bir dış açıdır.

Öklid dış açı teoremi
---------------------

Öklid tarafından verilen Önerme 1.16'nın ispatı, genellikle Öklid'in kusurlu bir kanıt sunduğu bir yer olarak gösterilmektedir.

Öklid, dış açı teoremini şu şekilde kanıtlar:

* {\textstyle AC} doğru parçasının {\textstyle E} orta noktasını bulun,
* {\textstyle BE} ışınını çizin,
* {\textstyle F} noktasını {\textstyle BE} ışını üzerinde çizin, böylece {\textstyle E} (aynı zamanda) {\textstyle B} ve {\textstyle F}'nin orta noktası olur,
* {\textstyle FC} doğru parçasını çizin.

Eş üçgenler vasıtasıyla, {\textstyle \angle BAC} = {\textstyle \angle ECF} ve {\textstyle \angle ECF}'nin {\textstyle \angle ECD}'den daha küçük olduğu, {\textstyle \angle ECD} = {\textstyle \angle ACD} olduğu sonucuna varabiliriz, bu nedenle {\textstyle \angle BAC} açısı, {\textstyle \angle ACD}'den küçüktür ve aynı şey {\textstyle \angle CBA} açısı için {\textstyle BC}'yi ikiye bölerek yapılabilir.

Kusur, bir noktanın (yukarıda, {\textstyle F}) "iç" açı ({\textstyle \angle ACD}) olduğu varsayımında yatmaktadır. Bu iddia için hiçbir neden belirtilmemiştir, ancak devamındaki diyagram, onu gerçek bir ifade gibi gösterir. Öklid geometrisi için tam bir aksiyom seti kullanıldığında (bkz. Geometrinin Temelleri) bu Öklid savı kanıtlanabilir.

### Küresel geometride geçersiz

Küçük üçgenler neredeyse Öklid tarzında davranabilir, ancak büyük üçgenin tabanındaki dış açılar, Öklid'in dış açı teoremine bir çelişki olarak 90°'dir.
Dış açı teoremi, küresel geometride veya ilgili eliptik geometride geçerli değildir. Biri Kuzey Kutbu olan ve diğer ikisi ekvator üzerinde bulunan küresel bir üçgen düşünün. Kuzey Kutbu'ndan çıkan üçgenin kenarları (kürenin büyük çemberleri) her ikisi de ekvatoru dik açılarda karşılamaktadır, bu nedenle bu üçgenin uzak bir iç açıya eşit bir dış açısı vardır. Diğer iç açı (Kuzey Kutbu'nda) 90°'den daha büyük yapılabilir, bu da bu ifadenin kusurunu vurgulamaktadır. Bununla birlikte, Öklid'in dış açı teoremi mutlak geometride bir teorem olduğundan, hiperbolik geometride otomatik olarak geçerlidir.

Lise dış açı teoremi
--------------------

Lise dış açı teoremi (LDAT), bir üçgenin tepe noktasındaki dış açının boyutunun, üçgenin diğer iki köşesindeki iç açıların boyutlarının toplamına eşit olduğunu söyler (uzak iç açılar). Bu nedenle, resimde *{\textstyle \angle ACD}* açısının boyutu *{\textstyle \angle ABC}* açısının boyutu artı *{\textstyle \angle CAB}* açısının boyutuna eşittir.

LDAT mantıksal olarak bir üçgenin açılarının toplamının 180° olduğu şeklindeki Öklid ifadesine eşdeğerdir. Bir üçgende açıların ölçülerinin toplamının 180° olduğu biliniyorsa, LDAT aşağıdaki şekilde ispatlanır:

{\displaystyle b+d=180^{\circ }}
{\displaystyle b+d=b+a+c}
{\displaystyle \therefore d=a+c.}
Öte yandan, LDAT doğru bir ifade olarak alınırsa:

{\displaystyle d=a+c}
{\displaystyle b+d=180^{\circ }}
{\displaystyle \therefore b+a+c=180^{\circ }.}
LDAT kanıtının çizimi
Bir üçgenin açılarının ölçülerinin toplamının 180° olduğunu kanıtlamak.

LDAT'nin Öklid kanıtı (ve aynı anda bir üçgenin açılarının toplamı üzerindeki sonuç) *{\textstyle C}* noktasından geçen *{\textstyle AB}* tarafına paralel bir çizgi oluşturarak ve ardından sonucu resimdeki gibi elde etmek üzere karşılık gelen açıların özelliklerini ve paralel çizgilerin alternatif iç açılarını kullanarak başlar.

LDAT, bir üçgende bilinmeyen açıların ölçülerini hesaplamaya çalışırken son derece yararlı olabilir.

Notlar
------

1. ↑  Henderson & Taimiņa 2005, s. 110
2. ↑  Wylie, Jr. 1964, s. 101 & s. 106
3. ↑  Bir doğru parçasının iki ucundan biri başlangıç tarafı ve diğeri de son taraf olarak kabul edilir. Açı, başlangıç tarafından son tarafa saat yönünün tersine gidilerek oluşturulur. Doğru parçasının hangi kenarının başlangıç olduğunun seçimi isteğe bağlıdır, bu nedenle doğru parçaları tarafından oluşturulan açı için iki olasılık vardır.
4. ↑  İç açıları bu şekilde tanımlamak bir üçgenin açılarının toplamının 180 derece olduğunu varsaymaz.
5. ↑  Faber 1983, s. 113
6. 1 2  Greenberg 1974, s. 99
7. ↑  Venema 2006, s. 10
8. ↑  Heath 1956, Vol. 1, s. 316

Kaynakça
--------

* Faber, Richard L. (1983), *Foundations of Euclidean and Non-Euclidean Geometry*, New York: Marcel Dekker, Inc. ISBN 0-8247-1748-1
* Greenberg, Marvin Jay (1974), *Euclidean and Non-Euclidean Geometries/Development and History*, San Francisco: W.H. Freeman, ISBN 0-7167-0454-4
* Heath, Thomas L. (1956). *The Thirteen Books of Euclid's Elements* (2nd ed. [Facsimile. Original publication: Cambridge University Press, 1925] bas.). New York: Dover Publications.

(3 vols.): 0-486-60088-2 (vol. 1), 0-486-60089-0 (vol. 2), 0-486-60090-4 (vol. 3).
* Henderson, David W.; Taimiņa, Daina (2005), *Experiencing Geometry/Euclidean and Non-Euclidean with History*, 3rd, Pearson/Prentice-Hall, ISBN 0-13-143748-8
* Venema, Gerard A. (2006), *Foundations of Geometry*, Upper Saddle River, NJ: Pearson Prentice Hall, ISBN 0-13-143700-3
* Wylie Jr. C.R. (1964), *Foundations of Geometry*, New York: McGraw-Hill

**LDAT kaynakları**

* **Geometry Textbook - Standard IX**, *Maharashtra State Board of Secondary and Higher Secondary Education*, Pune - 411 005, **India**.
* **Geometry Common Core**, 'Pearson Education: Upper Saddle River, ©2010, pages 171-173 | **Amerika Birleşik Devletleri**.
* Wheater, Carolyn C. (2007). *Homework Helpers: Geometry*. Franklin Lakes, NJ: Career Press. ss. 88-90. ISBN 978-1-56414-936-7. .

| * g
* t
* d
Yunan matematiği |
| --- |
| Matematikçiler (Zaman Çizelgesi) | 
* Anaksagoras
* Antemius
* Apollonius
* Arhitas
* Aristeus
* Aristarkus
* Arşimet
* Autolikus
* Bion
* Boethius
* Brison
* Kallippus
* Karpus
* Kleomedes
* Konon
* Ktesibius
* Demokritos
* Dikaearhus
* Diokles
* Diofantos
* Dinostratus
* Dionisodoros
* Domninus
* Elealı Zenon
* Eratosthenes
* Eudemus
* Eudoksus
* Eutokius
* Geminus
* Heliodorus
* İskenderiyeli Heron
* Hrisippos
* Hipparkos
* Hippasus
* Hippias
* Hipokrat
* Hipatia
* Hipsikles
* İsidoros
* Matematikçi Leo
* Leon
* Marinus
* Melissa
* Menaihmos
* Menelaus
* Metrodorus
* Nikomahos
* Nikomedes
* Nikoteles
* Oenopides
* Öklid
* Pappus
* Perseus
* Filolaos
* Filon
* Laodikyalı Filonides
* Porfirios
* Poseidonius
* Proklos
* Batlamyus
* Pisagor
* Serenus
* Simplikios
* Sosigenes
* Sporus
* Thales
* Theaetetus
* Theano
* Teodorus
* Theodosius
* İskenderiyeli Theon
* Smirnalı Theon
* Timaridas
* Ksenokrates
* Sidonlu Zeno
* Zenodorus

 |
| Yapıtlar | 
* Almagest
* Arşimet Parşömeni
* Arithmetika
* Konikler (Apollonius)
* Katoptrik (Yansımalar)
* Data (Öklid)
* Elemanlar (Öklid)
* Bir Çemberin Ölçümü
* Konikler ve Sferoidler Üzerine
* Büyüklükler ve Uzaklıklar Üzerine (Aristarchus)
* Büyüklükler ve Uzaklıklar Üzerine (Hipparchus)
* Hareketli Küre Üzerine (Autolycus)
* Öklid'in Optiği
* Sarmallar Üzerine
* Küre ve Silindir Üzerine
* Ostomachion (Syntomachion)
* Planisphaerium
* Sphaerics
* Parabolün Dörtgenleştirilmesi
* Kum Sayacı
* Sonsuz Küçükler Hesabı

 |
| Merkezler | Platon Akademisi **·**  Kirene **·**  İskenderiye Kütüphanesi |
| Etkilendikleri | Babil matematiği **·**  Eski Mısır matematiği |
| Etkiledikleri | Avrupa matematiği **·**  Hint matematiği **·**  Orta Çağ İslam matematiği |
| Problemler | Apollonius problemi **·**  Daireyi kareyle çevreleme **·**  Küpü iki katına çıkarma **·**  Açıyı üçe bölme |
| Kavramlar/Tanımlar | 
* Apollonius çemberi
* Diyofantus denklemi
* Çevrel çember
* Eşölçülebilirlik
* Orantılılık ilkesi
* Altın oran
* Yunan rakamları
* Bir üçgenin iç ve dış çemberleri
* Tükenme yöntemi
* Paralellik postülatı
* Platonik katılar
* Hipokrat ayı
* Hippias kuadratiksi
* Düzgün çokgen
* Cetvel ve pergelle yapılan çizimler
* Üçgen merkezi

 |
| Bulgular | 
* Açıortay teoremi
* Dış açı teoremi
* Öklid algoritması
* Öklid teoremi
* Geometrik ortalama teoremi
* Yunan geometrik cebiri
* Menteşe teoremi
* Çevre açı teoremi
* Kesişme teoremi
* Pons asinorum
* Pisagor teoremi
* Thales teoremi
* Gnomon teoremi
* Apollonius teoremi
* Aristarkus eşitsizliği
* Crossbar (Pasch) teoremi
* Heron formülü
* İrrasyonel sayılar
* Menelaus teoremi
* Pappus'un alan teoremi
* Batlamyus eşitsizliği
* Batlamyus kirişler tablosu
* Batlamyus teoremi
* Theodorus sarmalı

 |
| Antik Yunan matematikçilerinin zaman çizelgesi |