In the convex quadrilateral ABCDABCD, the diagonals ACAC and BDBD are perpendicular and the opposite sides ABAB and DCDC are not parallel. Suppose that the point PP, where the perpendicular bisectors of ABAB and DCDC meet, is inside ABCDABCD. Prove that ABCDABCD is a cyclic quadrilateral if and only if the triangles ABPABP and CDPCDP have equal areas.