Perfect Cuboid Problem
Determine whether positive integers exist such that , , , and are all perfect squares.
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Determine whether positive integers exist such that , , , and are all perfect squares.
Every Jordan curve contains four points that are the vertices of a nondegenerate square.
Let be a set of points with no three on a line. Does determine at least distinct distances?
Is there some such that every measurable of measure contains the vertices of a triangle of area 1?
What is the size of the largest such that every three points from determine an isosceles triangle? That is, for any three points , , from , at least two of the distances , , are equal.
Let be such that every set of points in the unit disk contains three points which determine a triangle of area at most . Estimate .
Estimate a lower bound for.
Estimate an upper bound for.
How many rotated (about the origin) copies of the 'pyjama set' are needed to cover ?
In particular, can one find a better bound than the best-known bound from [KrLe25]?
Is there a better bound than the best-known bound from [KrLe25]? This is an existential version of the main problem that does not require providing the bound explicitly.
Is rotations enough?
Can the Cohn-Elkies scheme be used to prove the optimal bound for circle-packings in 2 dimensions?
Can a unit square be covered by rectangles of width 1 / (n + 1) and height 1 / (n + 2)?
Equivalently, can a unit square be packed with rectangles of width 1 / (n + 1) and height
1 / (n + 2)?
Inscribed square problem* Does every Jordan curve admit an inscribed square?
Inscribed rectangle problem* Does every Jordan curve admit inscribed rectangles of any given aspect ratio?
What is the smallest square that can contain 11 unit squares?
Reference: Wikipedia
What is the smallest square that can contain 17 unit squares?
Reference: Wikipedia
What is the smallest circle that can contain 3 unit squares?
Reference: Wikipedia
What is the smallest square that can contain 21 unit circles?