Chứng minh: KF // CD.
Vì ∆ NEC cân tại N có nên .
∆ ABC cân tại A mà =>
=> hay tứ giác ABEC nội tiếp.
=>
Kết hợp với , ta có tứ giác ABKF nội tiếp.
Mặt khác: nên hay FK ┴ BE.
Do tứ giác ABEC nội tiếp nên .
Tam giác vuông BCE có nên BE = 2 BC.
Lại có: => => BC = 2 BD
=> ∆ BDC ~ ∆ BCE.
Do đó: hay CD ┴ BE
Vậy KF // CD.