/ Xét t/g vuông: t/g ABD và t/g ACE có:

AB = AC (gt)

Aˆ:chungA^:chung

=> t/g ABD = t/g ACE (cạnh huyền-góc nhọn)

=> BD = CE

b/ Vì AB = AC => t/g ABC cân tại A

=> ABCˆ=ACBˆABC^=ACB^

Xét 2 t/g vuông: t/g BEC và t/g CDB có:

BD = CE (ý a)

ABCˆ=ACBˆ(cmt)ABC^=ACB^(cmt)

=> t/g BEC = t/g CDB (cạnh góc vuông - góc nhọn kề)

=> BE = CD

Xét t/g OEB và t/g ODC có:

OEBˆ=ODCˆ=90o(gt)OEB^=ODC^=90o(gt)

BE = CD (cmt)

ABDˆ=ACEˆABD^=ACE^ (2 góc tương ứng do t/g ABD = t/g ACE)

=> t/g OEB = t/g ODC (g.c.g)