Xét tam giác ADB và tam giác ADC có:
Góc B bằng góc C
Góc ADB bằng góc ADC (bằng 90 độ vì góc B bằng góc C nên tam giác ABC cân, do đó AD là đường phân giác đồng thời là đường cao của tam giác ABC)
Góc BAD bằng góc CAD
<=> ΔADB=ΔADC(g.c.g)ΔADB=ΔADC(g.c.g)
<=> AB= AC (hai cạnh tương ứng)
Hoặc do tam giác ABC cân (góc B bằng góc C) nên AB= AC (tính chất của tam giác cân)