1. Chứng minh ∆EAB cân tại E và tứ giác ADEF là hình chữ nhật.
∆EAB cân tại E:
E là trung điểm của BC (gt) nên EB = EC.
Tam giác ABC vuông tại A có E là trung điểm cạnh huyền BC nên EA = EB = EC.
Vậy ∆EAB cân tại E.
Tứ giác ADEF là hình chữ nhật:
AD // BC (D là trung điểm AB)
EF ⊥ AC (gt) mà BC ⊥ AC (gt) nên EF // BC.
Tứ giác ADEF có AD // EF và AD = EF (cùng bằng nửa BC) nên ADEF là hình bình hành.
Mà góc A = 90° (gt) nên ADEF là hình chữ nhật.
2. Chứng minh tứ giác BDFE là hình bình hành.
BD // EF (vì BD // AC và EF ⊥ AC)
DF // BE (vì DF là đường trung bình của ∆ABC)
Vậy tứ giác BDFE là hình bình hành (hai cặp cạnh đối song song).
3. Chứng minh tứ giác ATBE là hình thoi.
Tứ giác ATBE có:
AE = EB (cmt)
AD = DT (T đối xứng với E qua D)
AD // ET (vì AD // BC và ET // BC)
Vậy ATBE là hình bình hành.
Mà AE ⊥ BD (AD⊥BC, BD//AC) nên ATBE là hình thoi (hình bình hành có hai đường chéo vuông góc).