Cho tam giác ABC có góc A =90 độ, trên cạnh BC lấy điểm E sao

Xét ΔABD và ΔEBD, ta có:

AB = BE (gt)

∠(ABD) = ∠(DBE) (vì BD là tia phân giác)

BC cạnh chung

Suy ra: ΔABD = ΔEBD(c.g.c)

⇒ DA = DE (hai cạnh tương ứng)