Cho tam giác ABC vuông tại A, tia phân giác của góc B cắt AC ở D. So sánh độ dài AD và DC.

Kẻ DH ⊥ BC.

Vì BD là tia phân giác của góc ABC nên B^1=B^2 .

Xét DDAB và DDHB có:

BAD^=BHD^=90°,

BD là cạnh chung,

B^1=B^2 (chứng minh trên)

Do đó ∆DAB = ∆DHB (cạnh huyền – góc nhọn).

Suy ra AD = HD (hai cạnh tương ứng)  (1)

Vì DDHC vuông tại H nên HD < DC (trong tam giác vuông, cạnh huyển là cạnh lớn nhất)         (2)

Từ (1) và (2) suy ra AD < DC.

Vậy AD < DC.