如图,直线EF分别交AB,AC于点F,E,交BC的延长线于点D,已知AC⊥BD,DF⊥AB求证:AE×CE=DE×EF