IMO 1983 LL USA65

Let ABCD be a convex quadrilateral whose diagonals AC and

IMO 1983 LL USA65

Origin: USA

Problem

Let ABCD be a convex quadrilateral whose diagonals AC and BD intersect in a point P. Prove that AP PC = cot \angleBAC + cot \angleDAC cot \angleBCA + cot \angleDCA.