请先阅读下面的题目与证明，然后回答问题：

如图所示，在△ABC中，∠ABC=∠ACB，D、E分别是AB、AC上两点，且BD=CE，BE、CD相交于点O．求证：△BOD≌△COE．

证明：在△DBC和△ECB中，

∴△DBC≌△ECB(SAS)．

∴∠DBC－∠BOC=∠ECB－∠BOC．

即△BOD≌△COE

上述证明是否有错误，若正确，请在右边空白处写上“正确”二字；如有错误，请指出从哪一步开始出现错误，并从这步开始，在下边空边处写上正确的证明过程．

请先阅读下面的题目与证明，然后回答问题：

如图所示，在△ABC中，∠ABC=∠ACB，D、E分别是AB、AC上两点，且BD=CE，BE、CD相交于点O．求证：△BOD≌△COE．

证明：在△DBC和△ECB中，

∴△DBC≌△ECB(SAS)．

∴∠DBC－∠BOC=∠ECB－∠BOC．

即△BOD≌△COE

上述证明是否有错误，若正确，请在右边空白处写上“正确”二字；如有错误，请指出从哪一步开始出现错误，并从这步开始，在下边空边处写上正确的证明过程．

如图①，在Rt△ABC中，已知∠A=90°，AB=AC，G、F分别是AB、AC上的两点，且GF∥BC，AF=2，BG=4。

（1）求梯形BCFG的面积；
（2）有一梯形DEFG与梯形BCFG重合，固定△ABC，将梯形DEFG向右运动，直到点D与点C重合为止，如图②.
①若某时段运动后形成的四边形BDG'G中，DG⊥BG'，求运动路程BD的长，并求此时的值；
②设运动中BD的长度为x，试用含x的代数式表示出梯形DEFG与Rt△ABC重合部分的面积S。