**Θεώρημα του Θαλή**: Αν η {\displaystyle \mathrm {A\Gamma } } είναι διάμετρος, τότε η γωνία {\displaystyle \angle \mathrm {AB\Gamma } } είναι μια ορθή γωνία.
Για το θεώρημα που μερικές φορές καλείται θεώρημα του Θαλή και αφορά τα όμοια τρίγωνα, δείτε: Θεώρημα τομής του Θαλή.  
Στη γεωμετρία, το **θεώρημα του Θαλή** δηλώνει ότι αν τα {\displaystyle \mathrm {A} }, {\displaystyle \mathrm {B} } και {\displaystyle \mathrm {\Gamma } } είναι διακριτά σημεία ενός κύκλου όπου η ευθεία {\displaystyle \mathrm {A\Gamma } } είναι διάμετρος, τότε η γωνία {\displaystyle \angle \mathrm {AB\Gamma } } είναι ορθή γωνία. 

Το θεώρημα του Θαλή είναι μια ειδική περίπτωση του θεωρήματος της εγγεγραμμένης γωνίας και αναφέρεται και αποδεικνύεται ως μέρος της 31ης πρότασης στο τρίτο βιβλίο των Στοιχείων του Ευκλείδη. Γενικά αποδίδεται στον Θαλή, αλλά μερικές φορές αποδίδεται στον Πυθαγόρα.

Απόδειξη
--------

Σχήμα για την απόδειξη του θεωρήματος.
Τα τρίγωνα {\displaystyle \mathrm {AOB} } και {\displaystyle \mathrm {\Gamma OB} } είναι ισοσκελή, καθώς {\displaystyle \mathrm {OA} =\mathrm {OB} } και {\displaystyle \mathrm {O\Gamma } =\mathrm {OB} } ως ακτίνες του ίδιου κύκλου. Επομένως, οι προσκείμενες στη βάση γωνίες είναι ίσες:

{\displaystyle \angle \mathrm {BAO} =\angle \mathrm {OBA} } και {\displaystyle \angle \mathrm {B\Gamma O} =\angle \mathrm {\Gamma BO} }.
Επομένως, 

{\displaystyle {\hat {\mathrm {B} }}=\angle \mathrm {AB\Gamma } =\angle \mathrm {BA\Gamma } +\angle \mathrm {B\Gamma A} ={\hat {\mathrm {A} }}+{\hat {\mathrm {\Gamma } }}}.
Στο τρίγωνο {\displaystyle \mathrm {AB\Gamma } } έχουμε ότι το άθροισμα των γωνιών είναι {\displaystyle 180^{o}} άρα

{\displaystyle {\hat {\mathrm {A} }}+{\hat {\mathrm {B} }}+{\hat {\mathrm {\Gamma } }}=180^{o}\Rightarrow 2\cdot {\hat {\mathrm {B} }}=180^{o}\Rightarrow {\hat {\mathrm {B} }}=90^{o}}.

Αντίστροφο
----------

Ισχύει και το αντίστροφο του θεωρήματος, δηλαδή αν η γωνία {\displaystyle \angle \mathrm {AB\Gamma } } είναι ορθή, τότε υπάρχει κύκλος που διέρχεται από τα τρία σημεία και έχει διάμετρο την {\displaystyle \mathrm {A\Gamma } }.

Σχήμα απόδειξης του αντιστρόφου.
*(Απόδειξη)* Έστω {\displaystyle \mathrm {M} } το μέσο της {\displaystyle \mathrm {A\Gamma } }. Θα αποδείξουμε ότι {\displaystyle \mathrm {AM} =\mathrm {BM} =\mathrm {\Gamma M} } και επομένως ο κύκλος με κέντρο {\displaystyle \mathrm {M} } και ακτίνα {\displaystyle \mathrm {AM} } διέρχεται από τα σημεία {\displaystyle \mathrm {A} }, {\displaystyle \mathrm {B} } και {\displaystyle \mathrm {\Gamma } }.

Έστω {\displaystyle \mathrm {M\Delta } } η κάθετη στην {\displaystyle \mathrm {AB} } και {\displaystyle \mathrm {ME} } η κάθετη στην {\displaystyle \mathrm {B\Gamma } }. Άρα το {\displaystyle \mathrm {BEM\Delta } } είναι ορθογώνιο παραλληλόγραμμο και επομένως {\displaystyle \mathrm {B\Delta } =\mathrm {ME} } και {\displaystyle \mathrm {BE} =\mathrm {M\Delta } }.

Επίσης, {\displaystyle \angle \mathrm {\Delta MA} ={\hat {\mathrm {\Gamma } }}} ως συμπληρωματικές γωνίες στην {\displaystyle {\hat {\mathrm {A} }}} στα τρίγωνα {\displaystyle \mathrm {\Delta MA} } και {\displaystyle \mathrm {AB\Gamma } }. Ακόμα {\displaystyle \angle \mathrm {EM\Gamma } ={\hat {\mathrm {A} }}} ως συμπληρωματικές γωνίες στην {\displaystyle {\hat {\mathrm {\Gamma } }}} στα τρίγωνα {\displaystyle \mathrm {EM\Gamma } } και {\displaystyle \mathrm {AB\Gamma } }.

Επομένως, τα τρίγωνα {\displaystyle \mathrm {A\Delta M} } και {\displaystyle \mathrm {ME\Gamma } } είναι ίσα αφού έχουν μία πλευρά και τις δύο προκείμενες γωνίες ίσες. Επομένως, {\displaystyle \mathrm {A\Delta } =\mathrm {ME} =\mathrm {B\Delta } }, άρα η {\displaystyle \mathrm {M\Delta } } είναι ύψος και διάμεσος στο {\displaystyle \mathrm {MAB} }, άρα το {\displaystyle \mathrm {MAB} } είναι και ισοσκελές με {\displaystyle \mathrm {MA} =\mathrm {MB} }. Αυτό ολοκληρώνει την απόδειξη. {\displaystyle \square }

Ιστορία
-------

Ο Θαλής ο Μιλήσιος
Δεν έχει διασωθεί τίποτα από τη γραφή του Θαλή. Το έργο που έγινε στην αρχαία Ελλάδα είχε την τάση να αποδίδεται σε ανθρώπους της σοφίας χωρίς σεβασμό σε όλα τα άτομα που συμμετείχαν σε συγκεκριμένες πνευματικές κατασκευές- αυτό ισχύει ιδιαίτερα για τον Πυθαγόρα. Η απόδοση τείνει να γίνεται σε μεταγενέστερο χρόνο. Αναφορά στον Θαλή έγινε από τον Πρόκλο και από τον Διογένη Λαέρτιο, ο οποίος τεκμηριώνει τη δήλωση του Παμφίλα ότι ο Θαλής "ήταν ο πρώτος που έγραψε σε κύκλο ένα ορθογώνιο τρίγωνο".

Οι Βαβυλώνιοι μαθηματικοί το γνώριζαν αυτό για ειδικές περιπτώσεις πριν το αποδείξει ο Θαλής.:14 Πιστεύεται ότι ο Θαλής έμαθε ότι η γωνία που εγγράφεται σε ημικύκλιο είναι ορθή γωνία κατά τη διάρκεια των ταξιδιών του στη Βαβυλώνα. Το θεώρημα πήρε το όνομά του από τον Θαλή, επειδή οι αρχαίες πηγές αναφέρουν ότι ήταν ο πρώτος που απέδειξε το θεώρημα, χρησιμοποιώντας τα δικά του αποτελέσματα ότι οι βασικές γωνίες ενός ισοσκελούς τριγώνου είναι ίσες και ότι το άθροισμα των γωνιών ενός τριγώνου είναι ίσο με μια ευθεία γωνία (180°).

Στο Παράδεισο του Δάντη (τραγούδι 13, γραμμές 101-102) αναφέρεται το θεώρημα του Θαλή κατά τη διάρκεια μιας ομιλίας.

Δείτε επίσης
------------

* Ορθογώνιο τρίγωνο
* Περιγεγραμμένος κύκλος

Παραπομπές
----------

1. ↑  Internet Archive· Heath, Thomas Little (1956). *The thirteen books of Euclid's Elements*. New York, Dover Publications. ISBN 978-0-486-60088-8.
2. ↑  Allen, G. Donald (2000). «Thales of Miletus» (PDF). Αρχειοθετήθηκε από το πρωτότυπο (PDF) στις 26 Μαρτίου 2004. Ανακτήθηκε στις 12 Φεβρουαρίου 2012.
3. ↑  Patronis, T.· Patsopoulos, D. *The Theorem of Thales: A Study of the naming of theorems in school Geometry textbooks*. Patras University. Αρχειοθετήθηκε από το πρωτότυπο στις 3 Μαρτίου 2016. Ανακτήθηκε στις 12 Φεβρουαρίου 2012.
4. ↑  Herrmann, Joachim· Zürcher, Erik. *History of humanity: scientific and cultural development*. **3**. Paris London: UNESCO Routledge. ISBN 92-3-102812-X.
5. ↑  Merzbach, Uta C.· Boyer, Carl B. *A history of mathematics* (3η έκδοση). Hoboken, N.J: Wiley. ISBN 0-470-63056-6.

Εξωτερικοί σύνδεσμοι
--------------------

* Weisstein, Eric W. "Thales' Theorem" από το MathWorld.
* Schreiber, Michael, "Thales' Theorem" από το The Wolfram Demonstrations Project.
* Munching on Inscribed Angles.
* Thales' theorem explained (με διαδραστική κίνηση).
* Agricola, Ilka· Friedrich, Thomas (2008). *Elementary Geometry*. AMS. σελ. 50. ISBN 0-8218-4347-8.