在三角形ABC中,点D是BC边上的一点,AD=CD,F是AC的中点,DE平分角ADB交AB于点E.求证:DE垂直DF.