Có AB = AC (gt)
=> Tam giác ABC cân tại A
M là trung điểm BC (gt)
=> AM là trung tuyến tam giác ABC
=> AM vừa là trung tuyến vừa là đường cao tam giác ABC (tính chất tam giác cân)
=> AM vuông góc BC
Mà ED vuông góc với BC (gt)
=> AM // ED (quan hệ từ vuông góc đến song song)
=> Đpcm