e sul prolungamento di AB, dalla parte di A, il punto Q tale che AQ è congruente ad AC. Le due rette PQ e CB si incontrano
i triangoli QRA e ARC sono congruenti per il terzo criterio in quanto QR=RC dalla precedente dimostrazione, QA=AC per ipotesi, RA in comune, per cui gli angoli QRAe RAC sono uguali, per cui RA è bisettrice
