Λόγω παραλληλίας και αφού το

είναι εγγεγραμμένο σε κύκλο είναι
δηλ. το τετράπλευρο

είναι εγγράψιμο σε κύκλο.
Έστω ότι η

τέμνει τον περιγεγραμμένο κύκλο του

στο

. Είναι
δηλ. τo

είναι εγγράψιμο. Έτσι, τα

είναι ομοκυκλικά. Επιπλέον, με κυνήγι γωνιών παίρνουμε
δηλ. το τρίγωνο

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

είναι ισοσκελές με

, είναι
Έτσι τα τρίγωνα

και

είναι ίσα από ΠΓΠ, κι άρα

. Έτσι,
Από την παραλληλία των

και

παίρνουμε
Έτσι,
Άρα η

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

, κι αφού το

είναι ισοσκελές με

, η

είναι η μεσοκάθετος του

. Συνεπώς,

.
Φιλικά,
Αχιλλέας