一张纸可以卷成圆柱，圆柱又能展开回平面。长度和角度似乎没有变，可它在三维空间里明明已经弯了。球面上的大圆为什么像“直线”，普通纬线却不是？微分几何就是从这些看似矛盾的经验出发，把曲线、曲面和更一般的空间如何测量、如何弯曲讲清楚。
这门课从一个具体点附近的几何开始。你会把参数曲线的速度拆成方向和速率，用弧长把“走了多远”从参数选择里解放出来；然后建立 Frenet 标架，亲手推导曲率和挠率如何记录一条空间曲线的弯曲与扭转。到了曲面，两个参数方向会组成切空间，第一基本形式负责长度、角度和面积，第二基本形式负责法向弯曲。每个公式都要说明它从哪里来，正则性、坐标退化和定向也会在需要的地方被单独检查。
课程的中段会把视角转向曲面内部。测地线不是“看上去直”的线，而是切向加速度为零的路径；圆柱上的螺旋展开后成为平面直线，球面上的大圆则用同一套思想解释。你会看到哪些量只是参数化的记号，哪些量在等距变换下真正保持不变，也会用平面、圆柱和球面把外在弯曲与内在曲率区分开。
后半程引入微分形式和流形语言。1-形式把“对切向量测量一个数”写成坐标无关的对象，外微分和拉回让坐标计算能够互相衔接；图册则说明一个空间为什么不能总靠一张坐标图描述。这里不会重复多变量微积分里已经讲过的向量场、线积分、曲面积分和 Stokes 公式，而是把它们背后的局部结构接到曲面与流形的语言上。
多变量微积分 I 和线性代数 I 是必要先修。你需要熟悉偏导、链式法则、梯度、叉积、行列式、内积、正交投影和特征值；多变量微积分中的参数曲线与曲面可以帮助你快速进入前两章。实分析 I 建议具备，因为流形入口会用到光滑性、局部坐标和微分的严格表达。常微分方程 I 的基本存在唯一性观点会在测地线方程处派上用场，但课程会把所需的计算写出来。
这门课不要求你已经学过抽象流形。遇到圆和球面时，我会把一张坐标图为什么不够、过渡映射怎样出现、切向量为什么能定义成导子逐步展开。课程里所有场景和数字都是为教学设计的例子，方便你复算，不对应某个真实测量项目。
正则曲线这一段，核心不是背弧长公式，而是能判断一个参数是否在某处停滞，并解释为什么换参数不会改变几何长度。Frenet 章节会把三个互相垂直的方向从单位长度条件中推出来；计算螺旋时，你要同时检查曲率、挠率和标架的方向是否相容。
在曲面上，真正费力的地方往往是“这个量到底依赖什么”。第一基本形式通过切向量内积给出度量，第二基本形式通过法向变化描述嵌入；形算子把这两层信息放到同一个线性代数框架里。你会练习从参数化直接算出 (E,F,G)，也会从 level set 的梯度读出法向，再用主曲率判断一点是椭圆型、双曲型还是抛物型。
还有几处值得放慢速度：从普通导数取切向投影得到协变导数，从能量表达推到测地线方程，验证圆柱展开的等距关系，以及在去心平面上区分“局部闭”与“全局恰当”的 1-形式。最后的综合章会把连接、曲率 2-形式和 Gauss–Bonnet 的几何图景接起来，同时明确哪些高阶张量内容留给后续课程。
正文中的推导不要只顺着看。碰到 Frenet 方程、Christoffel 符号或曲率公式时，遮住下一行，先写出你认为必须用到的正交关系；如果结果和正文不同，回头找的是哪一个条件被漏掉，而不是急着改算式。图像出现时，先观察切向方向、法向方向和坐标网格的关系，再回到公式确认它们分别承担什么工作。
交互实验适合用来发现参数变化的后果。你可以把同一条曲线换成不同速度的参数化，看看轨迹不变而速度改变；也可以把球面上的路径拖到赤道附近，比较空间弯曲和曲面内部的转弯。实验给直觉，证明和练习负责把直觉变成可复现的结论。
学完这门课，你应当能够从参数化或 level set 建立局部几何，计算切空间、第一/第二基本形式、曲率和测地线，判断一个结论是否依赖参数化，并在坐标变化下保持记号的一致。你也会拥有进入黎曼几何、拓扑、几何分析、物理中的时空模型和计算机图形学几何处理的共同语言。