正方形ABCD边长为1,E,F分别在AB,CD边上,且角EDF等于45度,求三角形EBF的周长