Cho hình thang cân ABCD, đường cao AH. Gọi E, F theo thứ tự là trung điểm của các cạnh bên AD, BC. Chứng minh rằng EFCH là hình bình hành.