正方形ABCD中,对角线的交点为O,E是OB上一点,DG⊥AE与G,DG交OA为F,若点E在OB的延长线上,OE还等于O