请问一道数学几何题.正方形ABCD中,两条对角线相交于E点,AF平分∠BAC.求证EF+½AC=AB.