问题原型：如图①，在等腰直角三角形ABC中，∠ACB=90°，BC=a．将边AB绕点B顺时针旋转90°得到线段BD，连结CD．过点D作△BCD的BC边上的高DE，

易证△ABC≌△BDE，从而得到△BCD的面积为 ．

初步探究：如图②，在Rt△ABC中，∠ACB=90°，BC=a．将边AB绕点B顺时针旋转90°得到线段BD，连结CD．用含a的代数式表示△BCD的面积，并说明理由．

简单应用：如图③，在等腰三角形ABC中，AB=AC，BC=a．将边AB绕点B顺时针旋转90°得到线段BD，连结CD．直接写出△BCD的面积．（用含a的代数式表示）

学习了三角形全等的判定方法（即“SAS”、“ASA”、“AAS”、“SSS”）和直角三角形全等的判定方法（即“HL”）后，我们继续对“两个三角形满足两边和其中一边的对角对应相等”的情形进行研究．

【初步思考】

我们不妨将问题用符号语言表示为：在△ABC和△DEF中，AC=DF，BC=EF，∠B=∠E，然后，对∠B进行分类，可分为“∠B是直角、钝角、锐角”三种情况进行探究．

【深入探究】

第一种情况：当∠B是直角时，△ABC≌△DEF．