Let I be the incenter and Ia the A-excenter of triangle ABC and J the C-excenter of triangle CDE. J lies on ω, since
∠EJD=90∘−21∠ECD=∠CDE.
We claim that A, J, and Z are collinear. Point T lies on AC such that IT∥DE. To prove our claim, we just need to show that ITIJ=IaCIaZ, since IT∥CIa, IJ∥IaZ and IIa passes through A. Notice that
∠ITE=∠DEC=∠EDC=∠IaCY⟹△IET∼△IaYC⟹ITIE=IaCIaY,
hence ITIJ=IaCIaZ, since IE=IJ and IaY=IaZ. So the claim is proved. Let BC touches A-excircle at Y. The extensions of sides of quadrilateral AEDB are tangent to A-excircle, therefore
AE+ED=AB+BD⟹ED=2BD.(1)
Yielding DX=DE, and it is obvious that DY=DZ so quadrilateral YZXE is an isosceles trapezoid and Y lies on the circumcircle of triangle XZE. Hence
∠EKY=∠EZY=21∠EDY=∠EDM,
where M is the midpoint of arc ED (not containing J), so KY passes through M. Let N be the midpoint of segment ED. Notice that △CDI∼△CND, hence
CDDN=ICID⟹(1)CDBD=ICIJ⟹JB∥ID.
therefore ∠YJD=∠BKD, since ∠BJY=∠BKY. According to our assumption, J lies on the angle bisector of ∠YDZ and YD=DZ. It yields that JD is the perpendicular bisector of YZ and ∠YJD=∠ZJD. Hence ∠ZJD=∠BKD and the result follows.
