At first we shall prove following lemma:
Lemma. If point A′ is antipode of vertex A in circumcircle of triangle ABC, then
SABC−SA′BC=21∣BC∣2cot∠A,
where SXYZ denotes the area of triangle XYZ.
Proof. Let H be the orthocenter of triangle ABC. Notice that
SABC−SA′BC=SABC−SHBC=21BC⋅AH=21∣BC∣2cot∠A.


Now let AB=a, AD=b, ∠APB=∠P1, ∠BPC=∠P2, ∠CPD=∠P3 and ∠DPA=∠P4. From the lemma, it's easy to see that
2SABCD−SXYZT=2a2(cot∠P1+cot∠P3)+2b2(cot∠P2+cot∠P4)=2a2(sin∠P1⋅sin∠P3sin(∠P1+∠P3))+2b2(sin∠P2⋅sin∠P4sin(∠P2+∠P4))
Without loss of generality, we can assume ∠P1+∠P3>180∘ (If ∠P1+∠P3=180∘ we are done) so sin(∠P1+∠P3)<0. Let points K,L,M and N be the foot of the perpendicular lines from P to AB,BC,CD and DA, respectively. We need to prove that
⇔2a2(sin∠P1⋅sin∠P3sin(∠P1+∠P3))+2b2(sin∠P2⋅sin∠P4sin(∠P2+∠P4))<0
⇔sin∠P1⋅sin∠P3a2>sin∠P2⋅sin∠P4b2
⇔sin∠ABPAP⋅sin∠CDPCP>sin∠ADPAP⋅sin∠CBPCP
⇔sin∠ CBP ⋅sin∠ ADP > sin∠ ABP ⋅sin∠ CDP
⇔BP⋅sin∠CBP⋅DP⋅sin∠ADP>BP⋅sin∠ABP⋅DP⋅sin∠CDP
⇔PL⋅PN>PK⋅PM
⇔∠LKN+∠LMN>∠KLM+∠KNM
⇔∠APB+∠CPD>∠APD+∠BPC
The latest assertion is true, so the proof is completed. ■