如题所述
证明步骤[1]:
已知:Rt△ABC和Rt△DEF中,∠B=∠DEF=90°,AC=DF,AB=DE.求证:△ABC≌△DEF.证明:在Rt△DEF左侧做一个Rt△DEG,使DE重合,GE=BC.∵AB=DE, ∠B=∠DEG, BC=GE.∴△ABC≌△DEG(SAS)∴AC=DG.又∵AC=DF,∴DG=DF.∴等腰三角形DGF.∴∠G=∠F又∵∠B=∠DEF, DE=DE,∴△ABC≌△DEF.∴HL可以用来证明直角三角形全等。Q.E.D.