已知：⊙O是正方形ABCD的外接圆，点E在弧AB上，连接BE、DE，点F在弧AD上，连接BF，DF，BF与DE、DA分别交于点G、点H，且DA平分∠EDF.