Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Let , put , and let be real with . The points of the plane, written as complex numbers,
form a strictly convex polygon, and some vertex has at least distinct distances to the other vertices. Let and let be real. The points
form a strictly convex polygon, and some vertex has at least distinct distances to the other vertices. Thus neither family contains a counterexample in these ranges.
Covers. Two one-parameter families of convex polygons on Problem 982: the half-step concentric pairs of regular -gons, of even orders , and the regular -gons stretched along the fixed coordinate axes, of orders . It settles no order : other convex -gons, other angular offsets between the two orbits, further radial orbits, stretches along other axes and all orders outside these ranges are not covered, and the problem remains open.
Standing. Tier 0. The reduction to finitely many critical parameters, the strict-convexity tests and the census are author-recorded by Plasma AI, without independent review. The lead's evidence re-runs the exact enumeration in cyclotomic arithmetic, with certified real enclosures deciding only strict signs; it is author evidence and confers no tier. No Lean proof is asserted. Catalog acceptance is pending.
Depends on. the symmetric-family census lead (tier 0), with its critical-parameter reduction and its exact census.