1700997305
1700997306
c+d= 180°
1700997307
1700997308
d+a= 180°
1700997309
1700997310
用第一个等式去减第二个等式，得到a–c= 0。也就是说：
1700997311
1700997312
a=c
1700997313
1700997314
用第二个等式去减第三个等式，就会得到：
1700997315
1700997316
b=d
1700997317
1700997318
两条直线相交，不相邻的两个角叫作“对顶角”。我们刚刚证明的就是“对顶角定理”：对顶角度数相等。
1700997319
1700997320
我们接下来的任务是证明任意三角形的内角和为180°。在开始证明之前，我先介绍平行线的几条属性。如果两条直线永远不会相交，我们就说它们相互平行。（记住，直线的两端可以无限延伸。）下图所示的是两条平行线l1和l2，第三条直线l3不与它们平行，而与它们分别交于点P和点Q。仔细观察就会发现，直线l3与直线l1、l2形成的角的度数相同。也就是说，我们认为a=e。我们把角a与角e称作“同位角”。（角b和角f、角c和角g、角d和角h也互为同位角。）同位角看起来显然度数相等，但根据欧几里得的五大公理，我们却无法加以证明。因此，我们需要一条新公理。
1700997321
1700997322
1700997323
1700997324
1700997325
同位角的度数相等。在图中，a=e，b=f，c=g，d=h
1700997326
1700997327
同位角公理：同位角的度数相等。
1700997328
1700997329
结合同位角公理和对顶角定理，我们知道在上图中：
1700997330
1700997331
a=c=g=e
1700997332
1700997333
b=d=h=f
1700997334
1700997335
很多书都为相等的两个角赋予了特殊的名称，例如，形成Z字形的角a与角g被称为“内错角”。至此，我们已经证明任意角都与它的对顶角、同位角和内错角的度数相等。接下来，我们利用这个结果证明几何学的一个基本定理。
1700997336
1700997337
定理：任意三角形的内角和都是180°。
1700997338
1700997339
证明：观察下图所示三角形ABC，它的三个内角分别是角a、角b和角c。过点B画一条直线，并使它与经过点A、点C的直线平行。
1700997340
1700997341
1700997342
1700997343
1700997344
为什么a+b+c=180°呢？
1700997345
1700997346
角d、角b和角e形成一条直线，因此d+b+e= 180°。角a与角d是内错角，角c与角e也是内错角，因此d=a，e=c，a+b+c=180°。证明完毕。 □
1700997347
1700997348
延伸阅读
1700997349
1700997350
“三角形内角和为180°”是平面几何的一个重要定理，但在其他几何学中未必成立。例如，假设我们在地球上画一个三角形。从北极开始，沿着任意经线到达赤道，然后向右，跨越1/4个地球后再向右转，最终回到北极。这个三角形其实包含三个直角，内角和为270°。在球面几何中，三角形的内角和不是固定值，而与三角形的面积直接相关。
1700997351
1700997352
在几何教学活动中，学生们经常需要证明两个不同的图形是全等的。如果一个几何图形经过平移、旋转或翻转后可以得到另一个图形，我们就说这两个图形是全等的。例如，下图中的三角形ABC和三角形DEF就是全等三角形，因为通过平移，三角形DEF恰好可以与三角形ABC完全重合。本书中的图形，如果两条边（或两个角）上有同等数量的短线标记，就表明它们的长度（或角度）相同。
1700997353
1700997354
