已知△ABC中,∠BAC=90° CB的 中垂线DE交BC于点E,交CA的 延长线于点D交AB于点F,求证AE^2=EF