Ta có: AC cắt BK tại trung điểm mỗi đường nên tứ giác BAKC là hình bình hành.
Suy ra: AB song song KC hay BE song song KF (1) (do vị trí của E, F theo đề).
Mặt khác, từ giả thiết, ta có BE=KF. Suy ra BEKF là hình bình hành.
Từ đó, BK cắt EF tại trung điểm mỗi đường. Mà M là trung điểm BK nên M cũng là trung điểm EF hay M, E, F thẳng hàng (đpcm)
