a) Có DI vg với EF (gt) => DIE = DIF = 90o (t/c)
Xét tam giác DIE (DIE = 90o)và tam giác DIF (DIF = 90o) có:
DI chung
DE = DF ( tam giác DEF cân tại D)
=> Tam giác DIE = tam giác DIF (c/huyền_c/g/vuông)
=> IE = IF (cạnh t/ứng)
b) Có IE = IF (cmt)
=> EF = IF+ IE
hay EF = IF . 2
<=> IF = EF : 2
<=> IF = 6 : 2 = 3
Xét tam giác DIF có: DI2 = DF2 - IF2 ( đ/lí Py-ta-go)
=> DI2 = 52 - 32 = 16
=> DI = 4 cm