a) Xét tam giác ABD và tam giác EBD có:
AB = EB (gt).
^ABD = ^EBD (BD là phân giác).
BD chung.
=> Tam giác ABD = tam giác EBD (c - g - c).
=> DA = DE (cặp cạnh tương ứng).
b) Tam giác ABD = tam giác EBD (cmt).
=> ^BAD = ^BED (cặp góc tương ứng).
Mà ^BAD = 90 độ (tam giác ABC vuông tại A).
=> ^BED = 90 độ.
c) Xét tam giác KBC có:
CA là đường cao (^CAB = 90 độ).
KE là đường cao (^KEC = 90 độ).
Mà D là giao điểm của CA và KE.
=> D là trực tâm của tam giác KBC.
=> BD là đường cao.
=> BD vuông góc KC. (1)
Xét tam giác KBC có:
BD là đường cao (cmt).
BD là phân giác góc KBC (gt).
=> Tam giác KBC cân tại B.
Xét tam giác ABE có:
BE = BA (gt).
=> Tam giác ABE cân tại B.
Xét tam giác ABE cân tại B có:
BD là phân giác góc ABE (gt).
=> BD là đường cao (tính chất các đường trong tam giác cân).
=> BD vuông góc AE. (2)
Từ (1); (2) => AE // KC ( từ vuông góc đến song song).