这些u落在101的负二k次方倍整数环中，恰好可以作为同一minkowski格里的差向量。

类数仍会收走大量方向，可根判别式上界给出了h(K_j)随f_j至多指数增长的统一成本。

江临令：

【k＝?

18R?

3／π?

－1】

这个固定整数约为七点六乘十的十七次方。

它大得足以使每层新增的单位模方向越过类数与格协体积的共同成本，又只依赖R?

，往后的每一层都沿用同一个k。

证明走到这里，数域次数终于开始替江临工作。

f_j每翻一倍，窗口点数按一个固定底数增长，单位模差向量也按另一个固定底数增长；后一个底数越过门槛的部分，会被完整保留到下一层。

江临把格的全嵌入像装进半径R的多圆盘窗口，再从其中任取一个复坐标投影到平面。

域嵌入具有单射性，不同格点投影后仍是不同的平面点。

内层窗口里的每个点加上任一单位模差向量，都会留在外层窗口里，投影后的距离则严格等于一。

边界损失、格点密度、类数和分母成本全部被放回同一条指数不等式。

最初那组十八位数参数重新出现在终端上。

【点数上界：A^f_j】

【单位距离下界：A^f_jxb^f_j／c】

【b＞1】

【δ?

＝log b／log A＞0】

默认精度把最后一行显示成零。

江临把浮点计算从证明依赖中删除，改用有理区间分别夹住π、对数项和根判别式上界。

二百五十六位精度时，区间下端仍在零线附近来回跳动。

五百一十二位以后，正号稳定下来。

到两千零四十八位，误差区间已经比候选值窄了九个数量级。

【δ?

下界：6.

0x10^－38】

【区间认证：通过】

证明工程随即生成最终命题。

【存在绝对常数δ?

＞0，以及任意大的平面有限点集p，使其确定的单位距离数满足】

【U(p)≥|p|^(1＋δ?

)／c】
本章未完，请翻下一页继续阅读.........