Problem

Source: 2017 Saudi Arabia JBMO Training Tests 2

Tags: tangent, circumcircle, geometry



Let $ABC$ be a triangle inscribed in circle $(O)$ such that points $B, C$ are fixed, while $A$ moves on major arc $BC$ of $(O)$. The tangents through $B$ and $C$ to $(O)$ intersect at $P$. The circle with diameter $OP$ intersects $AC$ and $AB$ at $D$ and $E$, respectively. Prove that $DE$ is tangent to a fixed circle whose radius is half the radius of $(O)$.