Ta thấy tam giác ABD và tam giác ACD vuông tại D, và có:

AB = AC (∆ABC cân tại A).

AD là cạnh chung.

Vậy ∆ABD = ∆ACD (cạnh góc vuông – cạnh huyền).

Do đó BD = CD (2 cạnh tương ứng). Vậy D là trung điểm của đoạn thẳng BC và do đó  AD là đường trung trực của đoạn thẳng BC.