Chứng minh rằng EF // AB
Giải thích

Vì
là hình thang có hai đáy
và
nên ![]()
Vì
(do
nên theo hệ quả định lí Thalès ta có
![]()
Vì
(do
nên theo hệ quả định lí Thalès ta có
![]()
Lại có
là trung điểm của
nên
![]()
Từ
và
ta có
theo định lí Thalès đảo ta có ![]()