Solution:
Let AP=p, BP=q, CP=r, DP=s; AB=a, BC=b, CD=c and DA=d. Let ∠APB=∠CPD=θ. Then ∠BPC=∠DPA=π−θ. Let us also write PE=h1, PF=h2, PG=h3 and PH=h4.

Observe that
h1a=pqsinθ,h2b=qrsinθ,h3c=rssinθ,h4d=spsinθ
Hence
h11+h31=h21+h41
is equivalent to
pqa+rsc=qrb+spd
This is the same as
ars+cpq=bsp+dqr
Thus we have to prove that a+c=b+d if and only if ars+cpq=bsp+dqr. Now we can write a+c=b+d as
a2+c2+2ac=b2+d2+2bd
But we know that
a2=p2+q2−2pqcosθ,c2=r2+s2−2rscosθb2=q2+r2+2qrcosθ,d2=p2+s2+2pscosθ
Hence a+c=b+d is equivalent to
−pqcosθ−rscosθ+ac=pscosθ+qrcosθ+bd
Similarly, by squaring ars+cpq=bsp+dqr we can show that it is equivalent to
−pqcosθ−rscosθ+ac=pscosθ+qrcosθ+bd
We conclude that a+c=b+d is equivalent to cpq+ars=bps+dqr. Hence ABCD has an incircle if and only if
h11+h31=h21+h41