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