Ipoteza:
AB=CB
m(ABD) = m(CBD)
---------------------------
Concluzie:
m(BAD) = m(BCD)
---------------------------
Demonstratie:
1) AB = CB (din ipoteza)
2) m(ABD) = m(CBD) (din ipoteza)
3) BD=BD ( latura comuna)
4) Deci conform cazului LUL => triunghiul ABD = triunghiul CBD
5) Din congruenta triunghiurilor => m(BAD) = mBCD) ( din demonstratie)