Problema de Geometría 20: Triángulo rectángulo, Altura, Perpendiculares, Inradios

En un triangulo rectángulo ABC, BD es la altura, DE y DF son perpendiculares a AB y BC respectivamente. Si a, b y x son los inradios de los triángulos AED, DFC, y EDF respectivamente, demostrar que: .