在正方形ABCD中,对角线的交点为O,E是OB上一点,BG⊥AE交AE的延长线于G,BG交OA于F,试证明OE=OF.