如图，在直角坐标系中， $\text{Rt}\Delta \text{ABC}$的直角边 $\mathit{AC}$在 $x$轴上， $\angle \mathit{ACB}=90°$， $\mathit{AC}=1$，反比例函数 $y=\frac{k}{x}(k>0)$的图象经过 $\mathit{BC}$边的中点 $D(3,1)$．

（1）求这个反比例函数的表达式；

（2）若 $\mathit{\Delta ABC}$与 $\mathit{\Delta EFG}$成中心对称，且 $\mathit{\Delta EFG}$的边 $\mathit{FG}$在 $y$轴的正半轴上，点 $E$在这个函数的图象上．

①求 $\mathit{OF}$的长；

②连接 $\mathit{AF}$， $\mathit{BE}$，证明四边形 $\mathit{ABEF}$是正方形．