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 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 cân

=> tg ADE là tg cân