# P56 N=52：有限点数的行结构与最优性证明草稿 日期：2026-09-08。 出版说明：本笔记是研究阶段记录，现作为同日论文 v2 的补充材料公开。 下文“未 push／未修改站点”描述研究完成当时的操作状态，不代表论文未发布。 整合后的中英文论文与复现程序索引见 https://minmaxarena.com/proofs/uniform-mesh-lattice 。 **状态：新完成的完整证明草稿，待独立数学审阅。** 本文不依赖尚未审完的 离散 Landau 估计，也不假定展开映射全局单射。常数不等式和整数表示的枚举 已有有理数证书；证书不代替对拓扑、着色、条带引理的数学审阅。 未修改站点、最优性标记或线上数据，未提交构型，未 push。 **本日后续自审：通过当前作者的逐项复核，并补明第5.2节的同侧端点排除。** 自审不是独立审阅。推广后的投影判据与另外6个点数见 `P56-ROW-CRITERION-2026-09-08.md`；自审逐项记录见 `P56-N52-SELF-REVIEW-2026-09-08.md`。 ## 1. 目标、来源与边界 在 Q=[0,1]^2 中放置 52 个不同点，令 delta = min_{p != q} |p-q|, h = max_{x in Q} min_p |x-p|, M = 2h/delta. 本文的目标命题是连续问题的 min M = U = sqrt(193)/12 = 1.157703665787484... . 这不是九位小数坐标网格的精确最优值声明。 上界由 (K,L)=(12,7) 的压缩交错点阵给出，参见 `P56-EQUALITY-AND-BOUNDARY-LAW-2026-09-07.md` 第 4 节。其 8 行点数交替为 7,6，水平半间距 1/12、竖向间距 1/7，纵向铺满正方形。 已用站点验证器复核的九位小数近似见 `p56-theorem-e-candidates-2026-09-08.json`；该证书得到 1.157703673892，不冒充无理数精确取等。 证明来源：沿用 Claude 在 `P56-GAP-LOWER-BOUND-2026-09-07.md` 提出的 墙面模式、A/B 行计数和 Theorem E 面积思路。本文补写有限 N 的全局行组织， 直接证明墙边区域不重叠，并以有限横纵跨度排除代替其 Landau 依赖。 面积不等式的加权 Cauchy 版本见 `P56-THEOREM-E-AUDIT-2026-09-08.md` 第 2 节。 这些是对共同研究路线的整理和补证，不作外部文献首创声明。 ## 2. 常数与局部几何 只需考虑 M<=U 的点集。以下所有角度公式使用**弧度**。 设 E = 3004/1000000, beta = 3E/2, B = 1+2.7E, A = pi/30+12 beta, alpha = 2pi/15-8 beta. 其中 U-2/sqrt(3)3.14 得到严格反向不等式；由于 delta/(1+delta) 递增，故 delta<.19，继而 h= M delta/2<.11。 每个站点在一面墙上服务的区间长至多 2h<.22，因此每面墙至少有 5 个站点。 离正方形中心最近的站点到边界距离至少 .5-h>h，其 Voronoi 单元不碰墙， 故有内部 Voronoi 顶点。该顶点的至少三个最近站点在半径至多 h 的圆上， 其中一对距离至多 sqrt(3)h，给出 M>=2/sqrt(3)。因此上述 E 确实控制差距。 称外接圆心在 Q 内部的 Delaunay 三角形为好三角形。其任一角 t 满足 sin(t)>=1/M；利用 arcsin(1/M) 在 M>=2/sqrt(3) 上导数绝对值至多 3/2，得 pi/3-beta <= t <= pi/3+2 beta. (2.1) 尤其所有好三角形均为锐角。其边 b 满足 delta <= b <= B delta. (2.2) 上界由 b/delta <= U sin(pi/3+2 beta) <= U(sqrt(3)/2+beta) <= B 得到；中间一步用 sin 在该区间的凹性。 ## 3. 好三角形组成一个三角剖分圆盘 这里说明依赖的 Voronoi 拓扑，避免把“看起来像网格”当作前提。 ### 3.1 Voronoi 边图 以下事实在 `P56-EQUALITY-AND-BOUNDARY-LAW-2026-09-07.md` 3.1--3.2 已经逐步证明，条件仅为 Msqrt(2)h。 这些结论允许点集中有部分共线点，不要求一般位置扰动。 ### 3.2 墙链与圆盘 左墙站点按其服务区间自下而上记为 q_i=(x_i,y_i)。相邻站点共用一个墙上 Voronoi 端点，故 q_i q_{i+1} 是好三角形的边。最近站点在墙上是若干仿射函数 `x_i^2+y_i^2-2 y_i y` 的下包络，故 y_i 严格递增。由于 0<=x_i<=h， y_{i+1}-y_i >= sqrt(delta^2-h^2), |angle(q_{i+1}-q_i, vertical)| <= arcsin(M/2)=90 度，矛盾。 所以角点三角扇只有 j=1 或 j=2 个三角形，扇角分别在 pi/3±2 beta 或 2pi/3±4 beta 内。 ## 4. 四面墙的模式必须交替 非角点墙站点的扇角在 [108,252] 度内，故其好三角形数 j 只能为 2,3,4。 按固定的边界方向行走，其转角范围分别为 j=2: pi/3 + [-4 beta, 2 beta], j=3: [-6 beta, 3 beta], j=4: -pi/3 + [-8 beta, 4 beta]. (4.1) 若一次大转角与一次小转角相邻，则由两条边均在墙方向 ±36 度内可知， 相邻两次位移的法向分量同号，倾角绝对值分别至少 24 度-8 beta、24 度-14 beta。它们之和至少 delta [sin(2pi/15-12E)+sin(2pi/15-21E)] > h. (4.2) 这违反墙站点法向坐标都在 [0,h] 内。反向行走给出另一顺序相同的排除。 两次同号大转角则需要转过至少 120 度-16 beta>72 度，也不可能。 因此每条墙要么全是 j=3（S 模式），要么 j=2、4 交替（Z 模式）。 S 只是组合意义上的直行，并不声称实际折线笔直。 若两相邻墙都是 S，由角点扇角可知某墙第一步相对墙的倾角绝对值至少 15 度-2 beta。前三步保持同号，其倾角依次至少 pi/12-3E, pi/12-12E, pi/12-21E. 三个正弦的和 >U/2，于是法向位移超过 h。每墙至少 4 步，足够使用此反证。 若两墙都是 Z，每条边相对墙的倾角都在 ±30 度附近，误差至多 6 度+8 beta：这是 (4.1) 的大转角及 ±36 度锥的直接结果，也覆盖首末步。 两墙第一步的夹角于是只能在 {30,90,150} 度附近，误差至多12 度+16 beta。 它与角点必需的 {60,120} 度仍相差至少18 度-20 beta>0，矛盾。 故可旋转正方形，使左右墙为 Z、上下墙为 S。 角点处，Z 首步的理想方向是60或120度，扇角理想值是60或120度，故 S 首步 理想方向为0或±60度，误差至多 A = 6 degrees+12 beta. (4.3) 因为 A<24 度，±60度支落在 S 的 ±36度墙锥外，故 S 首步与墙的夹角 <=A。 在每个角点均成立。 ## 5. 用有限点数证明全局行组织 ### 5.1 只使用展开的着色，不假定其全局单射 把 K 的每个三角形抽象地换成单位等边三角形，沿公共边展开。内部度数 6 保证绕每个内部顶点的展开单值；K 是圆盘，所有闭合延拓的障碍由这些顶点 回路生成，故展开映射良定义。只需使用它给出的三类无向边方向（颜色）， 以及同色边在内部顶点隔三个三角形相对配对的规则。 S 墙的边都同色；Z 墙的边在另外的两个固定颜色之间交替。还需证明两条 S 墙的颜色相同，不能直接假定。 在某个 S-Z 角点，若 S 边颜色属于 Z 的两色，则它与 Z 的第一或第二条边 同色。经过角点至多2个、下一个 Z 站点至多4个三角形，物理方向相对其 等边展开方向的误差至多12 beta。因此这两条同色边的无向夹角 <=12 beta。 但相邻两墙的方向锥之间无向夹角至少18度，且12 beta<18度，矛盾。 所以 S 的颜色必为 Z 所缺的第三色。由任一 Z 墙连接上下角点，两条 S 墙颜色相同；选此色为行色。 行色子图在内部顶点度数2；S 墙非角点也为2，且就是两条墙边；Z 墙非角点 为1，边指向内部（j=2 的中间边，或 j=4 的中间边）。角点为1，沿 S 边。 每个站点均包含在该子图中。 ### 5.2 没有闭环、折返或同侧端点 行内部顶点的前后步转角绝对值至多6 beta，因为一侧恰有三个好三角形。 闭环分量若存在，是至多52顶点的简单平面多边形；其总绝对转角至少2pi， 但52*6 beta<2pi，矛盾。 左 Z 墙非角点的行色边向右，并且倾角绝对值 <=6度+2 beta。 具体地，从上、下两条墙射线分别估计：j=2 时各隔一个约60度角，j=4 时 各隔两个约60度角；与两条墙射线的 [54,126] 度方向锥相交，得到这一界。 角点的 S 行首步已由 (4.3) 控制。统一使用较宽的首步界 A。 即使沿行连续经过51次转角，仍有 |theta| <= A+51*6 beta < pi/2. (5.1) 所以每一步都严格向右，也不可能自交或折返。 所有行的端点只能在 Z 墙上：S 墙的非角点已有两条同色墙边，不接额外分支。 特别需要说明：左墙站点只是靠墙，并不一定满足 x=0，故不能仅凭 x 递增 就排除两个左墙端点。真正的理由是，若终点也属于左墙，其唯一行色边从 该终点向内指向右方，因而到达该终点的最后一步必须指向左方，与上述每步 向右矛盾。从右端出发同理排除右到右的行。 于是所有分量均为从左到右的单调简单行，上下 S 墙本身为最下、最上两行。 不同行不相交。注意本段没有声称所有边平行或点集为严格仿射格。 ### 5.3 条带及计数 这些互不相交的左右贯穿行在圆盘中有确定上下顺序，切出连续条带。 每个好三角形恰有一条行色边作为底边。其第三顶点不能在同一行：展开中 一行的横向坐标变化、横向格线的高度固定，第三顶点高度不同。 它也不能跨过另一行，否则三角形内部/边会与该行交叉。 因此每个三角形在某两条相邻行之间，其底边正是其中一行的一步。 每条行边在其相邻的每一条带中恰出现一次。 条带的三角形形成一条梯形带状链，底边依次交替来自下行、上行。 一种明确的检查方法是沿三角形的非行色公共边从左端走向右端：内部行顶点 的一侧有三个三角形，故不能连续消耗两条同一行的底边；首末端点扇形各为 1或2个三角形。因此两行点数相同或相差1。若某端下行扇形为1、上行为2， 该端第一个三角形底边在下行；反过来则在上行。 更具体地，条带没有内部顶点；每个三角形的一条底边在条带边界，另两边 连接上下两行。因此三角形的对偶是连通的路径，而不是分支图。若路径上 连续两块的底边都在下行，它们必共用两底边的接点，该接点的整个上侧扇形 便只有两块三角形，与三块相矛盾。上行同理。这给出上述交替，不需要图示。 左右端的 Z 内部扇形分别在2、4之间交替，其上侧、下侧各是1或2个三角形。 因此各条带的首底边类型逐层翻转，末底边类型也逐层翻转： * 若左右两端类型相反，所有行点数相同，n=km（A 族）。 * 若两端类型相同，行点数交替为 m,m-1， n=k(m-1)+ceil(k/2) 或 k(m-1)+floor(k/2)（B 族）。 角点扇形的1/2类型由第一条带的首/末三角形决定，因而与这个交替一致， 无需把角点也错误地当成 j=2或4 的非角点。 每行至少2点，因为它的左右端分别在 x<=h 与 x>=1-h 的不交区域。 ## 6. 面积论证所减掉的墙区确实在 K 外 左墙链是一条位于0<=x<=h的 y-单调折线 x=x_L(y)。在其两个角站点的高度 之间，考虑0<=x<=x_L(y)的区域。右墙类似。左右区域不相交，因为2h<1。 需要排除这些区域偷偷包含 K 的一部分。以左下角 c 为例：底链在第一步后 横坐标已达 c_x+sqrt(delta^2-h^2)>h，以后严格递增，故只有首边可能进入左带。 该首边若向上走，斜率 dx/dy 至少 sqrt(delta^2-h^2)/h>1；左链首边的 |dx/dy| 至多 h/sqrt(delta^2-h^2)<1。因此从 c 起，底首边在左链的右侧。 底首边的高度变化至多 h，而左链首步的高度增量大于 h，也排除了稍后的干扰。 若底首边向下走，则它不进入 y>=c_y 的区域。左上角同理。 所以左墙与左链间区域的内部没有其他 C 边，且与正方形外部相连，是 Jordan 曲线 C 的外部，不属于 K。右侧同理。相邻行端点之间的梯形恰分割这些区域， 故可从单位正方形面积中减掉，而且不会重复扣除。 ## 7. 两个粗跨度估计即可排除所有其他 N=52 表示 此处替代 Landau 和通用的失配下界。 ### 7.1 角站点到 S 墙的距离 一对相邻墙站点边长 b，方向与墙夹 theta，墙上等距点距离 rho<=h。 其任一端点到墙的距离 z 满足 z <= sqrt(h^2-b^2/4) cos(theta)+(b/2)|sin(theta)|. 当 |sin(theta)|<=1/M 时，右端关于 b>=delta 单调不增。 角站点取 S 首边，|theta|<=A；U*A<1 保证此条件。令 S=sqrt(M^2-1)<=7/12，得 z <= (delta/2)[S cos(theta)+|sin(theta)|] <= (delta/2)(7/12+A). (7.1) ### 7.2 纵向上界与横向下界 Z 墙每一步的倾角绝对值至少 alpha=24度-8 beta，边长至多 B delta。 若共有 k 行，左墙恰有 k-1 步。加上两角站点的上下留白 (7.1)，有 1 <= delta C_k, C_k = 7/12+A+(k-1)B cos(alpha). (7.2) 取点数最多的一行，设它有 r+1 个点。首步倾角 <=A，之后每次转角 <=6 beta， 所以每步倾角绝对值 <= theta_r=A+6 beta(r-1)。横向跨度 <=1，故 delta r cos(theta_r) <= 1. (7.3) 在下面的有限列表中 theta_r<1，所有余弦均为正。如果 r cos(theta_r)>C_k，则 (7.2)、(7.3) 不相容。 每墙至少5站点，故 k>=5，而且最下、最上行点数均>=5。 把这些条件与第5节的 A/B 计数及 n=52 合用，穷尽后仅剩： | k | 行点数（反序视为同型） | r | `r cos(theta_r)-C_k` 的严格有理下界 | 结果 | |---|---|---:|---:|---| | 5 | 10-11-10-11-10 | 10 | >4.7088 | 排除 | | 7 | 7-8-7-8-7-8-7 | 7 | >0.2863 | 排除 | | 8 | 7-6-7-6-7-6-7-6 | 6 | 不使用此排除 | 留下 | 没有满足这些墙计数条件的 A 族。剩下唯一类型恰好是候选构型的 8 行类型。 本表由整数穷举及向外取界的有理运算生成，不是数值优化没有找到反例。 ## 8. 条带面积下界收口 设第 j 行有 m_j 点。第5、6节已经给出条件面积定理所需的条带、墙端点、 不重复扣除的外部区域。为使结论可独立核对，这里重复主要计算。 左墙相邻行端点的距离为 b，纵向差 dy>0，横坐标和 L，共同墙 Voronoi 点距离 rho<=h，则 4 rho^2/b^2 = 1+L^2/dy^2, dy >= L/S, exterior trapezoid area >= L^2/(2S). 右墙用两端点到右墙距离之和 R 得到同式。 好三角形以行步 b 为底、垂直高度 q、其余两边 c1,c2>=delta，有 M >= c1*c2/(q*delta) >= max(c1,c2)/q >= sqrt(1+b^2/(4q^2)), area >= b^2/(4S). 若两行横向跨度为 sigma,tau，分别用 Cauchy 对各行步求和，单位面积给出 S >= sum_j phi_j, phi_j = L_j^2/2+R_j^2/2 +sigma_j^2/[4(m_j-1)]+sigma_{j+1}^2/[4(m_{j+1}-1)]. 每条带 L+R+sigma+tau=2，加权 Cauchy 给出 phi_j >= 1/(m_j+m_{j+1}-1). 现有8行交替6、7，每条带分母均为12，所以 S >= 7/12, M >= sqrt(1+49/144) = sqrt(193)/12 = U. 结合第1节上界，得到本稿目标命题。证明不需要主张所有最优点集都与候选 全等；分类最优解的全部取等自由度是另一件事。 ## 9. 审阅清单、复现和推广限制 复现： ```text python tools/research-p56-n52-structure-2026-09-08.py npx tsx tools/research-p56-theorem-e-candidates-2026-09-08.ts ``` 第一份脚本使用 Fraction、整数平方根、24位 pi 的上下界，以及 sin x>=x-x^3/6、1-x^2/2<=cos x<=1-x^2/2+x^4/24（0<=x<=1）。 20项常数检查全部通过；输出 `p56-n52-structure-audit-2026-09-08.json`。行不折返的最窄角度余量仍为 0.03316857... 弧度。整数枚举保留两种互为反序的8行相位。 **独立审阅应优先检查：** 1. 第3节墙接触拓扑、角点短扇形以及 K 的圆盘性质。 2. 第5.1节颜色的全局一致性和相邻墙颜色排除。 3. 第5.3节带状三角形的交替、端点扇形如何给出 A/B 计数。 4. 第6节外部梯形的几何不重叠。 本稿专门利用 N=52。不能直接把 N 换成99：第5.2节的累计转角估计会变弱， 第7节的整数列表和跨度排除也必须重算。更不能据本稿宣称一般最优解必是 横向网格。可以推广的是这套“近等边局部几何 -> 行拓扑 -> 有限表示排除 -> 面积下界”的证明方法，而不是未经检查的全部数值结论。 本日后续已用新的有限宽度屏障替代第5.2节的 N 倍转角上界，并用双端角度 估计强化第7节；这才使 N=99 等另外6个点数通过。详见开头链接的推广稿。