初二几何提问如图,点O为正方形ABCD对角线AC,BD的交点,AG平分∠BAC,DE⊥AG,求证OF=1/2BE