（问题提出）
学习了三角形全等的判定方法（即“SAS”、“ASA”、“AAS”、“SSS”）和直角三角形全等的判定方法（即“HL”）后，我们继续对“两个三角形满足两边和其中一边的对角对应相等”的情形进行研究．
（初步思考）
我们不妨将问题用符号语言表示为：在△ABC和△DEF中，AC=DF，BC=EF，∠B=∠E，然后，对∠B进行分类，可分为“∠B是直角、钝角、锐角”三种情况进行探究．

（深入探究）
第一种情况：当∠B是直角时，△ABC≌△DEF．
（1）如图①，在△ABC和△DEF，AC=DF，BC=EF，∠B=∠E=90°，根据 ，可以知道Rt△ABC≌Rt△DEF．
第二种情况：当∠B是钝角时，△ABC≌△DEF．
（2）如图②，在△ABC和△DEF，AC=DF，BC=EF，∠B=∠E，且∠B、∠E都是钝角，求证：△ABC≌△DEF．
第三种情况：当∠B是锐角时，△ABC和△DEF不一定全等．
（3）在△ABC和△DEF，AC=DF，BC=EF，∠B=∠E，且∠B、∠E都是锐角，请你用尺规在图③中作出△DEF，使△DEF和△ABC不全等．（不写作法，保留作图痕迹）
（4）∠B还要满足什么条件，就可以使△ABC≌△DEF？请直接写出结论：在△ABC和△DEF中，AC=DF，BC=EF，∠B=∠E，且∠B、∠E都是锐角，若 ，则△ABC≌△DEF．

如图，,垂足分别为点 .
求证:;

如图，，，点为垂足，，点为垂足，求证：.

如图，∠A＝∠D＝90°，AC＝DB，欲使OB＝OC，可以先利用“HL”说明Rt_△_______≌Rt_△_______得到AB＝DC，再利用________证明△AOB≌△DOC得到OB＝OC．

如图，AC⊥CB，AD⊥DB，若用“HL”证明△ABC≌△ABD，还需添加的条件是___________(填一个即可).