Problema de Geometría 17: Triángulos rectángulos, Altura

La figura muestra los triángulos rectángulos ABC y ADC, la medida del ángulo ACB es el doble de la medida del ángulo ACD, y DE es perpendicular a AC. Demostrar que AB = 2DE.