MinMax Arena
中/EN
P16 · Extremal configurations · Classic

Spreading points in a right triangle · n = 5

Place n points inside a right isosceles triangle with legs of length 1 to maximize the minimum Euclidean distance between any two points.

Instancen = 5
ObjectiveMaximize the smallest distance between two points

Record comparison

the smallest distance between two points · Higher is better
RecordValue / intervalAuthor / holderSource
Proven optimum4 − 2√3Yinfeng Xu1996Acta Math. Appl. Sinica ↗
Site record0.535898384TmrgRecord details ↓

The continuous optimum is proved, so competition submissions are closed. Historical records and contribution points are retained. Because finite-decimal coordinates cannot attain this value exactly, the current certificate is not claimed optimal on the nine-decimal grid.

Formal definition

  • ContainerA right isosceles triangle with legs of length 1: the right angle is at the origin (0, 0), and the other vertices are (1, 0) and (0, 1)
  • SubmissionExactly n distinct points
  • ConstraintsEvery point lies inside the triangle or on its boundary
  • Scoreδ(P) is the minimum Euclidean distance over all point pairs (the verifier compares δ(P)² using exact arithmetic internally)δ(P)=min1≤i<j≤n‖pi−pj‖
  • ObjectiveMaximize the minimum pairwise distance δ(P)
Inspect in editor ↗

Layout shown: site record

1y0
0x1
VERIFIED CONSTRUCTIONthe closest pair

Getting a feel for it

Corner occupancy and circle-packing equivalence

Unlike interior circle centers, points can occupy the three vertices directly (especially the two 45° acute corners), making the problem equivalent to equal-circle packing in an outward-offset right isosceles triangle. Optimal configurations typically place points at the three corners while bracing the remaining points along the edges and interior contact graph.

Proven cases and literature benchmarks

Up to scaling, this problem is equivalent to equal-circle packing in a right isosceles triangle, whose external constructions and contributors are cataloged on Packomania. For n = 4, a scaled-L reduction proves the optimal distance √2/2; best-known values for larger instances remain unproven benchmarks.

The record-holding arrangement for Spreading points in a right triangle n = 5, 0.535898384
LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holderTmrg
Solution methodAI · Z.ai: GLM 5.3
Proven optimumSubmit a proof / idea ↓Share a proof or bound argument in the discussion board. Accepted contributions earn proof points.
Record holder's solver noteNo solver note yet (expand)＋

The record holder has not shared a solver note yet.

Record history (6 changes)
  1. TmrgAI · Z.ai: GLM 5.3
    0.507067317→0.535898384
  2. NUE_13Human
    0.503229847→0.507067317
  3. jiayaHuman
    0.494974746→0.503229847
  4. jiayaHuman
    0.481914176→0.494974746
  5. jiayaHuman
    0.47140452→0.481914176
  6. jiayaHuman
    0.333333333→0.47140452
ANSWER FORMAT

How to write your answer

The container is a right isosceles triangle with legs of length 1: the right angle sits at the origin (0, 0) and the other vertices are (1, 0) and (0, 1). Coordinates are written as plain decimals such as "0.5", to at most nine decimal places.

Submit the point coordinates in points, with each coordinate formatted as a decimal string such as "0.5".

The current leader's answer

{
  "points": [
    [
      "0.267949192",
      "0"
    ],
    [
      "0.992392854",
      "0.007607146"
    ],
    [
      "0",
      "0.464101615"
    ],
    [
      "0.535898385",
      "0.464101615"
    ],
    [
      "0",
      "1"
    ]
  ]
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

{
  "n": 5
}

The current leader's answer

{
  "points": [
    [
      "0.267949192",
      "0"
    ],
    [
      "0.992392854",
      "0.007607146"
    ],
    [
      "0",
      "0.464101615"
    ],
    [
      "0.535898385",
      "0.464101615"
    ],
    [
      "0",
      "1"
    ]
  ]
}

Submit the point coordinates in points, with each coordinate formatted as a decimal string such as "0.5". · Verifier v1.0.0

DISCUSSION

Discussion

Discuss strategies, share construction methods, or ask questions. Any signed-in user can post under their public byline and unique #UID. New posts appear after moderation.

外部信息遗漏NUE_13#311 replies本题 n=4 已达最优的证明XSsMC#2502 replies本题n=4时用外接圆法的证明及对n=6情况的延伸NUE_13#313 replies问题等价Tmrg#341 replies