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