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