证明:∵ 、
两点分别是边
和
的垂直平分线与
的交点,
∴ △ ,
.( △ )
∵ ,
∴在 中,
△ (等量代换)
∴ 是 △ 三角形.
∴ ,
∵在 中,
,
∴ △ .
又∵ 是
的外角,
∴ △ +∠ △
.
(三角形的一个外角等于与它不相邻的两个内角的和)
∴ △ .