Xét tứ giác ABCD có:
MB = MC (M là trung điểm của BC)
MA = MD (gt)
Suy ra tứ giác ABDC là hình bình hành (có hai đường chéo cắt nhau tại trung điểm của mỗi đường)
Mà hình bình hành ABDC có \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle\frown$}} \over A} = {90^0}\)nên ABCD là hình chữ nhật
Vì: ABDC là hình chữ nhật nên BC = AD
Mà: \(AM = \dfrac{1}{2}AC = \dfrac{1}{2}BC\)