完成下列证明：
（1）如图，已知AD⊥BC，EF⊥BC，∠1=∠2．求证：DG∥BA．
证明：∵AD⊥BC，EF⊥BC（已知）
∴∠EFB=∠ADB=90°______
∴EF∥AD______
∴∠1=∠BAD______
又∵∠1=∠2（已知）
∴______（等量代换）
∴DG∥BA______
（2）如图，已知AB=AD，AC=AE，∠1=∠2，请说明BC=DE的理由．
解：∵∠1=∠2
∴∠1+______=∠2+____________
即∠BAC=∠DAE
在△ABC和△ADE中
AB=______（已知）
∠BAC=∠DAE（已证）
______=AE（已知）
∴△ABC≌△ADE（______）
∴BC=DE（______）
网友回答
解：垂直定义，
同位角相等，两直线平行，
两直线平行，同位角相等，
∠2=∠BAD，
内错角相等，两直线平等，
∠EAC，∠EAC，等式性质，
AD，AC，SAS，
全等三角形的对应边相等．
解析分析：根据证明过程填写证明理由．
点评：本题考查了全等三角形的判定和性质；解题利用了垂直定义、平行线的判定和性质、等式性质、全等三角形的判定和性质等知识，要注意牢固掌握这些知识．