Cho tam giác ABC vuông tại A. Trên cạnh BC lấy điểm E sao cho BE = BA, trên tia BA lấy điểm F sao cho BF = BC. Kẻ tia BD là tia phân giác của góc ABC (D thuộc AC). Chứng minh rằng:

 DABD = DEBD từ đó suy ra AD = ED.