“三角形的外角性质:三角形的一个外角等于与它不相邻的两个内角的和”的推理过程