Applying Menelaus' theorem (孟氏定理) to △ABC with the line PQ, and to △ACD with the line RS, we see that the necessary and sufficient condition for AC to meet PQ and RS at the same point (this point may be at infinity) respectively is:
PBAP⋅QCBQ⋅RDCR⋅SADS=1.(1)
So we set our goal to proving equation (1).
First let us prove the following result.
Lemma 1. Suppose the quadrilateral EFGH has an incircle with center M. Then
GH⋅HEEF⋅FG=HM2FM2.
Proof. Note that ∠EMH+∠GMF=∠FME+∠HMG=180∘, ∠FGM=∠MGH, and ∠HEM=∠MEF (as in Figure 1). By the Law of Sines, we know
FMEF⋅FMFG=sin∠MEF⋅sin∠FGMsin∠FME⋅sin∠GMF=sin∠MGH⋅sin∠HEMsin∠HMG⋅sin∠EMH=HMGH⋅HMHE.
Let the points I,J,K,L be the incircle centers of the quadrilaterals APOS,BQOP,CROQ,DSOR respectively. Applying the result of Lemma 1 to these four quadrilaterals, we obtain
OS⋅SAAP⋅PO⋅OP⋅PBBQ⋅QO⋅OQ⋅QCCR⋅RO⋅OR⋅RDDS⋅SO=SI2PI2⋅PJ2QJ2⋅QK2RK2⋅RL2SL2,
which simplifies to
PBAP⋅QCBQ⋅RDCR⋅SADS=PJ2PI2⋅QK2QJ2⋅RL2RK2⋅SI2SL2.(2)

Figure 2
Next, we have ∠IPJ=∠JOI=90∘, and the points I,J lie on opposite sides of the line OP. From this we know that the quadrilateral IPJO has a circumscribed circle. Similarly, the quadrilateral JQKO also has a circumscribed circle, with ∠JQK=90∘. Therefore ∠QKJ=∠QOJ=∠JOP=∠JIP.
Hence the two right triangles △IPJ and △KQJ are similar, from which we know PJPI=QJQK. Similarly we obtain RLRK=SLSI. Combining these two equations with equation (2), we get equation (1). This completes the proof.