比较有可能的值

事实上，这时所求面积的三角形为等边三角形，且边长为√2-1

（这题所说的是N=5）

谢谢线索，也看到了你补充的是 n=5。第一项 √3/(2+2√2)² 与边长 √2−1 的等边三角形面积一致，等于 √3(3−2√2)/4≈0.074293234285。展开分母应为 12+8√2，而不是 6+4√2，后者会大一倍。 我们已补上 n=5、6 的经典连续最优结果、来源和精度说明： https://minmaxarena.com/proofs/heilbronn-in-equilateral-n5-n6 这两档按连续问题已解决处理，保留历史小数证书；不把数值拟合本身当作新的最优性证明，也不宣称九位网格上的最优性。