
Since ∠CAZ=∠ZCA=β (angle between the tangent and the chord), it follows that ∠XZY=∠AZC=180∘−2β.
Quadrilateral CAC1A1 is cyclic, so we have ∠C1A1B=∠YA1C=α and ∠BC1A1=∠AC1X=γ. Since ∠XAC1=180∘−∠CAZ−∠BAC=180∘−β−α=γ, from the isosceles triangle IXC1 we get ∠C1XA=180∘−2γ. Analogously, from the isosceles triangle A1YC we get ∠CYA1=180∘−2α.
Let us show that the quadrilateral A1AXD is cyclic. Since quadrilaterals A1C1BD and CABD are cyclic, we have ∠C1DB=∠C1A1B=α and ∠ADB=∠ACB=γ, so ∠ADC1=∠ADB−∠C1DB=γ−α. Furthermore, ∠A1DC1=∠A1BC1=β, so
∠A1DA=∠A1DC1−∠ADC1=β−(γ−α)=α+β−γ=180∘−2γ=∠A1XA,
and the quadrilateral A1AXD is cyclic.
Similarly, ∠CDC1=∠CDA+∠ADC1=β+(γ−α)=180∘−2α=∠CYC1, so the quadrilateral CC1DY is cyclic.
Now we have
∠YDX=∠YDC+∠CDA+∠ADX=∠YC1C+∠CBA+∠AA1X=∠A1C1C+∠CBA+∠AA1C1=(90∘−γ)+β+(90∘−α)=2β,
so ∠XZY+∠YDX=180∘, from what we conclude that the quadrilateral XDYZ is cyclic.