$证明:如图①,过点E作EM⊥BC于点M,则四边形ABME为矩形, 则AB=EM,$
$在正方形ABCD中,AB=BC,$
$∴EM=BC.$
$∵EM⊥BC,\ $
$∴∠MEF+∠EFM=90°.$
$∵BG⊥EF,$
$∴∠CBG+∠EFM=90°,$
$∴∠CBG=∠MEF,$
$在△BCG和△EMF中,$
$\begin{cases}{ ∠CBG=∠MEF, }\ \\ { BC=EM, }\\{∠C=∠EMF,} \end{cases}\ $
$∴△BCG≌△EMF(ASA),$
$∴EF=BG.$