正方形ABCD,E为CD中点,F为CE中点,求证:角EAD=角BAF的一半