Να επισυμάνω ότι ως

ονομάζω την ημιπερίμετρο του

(δεν έπαιρνε το ελληνικό τ)Ας επισυνάψω λοιπόν και τη δική μου λύση. Η ιδέα δεν είναι διαφορετική θα προσπαθήσω δηλαδή να αποδείξω ότι

.
Αν ισχύει αυτό τότε ισχύει και η συνθήκη καθετότητας

Αρχικά έχουμε

συνεπώς από τη συνθήκη καθετότητας έχουμε ότι:

Ομοίως

άρα:

Αφαιρώντας κατά μέλη τις

λαμβάνουμε:

Όμως:

Αφαιρώντας κατά μέλη τις

τότε λαμβάνουμε:

Νόμος συνημιτόνων στο τρίγωνο

:

Νόμος συνημιτόνων στο

:

Αφαιρώντας τις

κατά μέλη και χρησιμοποιώντας το γεγονός ότι

λαμβάνουμε ότι:

Όμως:

Έτσι από τις

η

γίνεται:

Συνδυάζοντας τις σχέσεις

η

γίνεται:

Πρακτικά μένει να αποδείξουμε ότι:

Έστω

η ακτίνα του εγγεγραμμένου κύκλου. Τότε από δύναμη σημείου:

Αφαιρώντας τις

κατά μέλη έχουμε:

και το ζητούμενο έπεται.
Αν υπάρχει κάποιο πρόβλημα στην αντικατάσταση των συνημιτόνων και στις δυνάμεις των σημείων επειδή τα θεωρώ δεδομένα θα παραθέσω ένα γενικό σχήμα. Θα προσπαθήσω να βρω την πηγή διότι πρόκειται για πολύ ωραίο άρθρο.