在三角形ABC中,角ACB=90°,CB=CA=根号二,且角ECF=45° ,求证;BF 乘AE=2