vì tứ giác ABCD vuông tại A và B (bài cho);
⇒AD vuông góc AB, BC vuông góc AB (0);
⇒AD song song với BC( từ vuông góc đến song song);
mà EF vuông góc AB (F thuộc AB, E thuộc DC); (1)
từ (0) và (1) suy ra:
EF song song AD và song song BC; (2)
lại có F là trung điểm của AB (AF=1/2AB, F nằm giữa AB); (3)
từ (2) và (3) ⇒ EF là đường trung bình của hình thang ABCD(dấu hiệu nhận biết);
E là trung điểm của DC(t/chất);