Xét `\DeltaABC` có: `I` là trung điểm của `AC` `(`gt`)`

                                 `H` là trung điểm của `BC` `(`gt`)`

`=>` `HI` là đường trung bình của `\DeltaABC` 

`=>` `HI=1/2AB`

Xét `\DeltaABC` có: `K` là trung điểm của `AB` `(`gt`)`

                                 `H` là trung điểm của `BC` `(`gt`)`

`=>` `HK` là đường trung bình của `\DeltaABC` 

`=>` `HK=1/2AC`

Ta có:

          `HK=1/2AC` `(cmt)`

          `HI=1/2AB` `(cmt)` 

          `AI=1/2AC` `(`vì `I` là trung điểm của `AC)` 

          `AK=1/2AB` `(`vì `K` là trung điểm của `AB)` 

mà `AB=AC` `(\DeltaABC` cân tại `A)`

`=>HK=HI=AI=AK`

`=> AHKI` là hình thoi 

`#vu0000`