This is a special case of Jacobi's theorem. Alternatively, by Ceva's theorem, it suffices to prove
sin∠BCXsin∠ACX×sin∠CAYsin∠BAY×sin∠ABZsin∠CBZ=1.
Applying the sine law to △ACX and △BCX, we obtain
sin∠ACX=AX×CXsin∠CAX,sin∠BCX=BX×CXsin∠CBX.
Combining these, since AX=BX, we get
sin∠BCXsin∠ACX=sin∠CBXsin∠CAX.
Similarly, we find that
sin∠BCXsin∠ACX×sin∠CAYsin∠BAY×sin∠ABZsin∠CBZ=sin∠CBXsin∠CAX×sin∠ACYsin∠ABY×sin∠BAZsin∠BCZ.
Note that ∠CAX=∠BAZ, ∠ABY=∠CBX and ∠BCZ=∠ACY. Therefore, this is equal to 1, and we are done.
