Cho tam giác ABC nhọn (AB < AC), các đường cao AD, BE, CF cắt nhau tại H. Các tứ giác BDHF nội tiếp, ABDE nội tiếp. H là trực tâm của đường tròn nội tiếp tam giác DEF. Gọi I là giao EF và BC, đường thẳng qua F song song với AC cắt AD tại J. Gọi K là trung điểm AJ. Chứng minh: KF//AC