Gọi M là giao điểm của EF với BC, N là giao điểm của DF với AB, ta có:
Ta có: DF vuông góc với AH
BC vuông góc với AH
DF song song với BC (hay BM) (2 góc trong cùng phía)
Mà là góc ngoài của nên
AB song song với MF (hay EF) (vì có 2 góc đồng vị bằng nhau) (1)
(2 góc so le trong)
Xét và có:
AH = DE (vì AD +DH = DH + HE)
(ch/minh trên)
(cạnh góc vuông - góc nhọn) DF = BH (2 cạnh tương ứng)
Xét và có:
HE = AD (gt)
BH = DF (ch/minh trên)
(2 cạnh góc vuông) (2 góc tương ứng)
BE song song với AF (hay AC) (vì có 2 góc so le trong bằng nhau) (2)
Mặt khác: BA vuông góc với AC (3)
Từ (1), (2) và (3) suy ra: BE vuông góc với EF (đpcm)
