如图,三角形ABC全等于三角形DEF,点B与点E、点C与点F式对应顶点,点D在AB上,AD=4,