\(\Delta ABC\) vuông tại A \(\Rightarrow\) \(AB^2+AC^2=BC^2\)(định lí Pytago)
\(\Delta DEF\)vuông tại D \(\Rightarrow\) \(DE^2+DF^2=EF^2\)(định lí Pytago)
Mà \(BC=EF,AC=DF\)\(\Rightarrow AB=DE\)
Xét \(\Delta ABC\) và \(\Delta DEF\) có:
\(AB=DE\left(cmt\right)\)
\(\widehat{A}=\widehat{D}=90^o\left(gt\right)\)
\(AC=DF\left(gt\right)\)
Vậy \(\Delta ABC=\Delta DEF\left(c.g.c\right)\)