4. [Version klas 5 \& klas 4 and below] Let K be the intersection of AX and BD, and let L be the intersection of CY and BD. Consider the triangles PLY and PKX. The angles ∠PLY and ∠PKX are both right angles. The angles ∠YPL and ∠XPK are opposite angles and therefore equal. Since ∣PX∣=∣PY∣, we see that triangles PKX and PLY are congruent (SAA). Hence, ∣PK∣=∣PL∣.
Now consider triangles PAK and PCL. Angles ∠AKP and ∠CLP are both right angles. Angles ∠KPA and ∠LPC are opposite angles, hence equal. We have already shown that ∣PK∣=∣PL∣.
!
Therefore, triangles PAK and PCL are congruent (ASA). From this, we conclude that ∣AP∣= ∣PC∣.
In a similar fashion, we may deduce that ∣BP∣=∣DP∣. The two diagonals of ABCD bisect each other, hence ABCD is a parallelogram.