Cho tam giác ABC cân tại A. Trên nửa mặt phẳng bờ BC không chứa

Từ giả thiết, ta có: AB = AC, DB = DC.

=> AD là đường trung trực của BC.

Xét tam giác ABC, theo tính chất ba đường trung trực trong tam giác ta có các đường trung trực của AB và AC đồng quy với đường thẳng AD.