Cho tam giác ABC, AC = b, AB = c. Kẻ đường phân giác AD có DB = m, DC = n. Kẻ tia Cx sao cho (Tia Cx khác phía với A đối với BC). Gọi I là giao điểm của AD và Cx. Khi đó AD2 bằng:
Hình vẽ minh họa
Xét tam giác ABD và tam giác CID ta có
Xét tam giác ABD và tam giác AIC ta có:
Từ (*) và (**) suy ra








