我的世界花盆合成:如图正方形ABCD与正方形AGEF具有公共顶点.求证:(1)BG=DF,(2)BG⊥DF