Problem

Source: 2012 Romania JBMO TST3 P2

Tags: geometry, isosceles, tangent circles, semicircle



Consider a semicircle of center $O$ and diameter $[AB]$, and let $C$ be an arbitrary point on the segment $(OB)$. The perpendicular to the line $AB$ through $C$ intersects the semicircle in $D$. A circle centered in $P$ is tangent to the arc $BD$ in $F$ and to the segments $[AB]$ and $[CD]$ in $G$ and $E$, respectively. Prove that the triangle $ADG$ is isosceles.