📏 Το θεώρημα
Έστω τρίγωνο με κορυφές A, B, C, απέναντι πλευρές μήκους a, b, c, εμβαδόν K, και μια τυχαία ευθεία εφαπτόμενη στον εγγεγραμμένο κύκλο του τριγώνου, σε οποιοδήποτε σημείο του. Αν a′, b′, c′ είναι οι προσημασμένες κάθετες αποστάσεις των τριών κορυφών από αυτή τη γραμμή (αρνητική απόσταση όταν η κορυφή βρίσκεται στην αντίθετη πλευρά της γραμμής από το κέντρο του εγγεγραμμένου κύκλου), τότε ισχύει πάντα:
Αν η εφαπτόμενη ταυτίζεται με μία από τις πλευρές του τριγώνου, δύο από τις αποστάσεις μηδενίζονται, και ο τύπος απλοποιείται στη γνωστή σχέση: το διπλάσιο του εμβαδού ισούται με το γινόμενο βάσης επί ύψος.
🔄 Μια εκπληκτική σταθερότητα
Το πιο εντυπωσιακό στοιχείο του θεωρήματος: το άθροισμα aa′+bb′+cc′ παραμένει ακριβώς σταθερό, ίσο πάντα με 2K, ανεξάρτητα από το πού ακριβώς αγγίζει η εφαπτόμενη τον εγγεγραμμένο κύκλο — δοκιμάστηκε σε τέσσερα εντελώς διαφορετικά σημεία εφαπτομένης πάνω στον ίδιο κύκλο, με το άθροισμα να παραμένει αναλλοίωτο σε κάθε περίπτωση.
Το θεώρημα φέρει το όνομα του J. Harcourt, ενός Ιρλανδού καθηγητή, αν και σήμερα ελάχιστα βιογραφικά στοιχεία σώζονται γι' αυτόν. Υπάρχει και μια ενδιαφέρουσα επέκταση: αν η εφαπτόμενη γραμμή αγγίζει, αντί για τον εγγεγραμμένο κύκλο, έναν από τους παρεγγεγραμμένους κύκλους του τριγώνου, ισχύει μια ανάλογη —αν και ελαφρώς διαφοροποιημένη— σχέση.

Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου