Cho tam giác ABC vuông tại A với AB = BC:2. Kẻ đường trung tuyến AD, đường cao AH, vẽ Hx // AD, Hx cắt AB tại E kẻ DF vuông AC. Chứng minh tứ giác HDAE là hình thang cân

Cho tam giác ABC vuông tại A với AB=BC:2. Kẻ đường trung tuyến AD, đường cao AH, vẽ Hx // AD, Hx cắt AB tại E kẻ DF vuông AC.
a) CM: Tứ giác HDAE là hình thang cân
b) CM: Tứ giác AEDF là hình chữ nhật
c) Tìm EF biết BC= 12cm