【性质探究】

如图，在矩形ABCD中，对角线AC，BD相交于点O，AE平分∠BAC，交BC于点E。作DF⊥AE于点H，分别交AB，AC于点F，G。