在正方形ABCD的对角线AC上取一点E,使AE=AB,并且作EF垂直AC交BC于F,求证,BF=EC