Μια λύση λιγότερο εμπνευσμένη από τις δύο προηγούμενες, αφού δεν παρατήρησα ότι το πρόβλημα λύνεται
με το θεώρημα Ceva στο τρίγωνο

.
Συμβολίζουμε με

,

,

, και

.
Είναι

(λόγω συμμετρίας ως προς

). Επομένως το

είναι το ορθόκεντρο του

, οπότε

.
Συμβολίζουμε με

και

τα σημεία τομής της

με τις

και

αντίστοιχα.
Μια λύση λιγότερο εμπνευσμένη από τις δύο προηγούμενες, αφού δεν παρατήρησα ότι το πρόβλημα λύνεται
με το θεώρημα Ceva στο τρίγωνο

.
Συμβολίζουμε με

,

,

, και

.

- date_to_hypot_sol.png (54.2 KiB) Προβλήθηκε 444 φορές
Είναι

(λόγω συμμετρίας ως προς

). Επομένως το

είναι το ορθόκεντρο του

, οπότε

.
Συμβολίζουμε με

και

τα σημεία τομής της

με τις

και

αντίστοιχα.
Αποδεικνύεται ότι τα σημεία

,

και

είναι συνευθειακά. Πράγματι, αρκεί

.
Έχουμε

(εύκολα προκύπτουν από το σχήμα).
Τώρα,

ως κάθετες στη

. Επομένως, το

είναι τραπέζιο με το

να είναι το σημείο τομής
των μη παραλλήλων πλευρών του

και

, και εφόσον το

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

, τότε το

θα είναι το μέσο του

.
Επομένως, η δέσμη

είναι αρμονική,οπότε και η διαίρεση

είναι αρμονική (1).
Έστω τώρα

.
Η δέσμη ευθειών

είναι αρμονική (εφόσον οι

και

εσωτερική και εξωτερική
διχοτόμος της

αντίστοιχα). Ως εκ τούτου, οι ακτίνες της ορίζουν στην ευθεία

την αρμονική διαίρεση

.
Επομένως, η δέσμη

είναι αρμονική και ορίζει στην ευθεία

την αρμονική διαίρεση

(2).
Από (1) και (2) προκύπτει ότι

, δηλαδή, οι ευθείες

,

και

διέρχονται από το ίδιο σημείο.
Αποδεικνύεται ότι τα σημεία

,

και

είναι συνευθειακά. Πράγματι, αρκεί

.
Έχουμε

(εύκολα προκύπτουν από το σχήμα).
Τώρα,

ως κάθετες στη

. Επομένως, το

είναι τραπέζιο με το

να είναι το σημείο τομής
των μη παραλλήλων πλευρών του

και

, και εφόσον το

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

, τότε το

θα είναι το μέσο του

.
Επομένως, η δέσμη

είναι αρμονική,οπότε και η διαίρεση

είναι αρμονική

.
Έστω τώρα

.
Η δέσμη ευθειών

είναι αρμονική (εφόσον οι

και

εσωτερική και εξωτερική
διχοτόμος της

αντίστοιχα). Ως εκ τούτου, οι ακτίνες της ορίζουν στην ευθεία

την αρμονική διαίρεση

.
Επομένως, η δέσμη

είναι αρμονική και ορίζει στην ευθεία

την αρμονική διαίρεση

.
Από

και

προκύπτει ότι

, δηλαδή, οι ευθείες

,

και

διέρχονται από το ίδιο σημείο.