Proof: As shown in Figure 1, construct DH⊥AC at point H, and let BI intersect YJ at point M, and IJ intersect AC at point N.
By ∠MJI=∠MBD=21∠ABC−∠CBD=90∘−∠CAD−21∠ADC=∠JDH⇒IJ//DH⇒IJ⊥AC.
By the properties of the incircle,
AN−NC=AB−BC=AD−DC⇒AB+DC=AD+BC
⇒ Quadrilateral ABCD is a bicentric quadrilateral.
As shown in Figure 2, draw Y1X1⊥AC, intersecting OD and OB at points Y1 and X1, respectively.
By IJ//X1Y1, and I,J,D,B being concyclic,
⇒Y1,D,X1,B are concyclic
⇒AP⋅PC=PB⋅PD=PX1⋅PY1⇒A,X1,C,Y1 are concyclic ⇒PY1X1P=sin∠Y1OPsin∠X1OP⋅OY1OX1. Also, PDBP=sin∠DOPsin∠BOP⋅ODBO,OY1OX1=OBOD⇒PY1X1P=PDBP⋅OB2DO2.
Taking the tangency points T and S on AD and BC, respectively. By Newton's theorem, T,P,S are collinear.
By △OBS∽△DOT⇒DOBO=OTBS=DTOS⇒OD2BO2=DTBS⇒PBBS=sin∠PSBsin∠BPS=sin∠PSCsin∠TPD=sin∠PTDsin∠TPD=PDTD. Thus, PY1X1P=1.
Therefore, AC is the diameter of the circumcircle of quadrilateral Y1AX1C. Hence, points X and Y are symmetric with respect to AC.