欧几里德的《几何原本》证明了三角形内角和定理。