a) Comparăm ΔABD cu ΔACD :
[AB] ≡ [AC] (1)
∡BAD ≡ ∡DAC (2) ( deoarece [AD -bisectoare pentru ∡A)
[AD] ≡ [AD] (latură comună) (3)
(1), (2), (3) ⇒ ΔABD ≡ ΔACD ⇒ ∡ABD ≡ ∡ACD
b)
În triunghiurile congruente ABD și ACD, la unghiuri congruente se opun
laturi congruente.
∡BAD ≡ ∡DAC ⇒ [BD] ≡ [CD]
c)
În triunghiurile congruente ABD și ACD, la laturi congruente se opun
unghiuri congruente.
[AB] ≡ [AC] ⇒ ∡ADB ≡ ∡ADC ⇒ [DA -bisectoarea unghiului ∡BDC.