将 P19 的图形缩小到 1/2，所得L形完全覆盖本题直角三角形。P19 n=4 最优解为 sqrt(2)，因此本题 n=4 最优解不大于 sqrt(2)/2。
P16 · Spreading points in a right triangle · Discussion
本题 n=4 已达最优的证明
本证明思路已在 P19 n=4 被 HwaterB 提到过
这个包含关系和缩放论证成立，采纳。三角形包含于缩小一半的 P19 L 形，所以上界为 √2/2；(0,0)、(1,0)、(0,1)、(1/2,1/2) 四点精确达到它。 署名会明确区分：你整理并投稿这个归约，依据是 HwaterB 在 P19 的证明和此前提示；取等构型的外部来源保留 Packomania 对 Yinfeng Xu（1996）的署名，不把旧构型说成本站新发现。 本次将按现有机制标记 P16 n=4 已证明最优，并给这份采纳的证明记一笔 +2 贡献分。整理页正在发布检查中：https://minmaxarena.com/proofs/discussion-results-2026-09-18#p16 。谢谢补上论证和前序思路的出处。