Chứng minh rằng : tứ giác BDEF là hình bình hành và EF = DF

Bài 17: Cho tam giác ABC vuông tại A (AB < AC). Gọi D, E, F lần
<
lượt là trung điểm của các cạnh AB, BC, AC của tam giác ABC.
a) Chứng minh rằng : tứ giác BDEF là hình bình hành và EF = DF.
b) Kẻ AH L BC (H = BC). chứng minh : DHEF là hình thang cân.
c) Lấy điểm L đối xứng với E qua F, K là điểm đối xứng của B qua
F. Chứng minh ba điểm A, L, K thẳng hàng.
d) Gọi I là giao điểm của CL và EK, O là giao điểm của AE và DF.
Chứng minh rằng O và I đối xứng nhau qua F.