证明：∵ 、 两点分别是边 和 的垂直平分线与 的交点，

∴     △    ， .(     △     )

∵ ，

∴在 中，     △    (等量代换)

∴ 是    △    三角形.

∴ ，

∵在 中， ，

∴     △    .

又∵ 是 的外角，

∴     △    +∠    △    .

(三角形的一个外角等于与它不相邻的两个内角的和)

∴     △    .