解:因为已知 ,
所以( ),
因为已知 ,
所以等式性质 ,
因此等量代换 ,
因为已知 , ,
所以等量代换 ,
因为∠ ▲ + ∠ ▲ (三角形的一个外角等于与它不相邻的两个内角和),
所以∠ ▲ (等式性质),
在与中,
得全等三角形的对应边相等).