Giải thích các bước giải:
Giả thiết: $\Delta DEF,\hat D=90^o$
$DK\perp EF=K$
$KE=4, KF=5$
Kết luận: $EF=?, DK=?, DE=?$
Ta có $EF=EK+KF=9$
Ta có $\Delta DEF$ vuông tại $D, DK\perp EF$
$\to DK^2=KE.KF$(Hệ thức lượng trong tam giác vuông)
$\to DK^2=20$
$\to DK=2\sqrt{5}$
$\to DE=\sqrt{DK^2+KE^2}=6$