已知:如图,正方形ABCD中,对角线的交点为O,E是OB上的一点,DG⊥AE于G,DG交OA于F。