Un cuadrilátero convexo $ABCD$ tiene diagonales perpendiculares. Las bisectrices perpendiculares de los lados $AB$ y $CD$ se intersecan en un único punto $P$ dentro de $ABCD$. Demuestre que el cuadrilátero $ABCD$ es cíclico si y solo si los triángulos $ABP$ y $CDP$ tienen áreas iguales.