如图:在三角形ABC中,角BAC=90度,角ABD=角ABC,BC垂直DF,垂足为F,AF交BD于E.求证:AE=EF