（问题提出）
学习了三角形全等的判定方法（即“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．

如图，AOOM，OA=8，点B为射线OM上的一个动点，分别以OB，AB为直角边，B为直角顶点，在OM两侧作等腰Rt△OBF、等腰Rt△ABE，连接EF交OM于P点，当点B在射线OM上移动时，PB的长度____.

（基础模型）
已知等腰直角△ABC，∠ACB＝90°，AC＝CB，过点C任作一条直线l（不与CA、CB重合），过点A作AD⊥l于D，过点B作BE⊥l于E．

（1）如图②，当点A、B在直线l异侧时，求证：△ACD≌△CBE
（模型应用）
在平面直角坐标性xOy中，已知直线l：y＝kx﹣4k（k为常数，k≠0）与x轴交于点A，与y轴的负半轴交于点B．以AB为边、B为直角顶点作等腰直角△ABC．
（2）若直线l经过点（2，﹣3），当点C在第三象限时，点C的坐标为　  　．
（3）若D是函数y＝x（x＜0）图象上的点，且BD∥x轴，当点C在第四象限时，连接CD交y轴于点E，则EB的长度为　  　．
（4）设点C的坐标为（a，b），探索a，b之间满足的等量关系，直接写出结论．（不含字母k）

如图所示，在中，，，是上一点，，垂足为，交于，又．求证：是的平分线．

如图，在平面直角坐标系中，将直角三角形的顶点放在P（5,5）处，两直角边与坐标轴交点为A,B,则OA+OB的长是_____________.