+)Theo giả thiết ta có: AB = AC và BD = CE nên:
AB + BD = AC + CE hay AD = AE.
+) Xét ΔABE và ΔACD có:
AB = AC (gt)
∠A chung
AE = AD (chứng minh trên)
⇒ ΔABE = ΔACD (c.g.c)
⇒ BE = CD (2 cạnh tương ứng) (1)
và ∠ABE = ∠ACD (2 góc tương ứng) (2)
Tam giác ABC cân nên ∠B1 = ∠C1. (3)
Từ (2) và (3) ⇒ ∠ABE - ∠B1 = ∠ACD - ∠C1, tức là ∠B2 = ∠C2.
⇒ ΔBIC cân tại I ⇒ IB = IC. (4)
Từ (1) và (4) suy ra BE - IB = CD – IC, tức là IE = ID.