Cho hình thang ABCD (AB // CD). Góc C + góc D = 90 độ, CD > AB. Gọi E, F theo thứ tự hình trung điểm AB, CD. Chứng minh EF = (CD - AB)/2