Cho tam giác ABC vuông tại A có AB < AC. Vẽ AD là tia phân giác của góc BAC (D ∈ BC). Trên AC lấy điểm

a) Xét DABD và DEAD có:

AB = AE (giả thiết),

BAD^=EAD^ (do AD là tia phân giác của góc BAC)

AD là cạnh chung.

Suy ra ∆ABD = ∆AED (c.g.c)

Do đó ABD^=AED^  (hai góc tương ứng)

Vậy ABD^=AED^ .