gọi L là trung diểm BF và là trung diểm AC thì ta có CL=CM suy ra L dx M qua IC, tương tự, gọi J,G là trung diểm của FC,AB thì J dx G qua IB,
mà GM= và // LJ nên GJ cắt LM taị trung diểm mỗi dường, tức là LM,GJ,IB,IC dồng quy tại I, suy ra IL // EFmà I là trung diểm của KE,L là trung diểm BF nên IL//EF//KB suy ra BKIˆ=180o−KEFˆ=180o−ICFˆ
BKI^=180o−KEF^=180o−ICF^
suy ra tứ giác BKIC nội tiếp, cmtt tứ giác BIHC nt, suy ra dpcm