过E作EF垂直于BD于点F,若DC=DE,求证AB=2DF