Para demonstrar este resultado, basta tirar por B uma paralela a AD que intersecta AC num ponto H. Nesta figura, é imediato reconhecer que ACD é semelhante ao triângulo AHB; o ângulo C é comum e oposto a AD e BH paralelos que são lados dos pares de ângulos correspondentes CAD e CHB, CDA e CBH. Por isso, CA/CH=CD/CB=DB/AH. Mas por AD ser uma bissectriz do ângulo CAB, CAD=DAB e CHB=CAD=ABH, o triângulo BAH é isósceles e AB=AH.
Assim é verdade que BD/AB=CD/CA.
[AdAM]
Usando este resultado e o Teorema de Ceva, fácil é provar que
As bissectrizes de um triângulo qualquer são concorrentes
Tomemos agora o triângulo ABC e as bissectrizes dos seus ângulos A, B e C que cortam os lados opostos BC, AC e AB nos pontos D, E e F (pés das bissectizes?).
Vejamos se as nossas cevianas bissectrizes satisfazem a condição suficiente do Teorema de Ceva para serem concorrentes.
Vimos ainda agora que CD/AC=DB/AB e, de modo análogo, teríamos visto que AE/AB=EC/BC e AF/AC=FB/BC.
Em consequência,
(CD/AC)*(AE/AB)*(AF/AC)=(DB/AB)*(EC/BC)*(FB/BC) ou (CD/DB)*(AE/EC)*(AF/FB)=(AC/AB)*(AB/BC)*(AC/BC) que é o mesmo que (CD/DB)*(AE/EC)*(AF/FB)=1, isto é, as bissectrizes satisfazem a condição suficiente para serem concorrentes.
