2 Se nos da un semicírculo $k$ con centro $O$ y diámetro $AB$ . Sea $C$ un punto sobre $k$ tal que $CO \bot AB$ . La bisectriz de $\angle ABC$ interseca a $k$ en el punto $D$ . Sea $E$ un punto sobre $AB$ tal que $DE \bot AB$ y sea $F$ el punto medio de $CB$ . Demuestre que el cuadrilátero $EFCD$ es cíclico.