(a) Let A′ be the reflection of A over BC, and let M be the second intersection point of line AI with the circumcircle Γ of ABC. Since △ABA′ and △AOC are both isosceles triangles, and ∠ABA′=2∠ABC=∠AOC, they are similar to each other. Similarly, △ABIA and △AIC are also similar. Thus we have
AIAAA′=ABAA′⋅AIAAB=AOAC⋅ACAI=AOAI.
Combined with ∠A′AIA=∠IAO, this shows that △AA′IA and △AIO are similar.
Let P′ be the intersection point of line AP with OI. Using directed angles (denoted ∠∗), we compute:
∠∗MAP′=∠∗IA′AIA=∠∗IA′AA′−∠∗IAAA′=∠∗AA′IA−∠∗(AM,OM)=∠∗AIO−∠∗AMO=∠∗MOP′.
So M,O,A,P′ are concyclic.
Let R,r denote the circumradius and inradius of △ABC respectively. Then we have
IP′=IOIA⋅IM=IOIO2−R2,
which is clearly independent of A. Therefore, the intersection point of BP with OI is also P′, so P=P′.
This proves that point P lies on line OI.

(b) By Poncelet's Porism, the other tangent lines drawn from X,Y to the incircle of ABC meet at a point Z on Γ. Let T be the point of tangency of XY with the incircle, and let D be the midpoint of segment XY. We compute
OD=IT⋅IPOP=r(1+IPOI)=r(1+OI⋅IPOI2)=r(1+R2−IO2R2−2Rr)=r(1+2RrR2−2Rr)=2R=2OX
From this we know ∠XZY=60∘, so ∠XIY=120∘.
The proof is complete.