Gọi đường trung trực đó là `d` và điểm giao giữa `d` và `BC` là `D`
Xét `Δ AHC` và `Δ AHB` có `:`
`HA = HB (` Do `d` là trung tuyến `BC )`
`hat{AHC} = hat{AHB} = 90^0 (` Do `d` là trung tuyến `BC )`
`AH` là cạnh chung
`⇒ Δ AHC = Δ AHB ( c - g - c ) ⇒ AB = AC (` điều phải chứng minh `)`