EC is perpendicular to OC. AD is perpendicular to AB.
Hence
So EA = EC.
Similarly you can prove that EP = EC.
hi
-- 1
(alternate segments)
so
and EA=EC (equal sides of an isosceles triangle)
(tangents at A and C)
Hence we can conclude that OAEC is a square
(angle in a semicircle)
(angle of a line)
From 1 , we see that
AD=EC (square)
so
ED=OC (corresponding angle)
Since OC=EA , ED=EA