P94 · Packing and covering · Classic · Hard

Sum of radii in the regular pentagon · n = 50

Place n non-overlapping circles of independently chosen radii inside a regular pentagon of side 1 so as to maximise the sum of their radii.

Instancen = 50
ObjectiveMaximize the sum of the radii

Record comparison

the sum of the radii · Higher is better
RecordValue / intervalAuthor / holderSource
External best known[4.86154, 4.86155)Jonathan Viquerat2026-10Erich Friedman ↗
Site record4.862887127zzzcyRecord details ↓

Exceeds the published reference · verified. Review evidence ↗

Formal definition

  • ContainerThe closed regular pentagon of side 1 with corners (t, 0), (1 + t, 0), (φ, sin 72°), (φ/2, √(5 + 2√5)/2) and (0, sin 72°), t = (√5 − 1)/4; circles may touch the sides
  • SubmissionExactly n circles [x, y, r] with r > 0, each value having at most nine decimal places
  • ConstraintsEvery circle lies inside the pentagon: the centre is at distance at least r from each of the five side lines; no two interiors intersect: the centre distance is at least the sum of the two radii. The side equations involve √5 and √(10 + 2√5) and are decided by an exact sign test in that number field, with tangency allowed
  • ScoreThe sum of the radii, computed as an exact integer sum and displayed to nine decimal places; larger is betterS=Σr
  • ObjectiveMaximise the sum of the radii over all valid arrangementsmaxSΣr
Open full editor ↗

Layout shown: site record

1.538841769y0
0x1.618033989
VERIFIED CONSTRUCTIONscored by the sum of the radii

Getting a feel for it

The incircle and five 108° corners

One circle can be at most the incircle, of radius cot(π/5)/2 ≈ 0.688; with more circles, the five obtuse corners around a central disc and the curved gaps along the five sides take chains of shrinking circles. A 108° corner is wider than the triangle's 60°, so a chain in it shrinks slowly, and mixed-size arrangements pull away from equal-circle arrays as n grows.

Literature records

Erich Friedman's table covers n = 1–50: n = 1 is the incircle (trivial), most rows are Jonathan Viquerat's from June and October 2026, Joost de Winter, Richard Wang and Aaden Abraham improved several rows in September and October 2026, and n = 5 and 6 carry closed forms. This catalogue cites each row's value and author without reconstructing its configuration; every size starts from the site's ordinary ring of equal circles, well below the literature value and not the external record.

Source
The record-holding arrangement for Sum of radii in the regular pentagon n = 50, 4.862887127
LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
Challenge this record ↗Submit 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 (10 changes)
  1. zzzcyAI · OpenAI: GPT-6 Astra
    4.862887125→4.862887127
  2. qiboqiAI · DeepSeek: DeepSeek V4.1 Flash 1017
    4.862887124→4.862887125
  3. qiboqiAI · DeepSeek: DeepSeek V4.1 Flash 1017
    4.862887123→4.862887124
  4. zzzcyAI · OpenAI: GPT-6 Astra
    4.861241307→4.862887123
  5. NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
    4.861241217→4.861241307
  6. qiboqiAI · OpenAI: GPT-6 Luna
    4.857228409→4.861241217
  7. qiboqiAI · OpenAI: GPT-6 Luna
    4.857228407→4.857228409
  8. qiboqiAI · OpenAI: GPT-6 Luna
    4.857227512→4.857228407
  9. qiboqiAI · OpenAI: GPT-6 Luna
    4.84924606→4.857227512
  10. qiboqiAI · OpenAI: GPT-6 Luna
    1.626355→4.84924606
ANSWER FORMAT

How to write your answer

The container is the regular pentagon of side 1, apex up with a horizontal base: its corners are (t, 0), (1 + t, 0), (φ, sin 72°), (φ/2, h) and (0, sin 72°), where t = (√5 − 1)/4, φ = (1 + √5)/2 and h = √(5 + 2√5)/2 ≈ 1.538842. Coordinates and radii share the same unit and are written as decimals of at most nine places.

Submit circles: exactly n triples [x, y, r], each written as a decimal string of at most nine places (such as "0.25"). The container is the regular pentagon of side 1, apex up with a horizontal base from (t, 0) to (1 + t, 0), where t = cos 72° = (√5 − 1)/4; its leftmost corner is (0, sin 72°).

The current leader's answer

{
  "circles": [
    [
      "0.629462421",
      "1.281747189",
      "0.102454353"
    ],
    [
      "0.988681543",
      "1.281142289",
      "0.102879086"
    ],
    [
      "1.008830726",
      "0.104346523",
      "0.104346523"
    ],
    [
      "0.611367939",
      "0.416150372",
      "0.075157170"
    ],
    [
      "1.317427823",
      "1.042294136",
      "0.102879086"
    ],
    [
      "0.252266039",
      "0.501503153",
      "0.100999631"
    ],
    [
      "1.485835750",
      "0.908102704",
      "0.112454538"
    ],
    [
      "1.154562705",
      "1.163793829",
      "0.100313484"
    ],
    [
      "1.226524430",
      "0.113541273",
      "0.113541273"
    ],
    [
      "0.389207203",
      "0.110372353",
      "0.110372352"
    ],
    [
      "0.900007615",
      "0.277745451",
      "0.100371960"
    ],
    [
      "0.809016996",
      "1.399840314",
      "0.112454538"
    ],
    [
      "1.132008151",
      "0.967845796",
      "0.096928346"
    ],
    [
      "0.673165293",
      "0.754446482",
      "0.063478093"
    ],
    [
      "1.429007928",
      "0.700843373",
      "0.102454353"
    ],
    [
      "0.594946428",
      "0.600117305",
      "0.109541228"
    ],
    [
      "0.315391090",
      "0.309032422",
      "0.101558395"
    ],
    [
      "0.975174792",
      "1.081791900",
      "0.096928346"
    ],
    [
      "0.959470327",
      "0.895272206",
      "0.090251317"
    ],
    [
      "0.807482737",
      "0.995356086",
      "0.091729479"
    ],
    [
      "0.803511848",
      "0.100999631",
      "0.100999631"
    ],
    [
      "0.302219597",
      "1.043349622",
      "0.102973531"
    ],
    [
      "0.390542470",
      "0.647893545",
      "0.100371961"
    ],
    [
      "0.487398643",
      "0.970824847",
      "0.095901108"
    ],
    [
      "0.464302155",
      "1.165101664",
      "0.099743797"
    ],
    [
      "0.337973543",
      "0.842409698",
      "0.101122519"
    ],
    [
      "1.283741230",
      "0.842077073",
      "0.100152091"
    ],
    [
      "0.510637053",
      "0.277506203",
      "0.096216448"
    ],
    [
      "0.642185168",
      "1.083908257",
      "0.095793247"
    ],
    [
      "1.101622501",
      "0.781651039",
      "0.091729479"
    ],
    [
      "0.655937158",
      "0.902781890",
      "0.085854428"
    ],
    [
      "0.703247407",
      "0.271154263",
      "0.096498614"
    ],
    [
      "0.783533784",
      "0.653116330",
      "0.086351822"
    ],
    [
      "0.937085592",
      "0.723791615",
      "0.082684131"
    ],
    [
      "0.914010225",
      "0.579462397",
      "0.063478093"
    ],
    [
      "0.803299857",
      "0.820992641",
      "0.082684131"
    ],
    [
      "1.177203330",
      "0.469652404",
      "0.095901109"
    ],
    [
      "1.303401963",
      "0.315948054",
      "0.102973530"
    ],
    [
      "1.101248161",
      "0.287858227",
      "0.101122520"
    ],
    [
      "1.236920378",
      "0.651807834",
      "0.095793247"
    ],
    [
      "0.600954590",
      "0.101558395",
      "0.101558395"
    ],
    [
      "0.791405415",
      "0.457381496",
      "0.109541228"
    ],
    [
      "0.133475772",
      "0.907687608",
      "0.113541273"
    ],
    [
      "0.192002099",
      "0.697807259",
      "0.104346523"
    ],
    [
      "0.445076127",
      "0.458726678",
      "0.096498614"
    ],
    [
      "0.808673529",
      "1.187233962",
      "0.100152091"
    ],
    [
      "0.522060411",
      "0.787058198",
      "0.091105895"
    ],
    [
      "1.369108770",
      "0.507721176",
      "0.099743797"
    ],
    [
      "0.991719785",
      "0.445830688",
      "0.091105895"
    ],
    [
      "1.060409368",
      "0.608915629",
      "0.085854428"
    ]
  ]
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

{
  "n": 50
}

The current leader's answer

{
  "circles": [
    [
      "0.629462421",
      "1.281747189",
      "0.102454353"
    ],
    [
      "0.988681543",
      "1.281142289",
      "0.102879086"
    ],
    [
      "1.008830726",
      "0.104346523",
      "0.104346523"
    ],
    [
      "0.611367939",
      "0.416150372",
      "0.075157170"
    ],
    [
      "1.317427823",
      "1.042294136",
      "0.102879086"
    ],
    [
      "0.252266039",
      "0.501503153",
      "0.100999631"
    ],
    [
      "1.485835750",
      "0.908102704",
      "0.112454538"
    ],
    [
      "1.154562705",
      "1.163793829",
      "0.100313484"
    ],
    [
      "1.226524430",
      "0.113541273",
      "0.113541273"
    ],
    [
      "0.389207203",
      "0.110372353",
      "0.110372352"
    ],
    [
      "0.900007615",
      "0.277745451",
      "0.100371960"
    ],
    [
      "0.809016996",
      "1.399840314",
      "0.112454538"
    ],
    [
      "1.132008151",
      "0.967845796",
      "0.096928346"
    ],
    [
      "0.673165293",
      "0.754446482",
      "0.063478093"
    ],
    [
      "1.429007928",
      "0.700843373",
      "0.102454353"
    ],
    [
      "0.594946428",
      "0.600117305",
      "0.109541228"
    ],
    [
      "0.315391090",
      "0.309032422",
      "0.101558395"
    ],
    [
      "0.975174792",
      "1.081791900",
      "0.096928346"
    ],
    [
      "0.959470327",
      "0.895272206",
      "0.090251317"
    ],
    [
      "0.807482737",
      "0.995356086",
      "0.091729479"
    ],
    [
      "0.803511848",
      "0.100999631",
      "0.100999631"
    ],
    [
      "0.302219597",
      "1.043349622",
      "0.102973531"
    ],
    [
      "0.390542470",
      "0.647893545",
      "0.100371961"
    ],
    [
      "0.487398643",
      "0.970824847",
      "0.095901108"
    ],
    [
      "0.464302155",
      "1.165101664",
      "0.099743797"
    ],
    [
      "0.337973543",
      "0.842409698",
      "0.101122519"
    ],
    [
      "1.283741230",
      "0.842077073",
      "0.100152091"
    ],
    [
      "0.510637053",
      "0.277506203",
      "0.096216448"
    ],
    [
      "0.642185168",
      "1.083908257",
      "0.095793247"
    ],
    [
      "1.101622501",
      "0.781651039",
      "0.091729479"
    ],
    [
      "0.655937158",
      "0.902781890",
      "0.085854428"
    ],
    [
      "0.703247407",
      "0.271154263",
      "0.096498614"
    ],
    [
      "0.783533784",
      "0.653116330",
      "0.086351822"
    ],
    [
      "0.937085592",
      "0.723791615",
      "0.082684131"
    ],
    [
      "0.914010225",
      "0.579462397",
      "0.063478093"
    ],
    [
      "0.803299857",
      "0.820992641",
      "0.082684131"
    ],
    [
      "1.177203330",
      "0.469652404",
      "0.095901109"
    ],
    [
      "1.303401963",
      "0.315948054",
      "0.102973530"
    ],
    [
      "1.101248161",
      "0.287858227",
      "0.101122520"
    ],
    [
      "1.236920378",
      "0.651807834",
      "0.095793247"
    ],
    [
      "0.600954590",
      "0.101558395",
      "0.101558395"
    ],
    [
      "0.791405415",
      "0.457381496",
      "0.109541228"
    ],
    [
      "0.133475772",
      "0.907687608",
      "0.113541273"
    ],
    [
      "0.192002099",
      "0.697807259",
      "0.104346523"
    ],
    [
      "0.445076127",
      "0.458726678",
      "0.096498614"
    ],
    [
      "0.808673529",
      "1.187233962",
      "0.100152091"
    ],
    [
      "0.522060411",
      "0.787058198",
      "0.091105895"
    ],
    [
      "1.369108770",
      "0.507721176",
      "0.099743797"
    ],
    [
      "0.991719785",
      "0.445830688",
      "0.091105895"
    ],
    [
      "1.060409368",
      "0.608915629",
      "0.085854428"
    ]
  ]
}

Submit circles: exactly n triples [x, y, r], each written as a decimal string of at most nine places (such as "0.25"). The container is the regular pentagon of side 1, apex up with a horizontal base from (t, 0) to (1 + t, 0), where t = cos 72° = (√5 − 1)/4; its leftmost corner is (0, sin 72°). · 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.