Phát biểu định lí Py-ta-go? Vẽ hình, ghi GT-KL của định lí?

a) Phát biểu định lí Py-ta-go? Vẽ hình, ghi GT-KL của định lí?
b) Áp dụng: Cho tam giác DEF vuông tại D có DE = 3cm, DF = 4 cm. Tính EF?