如图所示,AB⊥DC于B,且BD=BA,BE=BC,延长DE交AC与点F 求证:DE=AC,且DE⊥AC.