a)   Ta có:    ^EAC=EAB+BAC=90+BAC

                 ^BEF=CAF+BAC=90+BAC

suy ra:    ^EAC=BAF

Xét    ΔEACvà   ΔBAFcó:

 EA=BA  (gt)

 ^EAC=BAF  (cmt)

AC=AF (gt)

suy ra:  ΔEAC=ΔBAF  (c.g.c)

->EC=BF;     ^ACE=AFB (1)

Gọi    O  là giao điểm của  AC  và   BF;     K  là giao điểm của  EC  và   BF

⇒^AOF=KOC   (2)

ΔAOF⊥A

⇒AFO+FOA=90   (3)

Từ (1), (2) và (3) suy ra:

KOC+OCK=90

⇒OKC=90

⇒BF⊥CE