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 distinct planar sites of affine dimension two, let be the number of sites on the hull boundary, the number of edges, and the number of bounded triangular faces. Then and consequently and .
Facts & Assumptions
Given: A finite triangulation of the convex hull of distinct planar sites, with its connected 1-skeleton.
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.
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
Let 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 , because a convex -gon is divided into triangles by diagonals from one corner. Each of the other boundary sites has straight angle . Around each interior site the incident triangle angles sum to , while at each boundary site they sum to its hull angle. Counting all triangle angles gives , hence .
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 sites, it has subdivided boundary edges. Thus .
Substituting the value of from step 1.1 into step 1.2 gives . Consequently , 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
- Mark de Berg et al., Computational Geometry: Algorithms and Applications, 3rd ed., Chapter 9 (standard reference, not scraped)
- David M. Mount, CMSC 754 Computational Geometry, Lecture 12 (standard reference, not scraped)