Tứ giác FECB có \(\widehat{BFC}\) = \(\widehat{BEC}\)= 90 độ
=> Hai góc này cùng nhìn BC dưới một góc 90 độ
=> FECB nội tiếp
=> \(\widehat{FEB}\) = \(\widehat{FCB}\) (1)
Tứ giác HECD có \(\widehat{HDC}\) = \(\widehat{HEC}\) = 90 độ
mà hai góc này ở vị trí đối nhau
=> HECD nội tiếp
=> \(\widehat{HED}\) = \(\widehat{HCD}\) (2)
tỪ (1) và (2) => \(\widehat{FEB}\) = \(\widehat{HED}\) (= \(\widehat{HCD}\))
=> EB là phân giác \(\widehat{DEF}\)
