Cho hình thang ABCD (AB // CD, AB < CD), trên cạnh CD lấy E sao cho DE = AB, trên tia đối của tia AB lấy Fsao cho AB = DC. Gọi H, K lần lượt là trung điểm của CE và AF

Cho hình thang ABCD (AB // CD, AB < CD), trên cạnh CD lấy E sao cho DE = AB, trên tia đối của tia AB lấy Fsao cho AB = DC. Gọi H, K lần lượt là trung điểm của CE và AF. Chứng minh:
a) Các tứ giác ABED, BFDC là hình bình hành
b) Tứ giác BHDK là hình chữ nhật