Chúng ta có tính chất thừa nhận sau :
Nếu 2 tam giác có 2 cạnh tương ứng bằng nhau từng đôi một nhưng các góc xen giữa chúng không bằng nhau thì các cạnh thứ ba cũng không bằng nhau và cạnh nào đối diện với góc lớn hớn là cạnh lớn hơn
Ta có: AB = AC (ΔABC cân tại A)
AD là cạnh chung.
Giả sử ADBˆ=ADCˆ
Thì ΔADB=ΔADC
Nhưng ADBˆ>ADCˆ(gt)
=> ΔADB>ΔADC
=> DB > DC.