Xét 2 tam giác ABC và ADC ta có:
+
+ chung
=> ABCDAC
=>
Ta cũng có:
Mà cos=-cos()
Nên: cos=-cos
=>
=>AB^2=AD^2+BD^2-2AD.BD.cos
=>
Thay vào biểu thức đồng dạng ở trên ta có:
Ta có hệ:
=>AC2=DC.BC==40,96
=>AC=6,4
Vậy chu vi tam giác ABC là:
AB+AC+BC=9+6,4+9,6=25