▪ 2AF = AB−AC

Έστω τρίγωνο ABC, με ΑB > AC.  Η εξωτερική διχοτόμος της γωνίας BAC τέμνει τον περιγεγραμμένο κύκλο του τριγώνου ABC στο σημείο E.  Αν F το ίχνος της καθέτου από το σημείο Ε στην ΑΒ, να αποδειχθεί ότι
2AF = AB−AC.