Θα βάλω μια λύση (πιστεύω πρωτότυπη, ειδικά στο τελείωμα) σε αυτό το πολύ όμορφο πρόβλημα, με χρήση αντιστροφής, εξηγώντας όσο μπορώ τη σκέψη μου .
1) Προσπαθούμε να αξιοποιήσουμε την γωνιακή σχέση μεταφράζοντας τη σε κάτι πιο απλό- ουσιαστικά ορμώμενοι από την προσπάθεια να
"κατασκευάσουμε" το σημείο 
.
Φέρνοντας κάθετη

(με

επί της

) στην

, βλέπουμε ότι η γωνιακή σχέση μας δίνει:

=

, άρα

ομοκυκλικά (όμοια

).
2) Τώρα χρησιμοποιούμε
αντιστροφή! Η σκέψη αυτή προκύπτει από το γεγονός ότι
πολλοί κύκλοι και ευθείες στο σχήμα συντρέχουν στο 
.
3) Bλέπουμε τι γίνεται στο σχήμα μας (αν το

πηγαίνει με την αντιστροφή στο

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

σαν

). Το

παραμένει εγγράψιμο (κύκλος πάει σε κύκλο). Eπίσης

(αφού στο αρχικό σχήμα

). Ακόμα, το

και το

ανήκουν στον κύκλο

(αφού ανήκαν στην ευθεία

) και ταυτόχρονα

συνευθειακά. Καθώς όμως

, βλέπουμε ότι

διάμετρος, κι άρα το

περνάει από το μέσο της

, έστω

(αυτή είναι η
πρώτη μας σημαντική παρατήρηση). Όμοια όλα για το

- to

περνάει από το μέσο

της

.
4) Η συνθήκη μας γίνεται

(o εφαπτόμενος κύκλος

πήγε στην ευθεία

η οποία πρέπει τώρα να είναι παράλληλη της "πρώην εφαπτομένης"

).
5) Αφού

αρκεί να δείξουμε ότι

. Ισοδύναμα

. Ομως

κι έτσι αρκεί να δειχτεί ότι

.
Αυτή φαίνεται μια αθώα γωνιακή σχέση που πίστευα ότι θα μπορούσα να αποδείξω άμεσα, όμως με ταλαιπώρησε πολύ. Βάζω το βήμα 6- και τελευταίο- σε hint, ελπίζοντας ότι θα το προσπαθήσετε σαν να ήταν ένα λήμμα
6)
Χρησιμοποιώντας ότι

, βλέπουμε ότι

όμοιο με

. Αρα

όπου

η διάμεσος του

(αυτό είναι και η στιγμή τη φαεινής ιδέας

που αναφωνείς "εύρηκα"!). Ομως στο τρίγωνο

, το

είναι το σημείο στο συναντιούνται οι εφαπτομένες κι άρα
συμμετροδιάμεσος! Οπότε:

. qed
Πραγματικά όμορφο πρόβλημα, ό,τι πρέπει για πρόβλημα 3.
Y.Γ. extra ερώτημα που προκύπτει (στο αρχικό σχήμα). Να δειχτεί ότι οι κύκλοι

,

και

συντρέχουν (σε σημείο εκτός του

).