在矩形ABCD中AB长为四BC长为7BAD的角平分线交BC于EEF垂直于ED交AB于F求EF的长