證明:?$(1) $?∵?$ O$?是?$EF$?的中點(diǎn),?$GO=OD,$?
∴四邊形?$EDFG$?是平行四邊形.
如圖,連接?$CD.$?
在?$△ABC$?中,∵?$ ∠ACB=90°,$??$AC=BC,$?
∴?$ ∠A=∠B=45°. $?
∵?$ ∠ACB=90°,$??$D$?是?$AB$?的中點(diǎn),
∴?$ CD=\frac 12\ \mathrm {AB}=AD,$??$∠DCF=\frac 12 ∠ACB=45°,$??$CD⊥AB. $?
∴?$ ∠A=∠DCF.$?
在?$△ADE $?和?$△CDF $?中,
?$\begin{cases}{AE=CF,}\\{∠A=∠DCF,}\\{AD=CD,}\end{cases}$?
∴?$ △ADE≌△CDF(\mathrm {SAS}). $?
∴?$ DE=DF,$??$∠ADE=∠CDF. $?
∵?$ ∠ADC=∠ADE+∠EDC=90°,$?
∴?$ ∠EDC+∠CDF=∠EDF=90°. $?
∴?$ ?EDFG$?是正方形.