Solution:
Let O be the center of a circumscribed circle k of the triangle ABC, and let F and G be the points of intersection of the line CO with the line p and the circle k, respectively (see Figure).
From p∥t it follows that p⊥CO.
Furthermore, ∠ABC=∠AGC, because these angles are peripheral over the same chord.
The quadrilateral AGFE has two right angles at the vertices A and F, and hence, ∠AED+∠ABD=∠AEF+∠AGF=180∘.
Hence, the quadrilateral ABDE is cyclic, as asserted.
