Problem

Source: Sharygin Correspondence Round 2024 P16

Tags: geometry, incenter



Let $AA_1, BB_1, $ and $CC_1$ be the bisectors of a triangle $ABC$. The segments $BB_1$ and $A_1C_1$ meet at point $D$. Let $E$ be the projection of $D$ to $AC$. Points $P$ and $Q$ on sides $AB$ and $BC$ respectively are such that $EP = PD, EQ = QD$. Prove that $\angle PDB_1 = \angle EDQ$.