Áp dụng đinh lí Pytago vào tam giác vuông ABC, ta có:

\(\begin{array}{*{20}{l}} {B{C^2} = A{B^2} + A{C^2}}\\ { \Rightarrow B{C^2} = {9^2} + {{12}^2} = 225}\\ { \Rightarrow BC = \sqrt {225} = 15{\mkern 1mu} \left( {cm} \right)} \end{array}\)

Xét hai tam giác vuông ABC và DEF có:

\(\begin{array}{l} \begin{array}{*{20}{l}} {AB = DE\:\:\left( {gt} \right)}\\ {{\mkern 1mu} \hat B = \hat E\:\:\left( {gt} \right)}\\ {{\mkern 1mu} \hat A = \hat D = {{90}^0}} \end{array}\\ \Rightarrow {\rm{\Delta }}ABC = {\rm{\Delta }}DEF \end{array}\)

(cạnh góc vuông - góc nhọn kề).

⇒ BC=EF=15cm (hai cạnh tương ứng bằng nhau).