Θα δώσουμε μια λύση χρησιμοποιώντας δύο λήμματα. Στη πραγματικότητα ένα είναι το λήμμα και μια παραλλαγή του. Το λήμμα αυτό (το πρώτο) είναι αρκετά ως πολύ γνωστό και εμφανίζεται με διάφορα ονόματα στη διεθνή βιβλιογραφία. Στην αγγλόφωνη βιβλιογραφία ως λήμμα Ιράν, και στη ρωσόφωνη ως πρόβλημα 255 (με αυτόν τον αριθμό εμφανίζεται στο βιβλίο του διάσημου Γεωμέτρη Ι.Φ. Σάριγκιν (1937-2004) στο βιβλίο του
"Γεωμετρία" για τις τάξεις 9-11, Μόσχα Εκδοτικός οίκος "Drofa" 1996.
Λήμμα 1.

Έστω

και

τα σημεία επαφής του εγγεγραμμένου κύκλου ενός τριγώνου

με τις πλευρές του

και

αντίστοιχα.
Αν

(

) το σημείο τομής της διχοτόμου της γωνίας

(

) με την ευθεία

, τότε

(

).

Επίσης το σημείο

ανήκει στην ευθεία που διέρχεται από τα μέσα των πλευρών

και

του τριγώνου

.
Λήμμα 2.

Έστω

και

τα σημεία επαφής του

παρεγγεγραμμένου κύκλου με την πλευρά

και την προέκταση της πλευράς

ενός τριγώνου

, και

(

) το σημείο τομής της εξωτερικής διχοτόμου της γωνίας

(της διχοτόμου της γωνίας

) με την ευθεία

.
Τότε,

(

).

Επίσης το σημείο

(

) ανήκει στην ευθεία που διέρχεται από τα μέσα των πλευρών

και

(

και

) του τριγώνου

.
Σύμφωνα με τα λήμματα αυτά τα τετράπλευρα

και

είναι εγγεγραμμένα σε κύκλους με κέντρα τα σημεία

και

που
είναι τα μέσα των

και

αντίστοιχα. Η κοινή χορδή αυτών των κύκλων είναι το ύψος

του τριγώνου

, που είναι
και ο ριζικός άξονας των δύο αυτών κύκλων. Έστω

το σημείο τομής των ευθειών

και

. Για να αποδείξουμε ότι ανήκει
στο ύψος

, αρκεί να αποδείξουμε ότι έχει ίσες δυνάμεις ως προς τους δύο κύκλους, δηλαδή, αρκεί

ή

ή ότι τα τρίγωνα

και

είναι όμοια.

- conc_on_the_altitude.png (78.16 KiB) Προβλήθηκε 383 φορές
Πράγματι τα δύο τρίγωνα έχουν

(κατακορυφήν γωνίες),

, εφόσον έχουν ίσες τις παραπληρωματικές τους.
Πράγματι, από το ισοσκελές τρίγωνο

(

,

διάμεσοι στην υποτείνουσα των ορθογώνιων τριγώνων

και

αντίστοιχα)
έχουμε ότι

.
Επίσης

(η πρώτη γωνιακή ισότητα προκύπτει από το εγγεγραμμένο τετράπλευρο

και στη συνέχεια
η γωνία

είναι το μισό της εξωτερικής γωνίας

).
Επομένως, τα δύο τρίγωνα είναι όμοια, και το πρόβλημα έχει λυθεί.