Let A′,D′,C′,P′,Q′,X′,Y′ be images of points A,D,C,P,Q,X,Y transformed by inversion Iω(B,1) respectively.
---


Then points A′,P′,D′,Q′,C′ are colinear and A′P′=P′D′, D′Q′=Q′C′. This implies from △BA′D′∼△BAD and fact that BP is simedian. Consequently X′=ω(BP′C′)∩A′B, Y′=ω(A′Q′B)∩BC′. Now it is sufficient to prove that points B,X′,Y′,D′ are cyclic. Furthermore
∠X′A′P′=∠Q′Y′C′∠A′X′P′=∠Q′C′Y′⇒P′X′A′P′=Q′C′Q′Y′⇒P′X′P′D′=D′Q′QY′and∠X′P′D′=∠D′Q′Y′⇒△P′D′X′∼△Q′Y′D′⇒∠X′D′P′+∠Y′D′Q′=∠X′P′A′=180∘−∠X′BY′⇒∠X′BY′+∠X′D′Y′=180∘.
This completes the proof.