Solution:
Solution I. We first prove that ∠AZX=∠YZA. Since the triangles △BAX, △CAY are isosceles, and XY is the external bisector of ∠BAC, we see that
∠BXA=∠XAB=∠CAY=∠AYC.
Using these equalities, we find that
∠XBA=180∘−∠BAX−∠AXB=180∘−∠CYA−∠YAC=∠ACY
Since B,C are the centres of respectively Γ1,Γ2, this implies that
∠AZX=21∠ABX=21∠YCA=∠YZA.
Let O be the circumcentre of △XYZ, next we will prove that ∠BZO=∠AZY. Consider the configuration where ∠ZXA is sharp, then ∠ABZ=2∠AXZ=2∠YXZ=∠YOZ. Since △BZA and △OZY are isosceles, this implies ∠BZA=∠OZY. Subtracting ∠OZA (or adding, depending on the configuration) yields ∠BZO=∠AZY.
Together with the analogous result ∠CZO=∠AZX, we conclude ∠BZO=∠AZY=∠XZA=∠OZC, so O lies indeed on the internal bisector of ∠BZC.
Solution II. Let O be the circumcentre of △XYZ, then we see that OX=OZ. Since B is the centre of Γ1, we also see that BX=BZ, so OB is the perpendicular bisector of XZ. Therefore ∠BZO=∠BXO, and analogously we find ∠CZO=∠CYO. Note that B,C lie on the same side of XY; we will consider the configuration where O is on the opposite side of XY. Then ∠BXO=∠BXA+∠AXO. Now the isosceles triangles △BXA,△CAY,△OXY, and XY being the external bisector of ∠BAC give
∠BXA=∠XAB=∠CAY=∠AYC,∠AXO=∠YXO=∠OYX=∠OYA,
so we find that ∠BZO=∠BXO=∠AYC+∠OYA=∠OYC=∠OZC. Hence O lies on the internal bisector of ∠BZC.