# Circle, Parallelogram and Trapezoid Proof

Let AB be a diameter in a given circle and let C be a point on the circle such that OC $\perp$ AB. Let D be an arbitrary point on the small arc AC. Let E be the point of intersection between OC and BD. Let F be the point of intersection of the tangent lines drawn at A and D

Prove that:

OBEF is a parallelogram

OEDF is a cyclic trapezoid

What I have so far...

to prove OBEF is a parallelogram I have to show wither opposite sides parallel or opposite sides congruent. I am stuck on how to chase the angles

Any help would be appreciated!

• $OBDF$ is not cyclic, is there a typo? – Lazy Lee May 20 '17 at 1:59
• yes there is I am sorry, OEDF – Parley May 20 '17 at 1:59

Notice that from $OB = AO$, $\angle OBD = \frac{1}{2}\angle AOD = \angle AOF$ and $\angle OAF = \angle BOE=90^\circ$, we know that $\triangle AOF \cong \triangle OBE$ . Further, notice that $\angle OBD = \angle AOF$ tells us $OF\parallel BE$, and congruency gives us $OF=BE$.
Hence, $OBEF$ is a parallelogram because $OF\parallel BE$ and $OF=BE$. Next, because $OBEF$ is a parallelogram, we have $$DE\parallel OF\implies \angle DEF=\angle OFE = \angle AOF =\angle DOF \implies OEDF \ \ \text{is cyclic.}$$
• @Lazy Lee: You were supposed to show $OEDF$ is cyclic. – quasi May 20 '17 at 2:25
$\angle \, EAO = \angle \, EBO = \angle \, EDO$ because triangles $ABE$ and $BDO$ are isosceles with $AE = BE$ and $OB=OD$ respectively. Therefore, $\angle \, EAO = \angle \, EDO$ implies that $ADEO$ is inscribed in a circle $k$. However by tangency, $\angle \, OAF = 90^{\circ} = \angle \, ODF$ so $AFDO$ is inscribed in a circle. But $k$ is the circumcircle of triangle $ADO$ so the pentagon $AFDEO$ is inscribed in $k$. Consequently, $\angle \, OAF + \angle \, OEF = 180^{\circ}$ and because $\angle \, OAF = 90^{\circ}$ so is $\angle \, OEF = 90^{\circ}$. Observe that $AF \perp AB$ and $OE \perp AB$ so $AF \, || \, OE$, and $EF \perp OE$ and $OA \perp OE$. Thus $AFEO$ is a parallelogram inscribed in circle $k$ so it must be a rectangle. Moreover, $EF \, || \, AO$ and $EF = AO = BO$ and since $O \in AB$, $BO \, || \, EF$ and $BO = EF$ so $BEFO$ is a parallelogram.