How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
An empty-sphere tetrahedron can be arbitrarily flat
Statement refuted
For each integer , set and take the four unweighted sites with distinct stable identifiers at , , , and . All coordinates are dyadic. They span one tetrahedron. Its circumsphere is empty of other sites because there are no other sites, so it is a Delaunay tetrahedron, while its inradius tends to zero and its diameter is at least as .
Facts & Assumptions
Given: For each integer , the four unweighted sites with distinct stable identifiers and coordinates as specified, with .
Three-dimensional Delaunay and weighted regular triangulations by lifting: in the unweighted full-dimensional case the regular subdivision is ordinary Delaunay, and tetrahedra have empty circumspheres.
Counterexample
For every , and the four sites therefore satisfy the dyadic-coordinate input condition of [F1]. The first three points are noncollinear in and has positive height, so the four points are affinely independent and form a nondegenerate tetrahedron. Its volume is one third of base area times height , namely . With only these four sites, its circumsphere contains no other site in its interior, so [F1] makes it an empty-sphere Delaunay tetrahedron.
The total face area is at least the base area and is bounded above uniformly in , since every edge length is at most and each of the four face areas is at most half the product of two such edge lengths; in particular . The inradius is , so and . The diameter is at least . Thus empty-sphere Delaunay membership imposes no positive uniform inradius-to-diameter bound in three dimensions.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
4 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Jonathan R. Shewchuk, Delaunay Refinement Mesh Generation, 1999 (standard reference, not scraped)