Mda, e cam usoara, dar in fine...
Cum AD este bisectuare, atunci m(Cum AB_|_DF => m(Cum AC_|_DE => m(Acum, Comparam tr. ABD si tr. ACD, si avem :
-m(-m(-AD e latura comuna sau AD=AD ( depinde cum vrei sa scri )
Din toate trei => (cazul I.U.) ca tr.BAD este congruent cu tr.CAD.