如图，△ABC中，∠C＝90°，点D为AC上一点，∠ABD＝2∠BAC＝45°，若AD＝12，则△ABD的面积为____．

在中，，，点是射线上的一个动点，作，且，连接交射线于点，若，则_______．

如图1 ,等腰直角三角形 ABC 中，∠ACB＝90°，CB＝CA，直线 DE 经过点 C，过 A 作 AD⊥DE 于点 D，过 B 作 BE⊥DE 于点 E，则△BEC≌△CDA，我们称这种全等模型为 “K 型全等”．（不需要证明）

（模型应用）若一次函数 y=kx+4（k≠0）的图像与 x 轴、y 轴分别交于 A、B 两点．
（1）如图 2，当 k=－1 时，若点 B 到经过原点的直线 l 的距离 BE 的长为 3，求点 A 到直线 l 的距离 AD 的长；

（2）如图 3，当 k=－ 时，点 M 在第一象限内，若△ABM 是等腰直角三角形，求点
M 的坐标；

（3）当 k 的取值变化时，点 A 随之在 x 轴上运动，将线段 BA 绕点 B 逆时针旋转 90° 得到 BQ，连接 OQ，求 OQ 长的最小值．

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

如图，分别以的直角边AC及斜边AB向外作等边，等边．已知∠BAC＝30°，EF⊥AB，垂足为F，连结D

A．试说明AC＝EF；