Cho hình thang ABCD (AB // CD, AB < CD).Hai đường chéo AC và BD cắt nhau tại O. Qua A vẽ đường thẳng song song với BC cắt BD ở E và cắt CD ở K. Qua B kẻ đường thẳng song song với AD cắt AC ở F và cắt CD ở I. Chứng minh rằng:
a) EF // CD
b) AB2 = CD.EF