a) Xét tam giác vuông ABE và tam giác vuông HBE (^BAE = ^BHE = 90o)
BE chung
^ABE = ^HBE (BE là phân giác ^ABC)
=> tam giác vuông ABE = tam giác vuông HBE (ch - gn)
b) Ta có: AE = HE (tam giác vuông ABE = tam giác vuông HBE)
=> E thuộc đường trung trực của AH (1)
Ta có: AB = HB (tam giác vuông ABE = tam giác vuông HBE)
=> B thuộc đường trung trực của AH (2)
Từ (1) và (2) => BE là đường trung trực của AH (đpcm)
c) Ta có: ^BEK = ^BEA + ^AEK
^BEC = ^BEH + ^HEC
Mà ^BEA = ^BEH (tam giác vuông ABE = tam giác vuông HBE)
^AEK = ^HEC (2 góc đối đỉnh)
=> ^BEK = ^BEC
Xét tam giác BEK và tam giác BEC:
^BEK = ^BEC (cmt)
^KBE = ^CBE (BE là phân giác ^ABC)
BE chung
=> tam giác BEK = tam giác BEC (g - c - g)
=> EK = EC (cặp cạnh tương ứng)