18.【回顾】我们学习了三角形的全等,知道了判定两个三角形全等的基本事实有“SAS”、“ASA”、“SSS”,以及由事实得到的推论“AAS,我们还得到一个定理“HL”,下面对“两个三角形满足两边和其中一边的对角对应相等”的情形进行研究.
【思考】我们将问题用符号语言表示为:在△ABC和△DEF中,AC=DF,BC=EF,∠B=∠E,然后,对∠B进行分类,可分为“∠B是直角、钝角、锐角”三种情况进行探究.
【探究】

(1)第一种情况:当∠B是直角时,如图①,在△ABC和△DEF中,AC=DF,BC=EF,∠B=∠E=90°,根据HL,可以知道△ABC≌△DEF
(2)第二种情况:当∠B是钝角时,如图②,在△ABC和△DEF中,AC=DF,BC=EF,∠ABC=∠DEF,且∠ABC,∠DEF都是钝角,求证:△ABC≌△DEF(请你继续完成证明过程).
证明:如图,过C作CG⊥AB交AB的延长线于点G,过F作FH⊥DE交DE的延长线于点H,
(3)第三种情况:当∠B是锐角时,即在△ABC和△DEF中,AC=DF,BC=EF,∠B=∠E,且∠B,∠E都是锐角,请你用尺规在图③中作出△DEF与△ABC不全等.(不写作法,保留作图痕迹)
(4)∠B还要满足什么条件,就可以使△ABC≌△DEF?(请直接写出结论)
在△ABC和△DEF中,AC=DF,BC=EF,∠B=∠E,且∠B、∠E都是锐角,若∠B≥∠A,则△ABC≌△DEF.