Alphabeta Math
CounterexampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedprecheck pass
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 n≥1, set εn=2−n and take the four unweighted sites with distinct stable identifiers 1,2,3,4 at p1=(0,0,0), p2=(1,0,0), p3=(0,1,0), and p4=(1/4,1/4,εn). 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 1 as n→∞.

Facts & Assumptions

Given: For each integer n≥1, the four unweighted sites with distinct stable identifiers 1,2,3,4 and coordinates p1,p2,p3,p4 as specified, with εn=2−n.

[F1]

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

1.1F1givenalgebra

For every n≥1, εn∈D and the four sites therefore satisfy the dyadic-coordinate input condition of [F1]. The first three points are noncollinear in z=0 and p4 has positive height, so the four points are affinely independent and form a nondegenerate tetrahedron. Its volume is one third of base area 1/2 times height εn, namely Vn=εn/6. With only these four sites, its circumsphere contains no other site in its interior, so [F1] makes it an empty-sphere Delaunay tetrahedron.

2.1F1step 1.1algebra∎

The total face area Sn is at least the base area 1/2 and is bounded above uniformly in n, since every edge length is at most 2 and each of the four face areas is at most half the product of two such edge lengths; in particular Sn≤8. The inradius is rn=3Vn/Sn=εn/(2Sn), so εn/16≤rn≤εn and rn→0. The diameter is at least ∣p1−p2∣=1. 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