已知：如图，AC=AB，∠1=∠2，∠3=∠4．
求证：AE=AD．

如图，在中，，，于，于，交于.
（1）求证：；
（2）如图1，连结，问是否为的平分线？请说明理由.
（3）如图2，为的中点，连结交于，用等式表示与的数量关系？并给出证明.

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

如图，在等腰Rt△ABC中，AB=AC，D为斜边BC的中点，E、F分别为AB、AC边上的点，且DE⊥DF，若BE=8cm，CF=6cm．

（1）判断△DEF的形状，并说明理由
（2）求△DEF的面积？

证明命题“角的平分线上的点到角两边的距离相等”，要根据题意，画出图形，并用几何符号语言表示已知和求证，写出证明过程，下面是小明同学根据题意画出的图形，并写出了不完整的已知和求证．

已知：如图，∠AOC=∠BOC，点P在OC上，PD⊥OA，__________________．
求证：____________________．
请你补全已知和求证，并写出证明过程．