【提出问题】如图1, , , 求证: .
【类比探究】如图2,点A、B均落在格点上,请仅用无刻度的直尺画出线段的中点O.
【类比运用】如图3,点F在 上, , , , 求的长.
小桐的证明方法如下框:
证明:连结 .
在和中,
∵ ,
∴≌ ,
∴ .
小桐的证明是否正确?若正确,请写出这两个三角形全等的理由;若错误,请写出你的证明过程.