△AEB ~ △CED

Inscribed angle measures half its intercepted arc

Substitution

∠AEB = ∠CED

∠DAB=(1/2) * (arc DB) and ∠DCB=(1/2) * (arc DB)

∠DAB =∠DCB

AE / CE = AB / CD

Definition

AA similarity

Vertical angles are equal