三角形内角和定理:三角形三个内角和等于180°。[1]用数学符号表示为:在△ABC中,∠A+∠B+∠C=180°,该结论适用于所有欧氏几何中的三角形。 公元前6世纪,古希腊数学家泰勒斯(Tha-les)通过拼图发现三角形内角和定理。[2]历时2000多年,数学家们一直探索这个结论的不同验证及证明方法。约公元前560年-480年,毕达哥拉斯(Pythagoras)学派用过顶点作平行线证明了这个定理。[3]约公元前330年-270年,欧几里得(Euclid)在《几何原本》中通过一组同位角和一组内错角证明了该定理。[3][4]公元5世纪,古希腊评注家普罗克拉斯(Proclus,410年-485年)用两种方法[a]证明了这个定理。18世纪法国数学家克莱罗(A.C.Clairaut,1713年-1765年)通过平行线下的同旁内角互补证明该理论。[3]1809年,德国数学家提波特(B.F.Thibaut,1775-1832年)首次利用旋转方法证明了该定理。[2][4] 三角形内角和定理是平面几何中三个重要定理之一,它从“角”的角度刻画了三角形的特性。[5]三角形内角和定理在测量和定位上也有着重要应用。[6]
欧氏几何
在欧氏几何中,∀△ABC,∠A+∠B+∠C=180°。[7]