Ta có: (so le trong) (1), Xét
Có:
Từ (1) và (2) suy ra mà (phụ nhau) nên
Chứng minh tương tự
Từ (a) và (b) có 3 góc vuông nên là hình chữ nhật mà
Nên AIMB là hình vuông.
a) Chứng minh AEDF là hình bình hành
b) M đối xứng với D qua F. Tứ giác ADCM là hình gì ?
c) Tìm điều kiện của để ADCM là hình vuông.