Xét tam giác BHM và tam giác CKM lần lượt vuông tại H và K có:
BM=MC(M là trung điểm BC)
\(\widehat{BMH}=\widehat{CMK}\)(đối đỉnh)
=> ΔBHM=ΔCKM(ch-gn)
=> \(\widehat{HBM}=\widehat{KCM}\)
Mà 2 góc này so le trong
=> BH//CK
Mà BH=CK(ΔBHM=ΔCKM)
=> BHCK là hình bình hành
=> CH//BK