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