Observam ca intre laturile triunghiurilor ADC si ACB se stabilesc rapoarte egale:
[tex] \frac{6}{9} = \frac{4}{6} = \frac{9}{13,5} = \frac{2}{3} [/tex]
Deci triunghiurile ADC si ACB sunt asemenea, deci au unghiurile respectiv congruente, adica:
m(<DAC)=m(<CAB) si celelalte, doua cate doua, deci [AC este bisectoare pt <DAB.