如图,正方形ABCD的边长为2,点E,F分别在边AB,CD,角EBF等于45度