Tham khảo:
Xét tam giác DEC có
M là trung điểm DE
N là trung điểm DC
MN là đường trung bình của tam giác DEC, hay MN//EC (*) và MN=1/2 EC (1)
* Xét tam giác BEC có
Q là trung điểm BE
P là trung điểm BC
PQ là đường trung bình của tam giác BEC, hay PQ//EC và PQ=1/2 EC (2).
Từ (1) và (2) suy ra tứ giác MNPQ là hình bình hành.
* Xét tam giác DEB có
Q là trung điểm BE
M là trung điểm DE
QM là đường trung bình của tam giác BED, hay MQ//DB (3).
Mà AB⊥AC (4)
Từ (1), (3) và (4) suy ra MN⊥MQ (5)
Tứ giác MNPQ là hình bình hành mà có một góc vuông MNPQ là hình chữ nhật.
Gọi I là giao điểm của hai đường chéo MP và QN
Suy ra IM=IN=IP=IQ (tính chất hình chữ nhật)
Nên các điểm M, N, P, Q đều cách đều I một khoảng cố định
M, N, P, Q cùng thuộc một đường tròn.