EF cắt BC tại L => (LFBC)=-1
từ F kẻ đường vuông góc HF cắt HB,HC tại B',C'
phép chiếu xuyên tâm H trên đường thẳng B',C' biến
B thành B'
C thành C'
F thành F
L ra vô cùng
(LFBC)=-1
suy ra FB'=FC'
suy ra tam giác HB'C' cân
suy ra HF là phân giác góc BHC