Considera una semicircunferencia de centro $O$ y diámetro $[AB]$ , y sea $C$ un punto arbitrario en el segmento $(OB)$ . La perpendicular a la línea $AB$ a través de $C$ intersecta la semicircunferencia en $D$ . Un círculo centrado en $P$ es tangente al arco $BD$ en $F$ y a los segmentos $[AB]$ y $[CD]$ en $G$ y $E$ , respectivamente. Demuestra que el triángulo $ADG$ es isósceles.