Vì tg ABD = tg ACD
=>A1 = A2
Xét tg ABO và tg ACO có
AB = AC
ABO^ = ACB^
A1 = A2
=> tg ABO = tg ACO
=> BO = CO
=> BOA^ = COA ^ (1)
mà 2 góc này ở vị trí kề bù
=> BOA^ = COA^ = 90* (2)
Từ (1) và (2) => đường thẳng AD là đường thẳng trung trực của BC