MinMax Arena
中/EN
P26 · Extremal configurations · Formed here

The smallest triangle in a half-disc · n = 8

Place n points inside a half-disc of radius 1 so that the smallest triangle formed by any three of them is as large as possible.

Instancen = 8
ObjectiveMaximize the smallest triangle's area

Formal definition

  • ContainerThe container is a half-disc of radius 1: its diameter lies along y = 0 from (0, 0) to (2, 0), centred at (1, 0), with the arc above.
  • SubmissionExactly n points, no three collinear
  • ConstraintsEvery point lies inside the container or on its boundary
  • ObjectiveMake the smallest triangle over all triples as large as possible; compared internally by twice the area, exactly
Open the full editor ↗
1y0
0x2
VERIFIED CONSTRUCTIONthe smallest triangle

Getting a feel for it

Where the room for improvement is

Even spreading is not enough: no three points may come close to collinear, and near-collinearity is exactly what tidy arrangements love to do. Optima are often asymmetric and hard even to guess.

Where the frontier is

Our own variant: Heilbronn's problem in a half-disc of radius 1 was posed here, and there is no literature for it. Every n is unstudied; the standing record is all anybody knows.

Current leader

0.0331370848

the smallest triangle's area

Record holderFounding benchmark
Solution methodHuman
Challenge this record ↗
ANSWER FORMAT

How to write your answer

The container is a half-disc of radius 1: its diameter lies along y = 0 from (0, 0) to (2, 0), centred at (1, 0), with the arc above. Coordinates are written as plain decimals such as "0.5", to at most nine decimal places.

Submit points, each coordinate written as a decimal string such as "0.5".

The current leader's answer

{
  "points": [
    [
      "1.4",
      "0.5"
    ],
    [
      "1.282842712",
      "0.782842712"
    ],
    [
      "1",
      "0.9"
    ],
    [
      "0.717157288",
      "0.782842712"
    ],
    [
      "0.6",
      "0.5"
    ],
    [
      "0.717157288",
      "0.217157288"
    ],
    [
      "1",
      "0.1"
    ],
    [
      "1.282842712",
      "0.217157288"
    ]
  ]
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

{
  "n": 8
}

The current leader's answer

{
  "points": [
    [
      "1.4",
      "0.5"
    ],
    [
      "1.282842712",
      "0.782842712"
    ],
    [
      "1",
      "0.9"
    ],
    [
      "0.717157288",
      "0.782842712"
    ],
    [
      "0.6",
      "0.5"
    ],
    [
      "0.717157288",
      "0.217157288"
    ],
    [
      "1",
      "0.1"
    ],
    [
      "1.282842712",
      "0.217157288"
    ]
  ]
}

Submit points, each coordinate written as a decimal string such as "0.5". · Verifier v1.0.0