vì AB=AC VÀ AD= AE nên AD/AB = AE/AC(*). Áp dụng định lí Talet vào tam giác ABC nên từ (*) suy ra DE//BC
Vì tam giác ABC cân tại A nên: B = C ( 2 góc ở đáy=)
=> A = 180 - 2B = 180 - 2C (1)
Vì tam gisc ADE cân tại E ( AE = AD) => D = E ( 2 góc ở đáy =)
=> A = 180 - 2D = 180 - 2E (2)
Từ (1) và (2) => B = D = C = E
Vì B và D ở vị trí đồng vị
=> DE // BC