$OQ \perp EF$ olsun.
$OQFC$ kirişler dörtgeninde $\angle QFO = \angle QCO = \angle CBO$
$EBQO$ kirişler dörtgeninde $\angle QEO = \angle QBO = \angle QFO \Longrightarrow OE = EF \Longrightarrow QE = QF$. $\blacksquare$
$QF=QE$ olsun.
$F$ den $AB$ ye çizilen paralel $BC$ yi $G$ de kessin. $EQ=QF$ olduğu için $BE=FG$ ve paralellikten $\angle ABC = \angle FGC = \angle FCG$ olduğu için $BE=FC$ dir. Aynı zamanda $OB=OC$ olduğu için $\triangle OBE \cong \triangle OCF$ olup, $OE=QF$ ve $OQ \perp EF$ dir. $\blacksquare$