a.TG ABC cân tại A gt

=> ^B = ^C tính chất tg cân

Mà ^ECB=^ACE=1/2^C ( CE là pg ^C)

     ^DBC=^ABD=1/2^B ( BD là pg ^B)

=> ^ECB=^ACE =^DBC=^ABD

Xét tg BEC và tg CDB có:

^ECB = ^DBC(cmt)

BC chung

^B=^C (tg ABC cân tại A)

 =>tg BEC = tg CDB(g-c-g)

b. Xét tg ABD và tg ACE có

^A chung

AB = AC (tg ABC cân tại A)

^ABD=^ACE(cmt)

=>tg ABD = tg ACE(g-c-g)

=>AD=AE (cctu)

=> tg ADE là tg cân