`a,`Ta có:

`EH\botDI`

`FK\botDI`

`=>EH`//`FK`

`=>\hat{HEI}=\hat{KFI}`

Xét `\triangleEHI` và `\triangleFKI` có:

`\hat{HEI}=\hat{KFI}`   (chứng minh trên)

`EI=FI`

`\hat{EHI}=\hat{FKI}=90^@`

Do đó `\triangleEHI=\triangleFKI`   (g-c-g)

`=>IH=IK`

`b,`Xét `\triangleDHE` vuông tại `H` có:

`DE` là cạnh huyền

`=>DE > DH`   `(1)`

Xét `\triangleDKF` vuôgn tại `K` có:

`DF` là cạnh huyền

`=>DF > DK`   `(2)`

Từ `(1);(2)=>DE+DF > DH+DK`

`c,`