AB = AC (gt)
=> Tam giác ABC cân tại A
Xét tam giác EAB và tam giác DAC có:
EA = DA (gt)
A chung
AB = AC (gt)
=> Tam giác EAB = Tam giác DAC (c.g.c)
=> EB = DC (2 cạnh tương ứng)
EBA = DCA (2 góc tương ứng)
mà ABC = ACB (tam giác ABC cân tại A)
=> ABC - EBA = ACB - DCA
hay EBC = DCB
=> Tam giác OBC cân tại O
Xét tam giác BOD và tam giác COE có:
DBO = ECO (tam giác EAB = tam giác DAC)
BO = CO (tam giác OBC cân tại O)
BOD = COE (2 góc đối đỉnh)
=> Tam giác BOD = Tam giác COE (c.g.c)