Bài 18: Cho hình thang ABCD có AB // CD (AB < CD). Gọi E, F là trung điểm của AC và BD. Đường thẳng qua E vuông góc với BC cắt đường thẳng qua F vuông góc với AD ở O. Chứng minh rằng OC =OD.