Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge 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.

Euler counting for a finite planar triangulation

Statement

For a finite triangulation of the convex hull of n distinct planar sites of affine dimension two, let k be the number of sites on the hull boundary, E the number of edges, and T the number of bounded triangular faces. Then 3T=2E−k,n−E+T=1, and consequently T=2n−2−k and E=3n−3−k.

Facts & Assumptions

Given: A finite triangulation of the convex hull of n distinct planar sites, with its connected 1-skeleton.

[F1]

Planar triangulations, Delaunay structures, and Voronoi cells: a triangulation covers the convex hull with nondegenerate triangles meeting in common faces; its connected 1-skeleton has precisely those bounded triangular faces and one unbounded exterior face.

[F2]

Planar triangulations, Delaunay structures, and Voronoi cells: the triangles partition the convex hull, meet along common complete faces, and the hull boundary is subdivided at every boundary site.

Proof

1.1givenF1F2algebra

Let h be the number of hull corners, meaning the boundary sites that are not in the relative interior of any hull edge. Their interior angles sum to (h−2)π, because a convex h-gon is divided into h−2 triangles by diagonals from one corner. Each of the other k−h boundary sites has straight angle π. Around each interior site the incident triangle angles sum to 2π, while at each boundary site they sum to its hull angle. Counting all triangle angles gives πT=2π(n−k)+(h−2)π+(k−h)π=(2n−k−2)π, hence T=2n−2−k.

1.2givenF1F2algebra

Count incidences between triangle sides and edges. Each triangle contributes three. An interior edge has one triangle on each of its two local sides; a hull edge has exactly one incident triangle inside the convex hull. Since the hull boundary has k sites, it has k subdivided boundary edges. Thus 3T=2(E−k)+k=2E−k.

2.1step 1.1step 1.2algebra∎

Substituting the value of T from step 1.1 into step 1.2 gives E=3n−3−k. Consequently n−E+T=n−(3n−3−k)+(2n−2−k)=1, proving both identities.

Depends on

Used by

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