Python中曲率与弯曲的转换_高斯绝妙定理——从高斯曲率说起

从数学发展的历史来看，微分几何几乎和微积分同时诞生，甚至可以说，微分几何还要早一些，因为在早期的微积分中，还存在很多来自几何的观念。我们都知道，古典的微分几何在高斯这里发展到了高峰，“内蕴几何”自此被提出此后。我们对微分几何有了全新的认识，被研究的几何对象不再被看作通常的欧式空间的一部分，而是它本身就是一个空间。高斯的“内蕴几何”后来被黎曼(毫无疑问，黎曼是高斯最杰出的学生)推广到任意维数的黎曼流形上，黎曼几何也就此诞生。而在这一微分几何发展过程中，“高斯绝妙定理”起到了关键的启示作用。那么，“高斯绝妙定理”到底是什么？它到底奇妙在哪里？

曲面基本形式

首先，我们考虑三维空间中的参数曲面，它可以用两个参数表示出来：

为了研究的简便，我们往往要假设坐标函数是参数的高次(一般大于二次)可微函数，而且沿两个参数方向的切向量ru和rv(也即