Chứng minh (Hình 7):

a) Vì AB = AC (giả thiết) nên tam giác ABC cân tại A.

Suy ra ABC^=ACB^ (tính chất)           (1)

Ta có BE là tia phân giác của ABC^ (giả thiết)

Nên ABE^=EBC^=12ABC^ (tính chất tia phân giác) (2)

Lại có CF là tia phân giác của ACB^ (giả thiết)

Nên ACF^=FCB^=12ACB^ (tính chất tia phân giác) (3)

Từ (1), (2), (3) suy ra ACF^=FCB^=ABE^=EBC^.

Xét ΔABE và ΔACF có:

A^ là góc chung,

AB = BC (giả thiết),

ABE^=ACF^ (chứng minh trên).

Do đó ΔABE = ΔACF (g.c.g).

Vậy ΔABE = ΔACF.