科技史点滴：1944年陈省身给出高斯—博内公式的内藴证明

平面上任一三角型的三内角之和恒等于π。对于一般曲面上由三条测地线构成的三角形，其内角和等于π加上高斯曲率K在此三角形所围曲面上的积分，这个公式是高斯在1827年证明的。1944年，法国数学家博内将这一公式推广到一般曲面上由任一闭曲线C围成的单连通区域，形成了著名的高斯—博内公式。

1944年，中国—美国数学家陈省身发表论文《对闭黎曼流行高斯—博内公式的一个简单的内藴证明》，率先采用内藴从，即长度为1的切向量从，攻克了这个几何学中极为重要和困难的问题。

老军001点评：书籍上说，陈省身的工作开辟了微分几何的新纪元，高斯—博内公式的内藴证明像一把钥匙，打开了示性类进入微分几何的大门，他本人也因此被数学界尊为“整体微分几何之父”。

老军001整理于2016年4月22日星期五