Problem

Source: 2006 MOP Homework Red Geo 2

Tags: geometry, geometric inequality, excenter, right triangle



Let $ABC$ be a right triangle with$ \angle A = 90^o$. Point $D$ lies on side $BC$ such that $\angle BAD = \angle CAD$. Point $I_a$ is the excenter of the triangle opposite $A$. Prove that $\frac{AD}{DI_a } \le \sqrt{2} -1$