Cho hình thang ABCD (đáy lớn CD), gọi O là giao điểm của AC và BD; các đường kẻ từ A và B lần lượt song song với BC và AD cắt các đường chéo BD và AC tương ứng ở F và E. Chứng minh:
a) EF // AB
b) 2AB = EF . CD
c) Gọi S1 ;S2 ;S3 ;S4 theo thứ tự là diện tích của các tam giác OAB; OCD; OAD và OBC
Chứng minh: S1 . S2 = S3 . S4