Μια προσπάθεια:
Θα δείξουμε αρχικά ότι ισχύει

(αναρωτιέμαι αν, που σίγουρα, υπάρχουν κομψότερες λύσεις για αυτό γιατί μου φαίνεται και πιο γενικό πρόβλημα).
Επειδή

, σύμφωνα με γνωστό λήμμα αρκεί να δείξουμε ότι

.
Από τον νόμο των ημιτόνων έχουμε διαδοχικά:

.
Από την άλλη:

.
Επειδή τα

και

είναι όμοια θα είναι

,

άρα

.
Όμως:
Άρα:

, οπότε τελικά

, όπως θέλαμε.
Επομένως

άρα

.
Άρα, αφού τα τρίγωνα

και

είναι όμοια θα ισχύει

, άρα

.
Για το άλλο σκέλος,
εύκολα παρατηρούμε ότι τα τρίγωνα

και τα

είναι ίσα (ΠΓΠ), οπότε

.
Επίσης με μεταφορές γωνιών

και άρα
Οι γωνίες δηλαδή

και

είναι ίσες και βαίνουν στα ίσα τόξα

των κύκλων

αντίστοιχα, άρα οι κύκλοι είναι ίσοι.
Άρα

και

(ίσα τόξα

), οπότε

και άρα

.
Επειδή η

διχοτομεί τη γωνία

του ισοσκελούς

θα είναι κάθετη στην

.
Όμοια η

είναι κάθετη στην

, άρα η

είναι κάθετη στην

.
Όμως

, επομένως

και

.
Tελικά

.