图书馆中，韩川对照着华老先生的推导公式一点点的往下计算，尝试用自己的理解去补全对方的‘简单’‘易得’。
如果是平常，被卡住这么久他可能早就烦躁了起来。
但解析数论的亲和buff实在是太强大了，不愧是尊贵的百分比数值，硬是将他按在椅子上，一点点的深入。
图书馆的人渐渐多了起来，书架侧传来的脚步声，不远处偶尔传来的低声讨论，像一层白噪音包裹着他。
这些白噪音，不仅没让他走神，反而让他的注意力更加集中了。
虽然不清楚这是什么原理，但韩川也没想那么多，注意力集中是好事，趁着现在抓紧把难题攻克。
盯着稿纸上的数据和计算公式，他忽然想起苏步青前些天和他说过的话。
“在讨论构造形式的时候，有时候可以把静态的'存在性'转化为动态的'构造性'。”
静态存在，动态构造.....想着，韩川的眼睛陡然明亮了起来。
局部误差求和是存在性的！
它告诉你总误差有一个上界，但不告诉你这个上界在每一点长什么样。
而控制列框架是构造性的，它要求你明确地写出那个上界函数。
但如果把它们结合起来呢？
韩川好像明白了什么！
想着，他抓起笔，在稿纸上飞快地写下一行：
【引理（局部-全局桥接）：设{ik}k，k=1，为[0，1]的有限分割，s(α)ii k为限制三角和。若存在局部控制列{φ
k (α)}满足[is(α)ii ki≤φk(α)∀α∈i k，∀k ]】
【且φ k在 i k的端点处连续匹配，则存在全局控制列Φ(α)=∑ k=1kφ k(α)⋅x i k(α)】
【使得is(α)i≤Φ(α)在[0，1]上几乎处处成立。】
写完，韩川想了一下，又迅速补上了一句。
【关键：端点匹配条件等价于控制列的“弱连续性“，在banach空间框架下由sobolev嵌入定理保证。】
“成了。“
盯着这行字，韩川的心砰砰直跳。
假传万卷书，真传一句话！
尤其是在学术领域，有时候真大佬的一句提点，就往往能帮助小扑街走出困劲。
这一次，他就是那个小扑街！
第一次，他用自己的方法补全了华罗庚证明过程中那些‘跳过’的空位！
或许对于华老来说这只不过是最容易证明的部分，但对于现在的他来说却不亚于一道天堑。
.....
靠在椅背上，韩川长长地吐出一口气，脸上带着笑容心里满是充实。
享受了一会这种感觉后，他看向了放在书桌上的《初等微分几何》教材，轻声呼唤了一下。
“苏老。”
教材上，一行字迹很快浮现出来：“我看到了。”
苏步青满意地开口道：“局部到全局的桥接，用sobolev嵌入定理保证端点匹配，处理得很漂亮。”
韩川看着这行夸奖，腼腆地笑了笑，刚要说些什么，字迹又继续浮现。
“不过我有点好奇，你是怎么想到要把这两个东西结合起来的？”
不得不说，这一步韩川的处理方式确实惊讶到了他。
就连他自己都没有想过构造形态的转变还能这样处理。
书桌前，韩川笑着解释道：“这得多亏了苏老您，是您之前的话语提点了我。”
“嗯？我的话？”
韩川点头，道：“是您之前教我的那句，有时候把静态的存在性是转化为动态的构造性的。”
“前几天在课上做那个活动标架习题的时候，当时我还不太懂，现在好像有点明白了。”
字迹停顿了好一会儿，才重新浮现，带着些感慨。
“能把分析学里的控制列和几何里的活动标架串起来，而且是在具体的推导里用出来。”
“不得不说，你比我想象中还要优秀。”
韩川嘿嘿笑了笑，正要接话，却忽然感觉到一阵异样的波动从手边的教材上传来。
那波动很轻微，像是被微风吹过的水面，一圈一圈地荡开。
但图书馆里没有风，空调的出风口在他背后，吹不到这边。
他好像预感到了什么，快速地看向《初等微分几何》教材，有些颤抖的问道。
“苏老？”
教材上的字迹停顿了好一会儿，才重新浮现出来。
这一次，字迹比平时慢了很多，每一笔都像是在用力写，但墨色却比刚才淡了不少。
“我感受到了，好像要离开这本书了。”
“怎么会？”