正方形ABCD的边CD中点为E,F为CE中点,求证角DAE=1/2角BAF