Show that the tangents at the end points of a diameter of a circle are parallel.
∠OBC = 90∘ (The tangent at any point of a circle is perpendicular to the radius through the point of contact)
∠OAE = 90∘ (The tangent at any point of a circle is perpendicular to the radius through the point of contact)
CD ⊥BA
EF ⊥ BA
Therefore we can conclude that CD || EF.
Hence proved.