已知正方形ABCD的边长为1,以BC为直径在正方形内作半圆,过点A作半圆的切线,点F为切点,切线AF交边CD于E,求DE