Στο μυαλό μου είχα προβολική γεωμετρία.
Αρχικά θεωρείται γνωστό πως

συνευθειακά και

, οπότε η

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

.
Αν

το άλλο κοινό σημείο της

με τον A-mixtilinear incircle τότε με αντιστροφή ως προς αυτόν τον κύκλο το

πηγαίνει στο

και το

στο

, άρα ο κύκλος

πηγαίνει στην

.
Άρα το

είναι σημείο του κύκλου

.
Αν

η τομή του

με

τότε έχουμε

Οπότε οι

είναι εφαπτομένες στον mixtilinear.
Με αντιστροφή ως προς τον κύκλο

ο mixtilinear και ο περιγεγραμμένος πηγαίνουν στον εαυτό τους ως ορθογώνιοι στον

. Ο κύκλος

πηγαίνει στην

, άρα το

πάει στο

και έτσι έχουμε

συνευθειακά.
Αφού ισχύει ότι

τότε λόγω δέσμης από το

έχουμε

και προβάλλοντάς τα στην

από το

έχουμε

.
Όμως αν

τότε το

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

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

, οπότε

που είναι το ζητούμενο.

- Στιγμιότυπο οθόνης 2025-10-21, 19.19.46.png (551.84 KiB) Προβλήθηκε 814 φορές
Θα ήθελα να δω αν υπάρχει πιο απλή συνθετική λύση.