三角形ABC,∠BAC=90°,BC的垂直平分线EF交BC于F,交AB于E