Cho hình thang ABCD có đáy lớn CD. Qua A vẽ đường thẳng AK song song với BC. Qua B vẽ đường thẳng BI song song với AD

Cho hình thang ABCD có đáy lớn CD. Qua A vẽ đường thẳng AK song song với BC. Qua B vẽ đường thẳng BI song song với AD. BI cắt AC tại F, AK cắt BD tại E. Chứng minh rằng:
a) EF song song với AB.
b) AB^2 = CD.EF