Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)
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.

A shape-regular family and a degenerating sliver family

Statement

Let Δ be a unit-side equilateral triangle. For each integer n≥1, its standard triangular-grid subdivision, obtained by dividing each side into n equal segments and drawing the parallel grid lines, consists of equilateral cells of side 1/n; these cells form a shape-regular family with h/ρ=23. For ϵ=1/n, triangulate the fixed unit square into horizontal strips of height ϵ, each split along a diagonal. Its cells include translates and reflections of the triangle with vertices (0,0),(1,0),(0,ϵ); their h/ρ→∞, so this mesh family is not shape regular under the convention of Matching affine simplicial meshes and shape regularity.

Facts & Assumptions

Given: The inradius-to-diameter shape-regularity convention.

[F1]

A family is shape regular when the ratios of cell diameter to inradius are uniformly bounded. (Matching affine simplicial meshes and shape regularity)

Proof

1.1F1givenalgebra

Each cell in the stated triangular-grid subdivision has side a=1/n. Its altitude is 3a/2, so its area is 3a2/4 and its incenter lies one third of the altitude from each side; hence ρ=3a/6. Its diameter is h=a, so h/ρ=23, independently of n. By [F1] this family is shape regular.

2.1F1step 1.1algebra∎

For 0<ϵ≤1, the sliver triangle's incenter joined to its three vertices partitions it into three triangles with common altitude ρϵ, so its area is ρϵ times half its perimeter. Its side lengths are 1,ϵ,1+ϵ2, its longest side is hϵ=1+ϵ2 and its area is ϵ/2. Its perimeter is 1+ϵ+1+ϵ2, so ρϵ=ϵ1+ϵ+1+ϵ2. The numerator of hϵ/ρϵ tends to 1, while its denominator is of order ϵ; hence the ratio tends to infinity. The second triangle in each strip is congruent, so every cell has the same ratio. Thus no uniform shape-regularity constant exists for this fixed-square mesh family.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · one level

1 result within one dependency step 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