Gọi O là giao điểm của HI và CD
Ta có: AH//OC
=>AH/OC=IH/IO (hệ quả đ/l Ta-lét)
Lại có: HB//OD
=> HB/OD=IH/IO ( hệ quả định lí Ta-lét)
=> AH/OC=HB/OD
Mà AH=HB
=> OC=OD
=> O là trung điểm của CD
=> O trùng K
=> H,I,K thẳng hàng
Chứng minh: Hai tam giác DIK và CIK bằng nhau (c.g.c) (tự chứng minh)
Mặt khác: Hai tam giác CIK và AIH đồng dạng (g.g) (tự chứng minh)
=> dpcm