Problem

Source: 2013 cwmi q7

Tags: trigonometry, geometry



Let $PA, PB$ be tangents to a circle centered at $O$, and $C$ a point on the minor arc $AB$. The perpendicular from $C$ to $PC$ intersects internal angle bisectors of $AOC,BOC$ at $D,E$. Show that $CD=CE$